From 736880b691364961cd8d8fb009526a5fb708044a Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Fri, 8 Mar 2019 09:51:24 +0100
Subject: [PATCH] Update Changelog wrt !2182
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index fc3cf71fb0f..7ff56e51e8c 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
Open Source Release <next-release>
##################################
+- ACSL [2019/03/08] Add check annotation, similar to assert except that
+ it does not introduce additional hypotheses on the program state
-* Makefile [2019/03/07] Do not attempt to install .cmx on bytecode-only
architectures. Patch by M. Dogguy backported from Debian package
-* Kernel [2019/03/05] Better detection of invalid goto in presence of VLA
--
GitLab