From b6cc2feff794412d0dd278a6e1c13f37e9c0d1d2 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 28 Aug 2019 08:52:34 +0200
Subject: [PATCH] changelog

---
 src/plugins/e-acsl/doc/Changelog | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 7ba4c9affd7..22c406fd10d 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,11 @@
 #   configure	configure
 ###############################################################################
 
+-  E-ACSL       [2019/08/28] Support of rational numbers and operations.
+-! E-ACSL       [2019/08/28] Deactivate the unsound support of real
+	        numbers (that are not rationals). They were previously
+	        unsoundly converted to floating point numbers.
+
 ##############################
 Plugin E-ACSL 19.0 (Potassium)
 ##############################
-- 
GitLab