From 54ae5e5e0f6c1b6f514ae70ec8f636482708942c Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Tue, 30 Mar 2021 09:52:18 +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 a7d1dbbfb07..6df26ae77eb 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
Plugin E-ACSL <next-release>
############################
+-* runtime [2021-03-30] Fix the end address of the memory segments in the
+ RTL layouts.
- E-ACSL [2021-03-25] Add support for `check` and `admit` annotations
(frama-c/e-acsl#142).
-* E-ACSL [2021-03-25] Fix wrong computation of the base pointer when
--
GitLab