From deb3abb5b08920bb5deeac1c317c12644361da70 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 4 Mar 2022 17:32:56 +0100
Subject: [PATCH] [e-acsl] changelog
---
src/plugins/e-acsl/doc/Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 78f90c6978a..3b262b37e1f 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.
--
GitLab