From af732f7275b1c77c0716fcb124cb632fa6565803 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 16 Nov 2020 11:09:38 +0100
Subject: [PATCH] [e-acsl] more explicit changelog message
---
src/plugins/e-acsl/doc/Changelog | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 964327f4b28..8f683ce6a6a 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -29,7 +29,8 @@ Plugin E-ACSL <next-release>
Plugin E-ACSL 22.0 (Titanium)
#############################
--* E-ACSL [2020-11-16] Fix initialization check for heap memory.
+-* E-ACSL [2020-11-16] Fix soundness bug when checking
+ initialization of a chunk of heap memory block.
- E-ACSL [2020-10-14] Add Support for Variadic generated functions in
the AST (frama-c/e-acsl#128).
- E-ACSL [2020-10-06] Add support for the `\separated` predicate.
--
GitLab