diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index b68a16c8ae191100bf7696cdd39403fb8ce7fd16..977ef210fd92cc5c805231b45f0c8c4027f99924 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -25,6 +25,8 @@ Plugin E-ACSL <next-release> ############################ +-* E-ACSL [2021-06-14] Fix pointer address on memory annotations with + range indices (frama-c/e-acsl#148). -* E-ACSL [2021-06-04] Do not translate contracts of E-ACSL built-ins. #############################