From 8b9a3b3d5bc4b950d887bcfa85b1fb9059dc3754 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 19 Jun 2020 11:36:39 +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 4a1e5e711d7..d3cb04b390b 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 to create GMP rational from GMP
+ integer. (frama-c/e-acsl#120)
-* E-ACSL [2020-06-18] Fix support of VLA memory tracking.
(frama-c/e-acsl#119)
--
GitLab