From f6087ae825bc7847b4c08fed99681f332f2d75a2 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Tue, 3 Aug 2021 14:43:08 +0200
Subject: [PATCH] [eacsl] Update changelog
---
src/plugins/e-acsl/doc/Changelog | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index b0a81804aef..f205f70b08c 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,9 +25,11 @@
Plugin E-ACSL <next-release>
############################
+- 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).
+ 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-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