From 315ab85d5a7e90c549daec0db8c262dbdf7a3cb8 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 7 Aug 2020 09:50:06 +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 d32d106def9..65af1bd039b 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-08-07] Add support for logical array comparison.
+ (frama-c/e-acsl#99)
- E-ACSL [2020-07-28] Add support of bitwise operators.
(frama-c/e-acsl#33)
-* E-ACSL [2020-07-20] Fix unstable order of generated globals.
--
GitLab