From 3c054040bdb2332b5c7fa16ef4145944ee01f9c7 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 25 May 2020 18:28:24 +0200
Subject: [PATCH] [Changelog] add entry for !2617

---
 Changelog | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Changelog b/Changelog
index b554d5b2025..b6238e50cf9 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
 
-- 
GitLab