From 896b4678d952d4f4fdd6acfcee42d3c6823e6573 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Tue, 20 Jul 2021 13:23:41 +0200
Subject: [PATCH] [eacsl] Update changelog
---
src/plugins/e-acsl/doc/Changelog | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 667f9feeecb..bcf9aa49771 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,12 @@
Plugin E-ACSL <next-release>
############################
+-* 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-13] Fix crash when encountering a GMP value in a loop
variant (frama-c/e-acsl#169).
--
GitLab