From eabbffab0cb289cb3a60c2ff629bcbfaa51322a8 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Thu, 25 Feb 2021 14:24:24 +0100
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 78cc37da4c4..05e7510ee51 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -37,6 +37,8 @@ Plugin E-ACSL <next-release>
(frama-c/e-acsl#104).
- e-acsl-gcc [2021-02-24] Do not load Frama-C plugins when retrieving share
and plugins paths (frama-c/e-acsl#104).
+-* runtime [2021-02-18] Fix integration of contracts from the runtime
+ library into Frama-C (#@999).
-* E-ACSL [2021-01-12] Fix crash when comparing two structs, which is
currently unsupported (frama-c/e-acsl#139).
-* Makefile [2021-01-05] Fix dependencies in bytecode-only compilation.
--
GitLab