From 18cd49ff7b949c1a57d100af97617d2d03280a3f Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 8 Apr 2021 13:30:40 +0200
Subject: [PATCH] [e-acsl] changelog
---
src/plugins/e-acsl/doc/Changelog | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 6df26ae77eb..4f7a40c2ede 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,10 @@
Plugin E-ACSL <next-release>
############################
+-* runtime [2021-04-08] Fix backtrace output on failed assertion
+ (frama-c/e-acsl#151).
+-* runtime [2021-04-08] Fix incorrect check on program arguments when the
+ main function takes no arguments (frama-c/e-acsl#151).
-* 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
--
GitLab