From 9e4b5c4a2056bcc337ed79c95d29a9f36614cc67 Mon Sep 17 00:00:00 2001
From: Thibaut Benjamin <thibaut.benjamin@cea.fr>
Date: Mon, 13 Sep 2021 17:53:36 +0200
Subject: [PATCH] [e-acsl] changelog
---
src/plugins/e-acsl/doc/Changelog | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index f205f70b08c..463767584b8 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,11 +25,19 @@
Plugin E-ACSL <next-release>
############################
+-* E-ACSL [2021-09-13] Fix unsound reuse of previously typed recursive
+ functions (frama-c/e-acsl#177)
- E-ACSL [2021-08-03] Correct monitoring of code depending on libc
function calls that write memory locations (frama-c/e-acsl#157).
-* E-ACSL [2021-07-30] Fix incorrect evaluation of quantified
predicates when a strict guard overlaps with the type of the
bound variable (unlikely in practice) (frama-c/e-acsl#149).
+-* E-ACSL [2021-07-19] Fix crash occurring when two or more successive
+ logic coercions were done in a term (frama-c/e-acsl#172).
+-* E-ACSL [2021-07-19] Fix crash when raising some user errors
+ (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-06-22] Fix a crash that occured when using certain
combinations of nested blocks and annotations.
--
GitLab