From 2125e32801de321715dfb94079b590cc1bab4566 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 20 Jul 2020 14:50:42 +0200
Subject: [PATCH] [eacsl] Update changelog
---
src/plugins/e-acsl/doc/Changelog | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index ca5e4790dc3..dc29fbc04f5 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,9 +25,11 @@
Plugin E-ACSL <next-release>
############################
+-* E-ACSL [2020-07-20] Fix unstable order of generated globals.
+ (frama-c/e-acsl#124)
-* E-ACSL [2020-07-10] Fix translation of trange (incorrect length).
-* E-ACSL [2020-07-09] Decrease the number of allocated blocks when one
- block is freed.
+ block is freed.
- 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
--
GitLab