From 527588a47e8a4fec1cc40099fcbd4b3d29da626b Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Tue, 25 May 2021 18:35:32 +0200
Subject: [PATCH] [eacsl] Update 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 d3efe23c9da..631226b2fe3 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -29,6 +29,8 @@ Plugin E-ACSL <next-release>
Plugin E-ACSL 23.0 (Vanadium)
#############################
+-* E-ACSL [2021-05-25] Restore behavior of option -e-acsl-no-valid broken
+ since Titanium (included).
- E-ACSL [2021-04-09] Add support for loop variant.
- E-ACSL [2021-04-07] Add support for multiple binders in guarded
quantifications (frama-c/e-acsl#127).
--
GitLab