From f43df15a6102d8c6a6eba131edb80538a4132e5c Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 24 Feb 2021 08:54:05 +0100
Subject: [PATCH] [eacsl] Update changelog
---
src/plugins/e-acsl/doc/Changelog | 12 ++++++++++++
1 file changed, 12 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 00529a3b01a..78cc37da4c4 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,18 @@
Plugin E-ACSL <next-release>
############################
+-* E-ACSL [2021-02-24] Fix crash when running another analysis after
+ E-ACSL caused by E-ACSL breaking some internal kernel invariant
+ (frama-c/e-acsl#145).
+- e-acsl-gcc [2021-02-24] Try to find Frama-C binary in script or development
+ directory if not present in PATH (frama-c/e-acsl#104).
+- e-acsl-gcc [2021-02-24] Remove obsolete options from documentation and bash
+ completion script (frama-c/e-acsl#104).
+- e-acsl-gcc [2021-02-24] Deactivate Variadic translation when using
+ incompatible option --validate-format-strings
+ (frama-c/e-acsl#104).
+- e-acsl-gcc [2021-02-24] Do not load Frama-C plugins when retrieving share
+ and plugins paths (frama-c/e-acsl#104).
-* E-ACSL [2021-01-12] Fix crash when comparing two structs, which is
currently unsupported (frama-c/e-acsl#139).
-* Makefile [2021-01-05] Fix dependencies in bytecode-only compilation.
--
GitLab