diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 78f90c6978a4fa2d30a866460bde9fd493777145..3b262b37e1f647056b42aeab1b2c63a051537576 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 [2022-03-04] Improve translation of `\at()` terms and + predicates (frama-c/e-acsl#108). -* E-ACSL [2022-03-01] Fix normalization of global annotations that may lead to crashes (frama-c/e-acsl#195). - E-ACSL [2022-01-28] Add Linux's pthread concurrency support.