From ab1e8fecd4d2faf2f3ed27a7d6be8e5245c7e855 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 24 Mar 2020 17:46:18 +0100
Subject: [PATCH] [e-acsl] changelog
---
src/plugins/e-acsl/doc/Changelog | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index a94bd7902e7..5c3fedbea06 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,9 @@
# configure configure
###############################################################################
+-* E-ACSL [2020/03/24] Fix automatic deactivation of plug-in Variadic when
+ E-ACSL is directly called from Frama-C without using
+ e-acsl-gcc.sh.
- E-ACSL [2020/03/10] Call E-ACSL's free functions for globals in a
separate function at the end of main.
- E-ACSL [2020/03/10] Call `__e_acsl_memory_init` only if the memory
--
GitLab