diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index cdc707e9ec8846a5a4fafcc30d86d28541dfc968..964327f4b28f85e07b37504d85b19dce7874b44b 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -29,6 +29,7 @@ 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-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.