Skip to content
Snippets Groups Projects
Commit 3c054040 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Changelog] add entry for !2617

parent da9af74f
No related branches found
No related tags found
No related merge requests found
......@@ -17,6 +17,11 @@
Open Source Release <next-release>
##################################
- Eva [2020-05-25] New annotation eva_allocate to configure the behavior
of an allocation builtin for a call, overriding the global option.
- Eva [2020-05-25] New option -eva-alloc-builtin to configure uniformly
the behavior of allocation builtins, instead of providing several
builtins with different behaviors for malloc/calloc/realloc.
- Eva [2020-05-20] Supports the ACSL mathematical operator \abs
- Kernel [2020-05-18] Support for C11's _Noreturn function specifier
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment