diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 964327f4b28f85e07b37504d85b19dce7874b44b..8f683ce6a6a8cc08073ac168759770839f8856a4 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.