From c6424c46ccae6818b8175898f4999e4d761680e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 3 Apr 2020 12:55:41 +0200
Subject: [PATCH] Updates the Changelog for MR !2309.
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index 0c8955af999..1d2fb8f1988 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
Open Source Release <next-release>
##################################
+- Eva [2020/04/03] New experimental builtins for dynamic allocation
+ Frama_C_*alloc_imprecise: faster convergence, but very imprecise.
- Kernel [2020/04/01] Report user errors when keys are not bound to a
value for command-line options that require pairs of key:value
as arguments. Such keys were silently ignored.
--
GitLab