From bee1d529b92f860a4fe1ef55fb698dc6b7dfd862 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 19 Jun 2020 13:34:05 +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 d3cb04b390b..8e00ca68873 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-06-19] Add support of bitwise operators for C integers.
+ (frama-c/e-acsl#33)
- E-ACSL [2020-06-19] Add support to create GMP rational from GMP
integer. (frama-c/e-acsl#120)
-* E-ACSL [2020-06-18] Fix support of VLA memory tracking.
--
GitLab