diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 9544a709df4d4954b7ee014754b34dd841a722fb..5f0f154d945389e6d7bfd8d75774ff702cbc075f 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,6 +15,9 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +-* E-ACSL [2016/01/15] Fixed several bugs related to incorrect partial + initialization of tracked memory blocks in the E-ACSL runtime + library. -* E-ACSL [2016/02/25] Fix 'make clean' in tests. ###########################