From 35e2e6083bb3466559178a3d0b8b26c461e2a44c Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 10 Jun 2020 14:01:01 +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 dbd61688061..367a88670a7 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -23,6 +23,8 @@
Plugin E-ACSL 21.0 (Scandium)
#############################
+-* E-ACSL [2020-06-10] Fix a soundness bug (##14) when initializing
+ rationals from integers.
-* E-ACSL [2020-03-24] Fix automatic deactivation of plug-in Variadic when
E-ACSL is directly called from Frama-C without using
e-acsl-gcc.sh.
--
GitLab