From 217dc987f3c98832ea09636c96e8c061415d5932 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Tue, 22 Sep 2020 10:42:17 +0200
Subject: [PATCH] [eacsl:doc] 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 e6b20fea46e..7f0e79e4a4a 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
Plugin E-ACSL <next-release>
############################
+- E-ACSL [2020-09-22] Support of complete and disjoint behavior
+ (frama-c/e-acsl#92 and frama-c/e-acsl#27).
-* runtime [2020-09-15] Fix wrong value returned for the stack size in the
segment memory model (frama-c/e-acsl#126).
- E-ACSL [2020-09-15] Deprecate -e-acsl-full-mmodel in favor of
--
GitLab