From 6ea81de9bb9dd6ee4268a138f4409837c004e557 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Thu, 25 Mar 2021 17:14:17 +0100
Subject: [PATCH] [e-acsl] 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 1ef3673d4e0..a7d1dbbfb07 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 [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
calling \valid predicate leading to undetected array overflows.
-* E-ACSL [2021-02-24] Fix crash when running another analysis after
--
GitLab