From 1673c0d4dbb5dd8a25ad3d40d4582b0d2b918712 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 7 Oct 2021 12:03:23 +0200
Subject: [PATCH] [e-acsl] changelog
---
src/plugins/e-acsl/doc/Changelog | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 0cd3328d7a8..7581059237c 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,7 @@
Plugin E-ACSL <next-release>
############################
+- E-ACSL [2021-10-07] Support for \prod and \numof.
-* E-ACSL [2021-09-29] Fix translation order of the default behavior's
requires clauses. They are now translated before the evaluation
of the assumes clauses of the other behaviors.
@@ -41,7 +42,7 @@ Plugin E-ACSL <next-release>
(frama-c/e-acsl#170).
-* E-ACSL [2021-07-16] Fix crash when using some built-in labels
(frama-c/e-acsl#173).
-- E-ACSL [2021-07-06] Add support for the extended quantifier \sum.
+- E-ACSL [2021-07-06] Support for \sum.
-* E-ACSL [2021-06-22] Fix a crash that occured when using certain
combinations of nested blocks and annotations.
-* E-ACSL [2021-06-16] Fix literal string replacements in function
@@ -109,7 +110,7 @@ Plugin E-ACSL 22.0 (Titanium)
-* E-ACSL [2020-11-16] Fix soundness bug when checking
initialization of a chunk of heap memory block.
-- E-ACSL [2020-10-14] Add Support for Variadic generated functions in
+- E-ACSL [2020-10-14] Support for Variadic generated functions in
the AST (frama-c/e-acsl#128).
- E-ACSL [2020-10-06] Add support for the `\separated` predicate.
(frama-c/e-acsl#31)
--
GitLab