diff --git a/Changelog b/Changelog
index b554d5b20257ebc64cdbdf7427e4fa4b627a404e..b6238e50cf981d1babe1b4cb777c3379a7f43f0a 100644
--- a/Changelog
+++ b/Changelog
@@ -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