From 316fd0a0926ded390387e8c7529b03a60ba0ea4e Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 25 Feb 2019 18:42:59 +0100
Subject: [PATCH] changelog

---
 src/plugins/e-acsl/doc/Changelog | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 84de44a0272..d47f3ef037e 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,12 @@
 #   configure	configure
 ###############################################################################
 
+-  runtime      [2019/02/26] The behavior of __e_acsl_assert now depends on the
+	        runtime value of the global variable __e_acsl_sound_verdict:
+	        if 0, it means that its verdict is possibly incorrect.
+-  E-ACSL       [2019/02/26] New option -e-acsl-instrument to instrument
+	        only a specified set of functions. It may lead to incorrect
+	        verdicts.
 -  E-ACSL       [2019/02/19] New option -e-acsl-functions to monitor only
 	        annotations in a white list of functions.
 -* runtime      [2019/02/04] Fix initialization of the E-ACSL runtime in
-- 
GitLab