From bd53e59b9adb1ad32186262009c527b9b977f49e Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 4 Feb 2019 10:04:52 +0100
Subject: [PATCH] changelog
---
src/plugins/e-acsl/doc/Changelog | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 62af2c300c7..1c3083282ce 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,8 +19,11 @@
# configure configure
###############################################################################
--* E-ACSL [2019/01/02] Fix overlap of TLS with other memory
- segments for big memory spaces
+-* runtime [2019/02/04] Fix initialization of the E-ACSL runtime in
+ presence of multiple calls to its initializer (for
+ instance, if the main is a recursive function).
+-* runtime [2019/01/02] Fix overlap of TLS with other memory
+ segments for large memory spaces.
- E-ACSL [2018/11/15] Predicates with empty quantifications
directly generate \true or \false instead of nested loops.
--
GitLab