From 1a1b0df22e14458017f68c1e2392a259a329cfed Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 28 Mar 2017 17:16:21 +0200
Subject: [PATCH] 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 5fbdb499640..a7153b2b6de 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,8 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-  E-ACSL       [2017/03/29] The (much more efficient) shadow memory model is
+	        now used by default.
 -* E-ACSL       [2017/03/28] Fix backtrace when the failed instrumented programs
 	        do not require memory model.
 -! E-ACSL       [2017/03/19] Remove --print|-p option from e-acsl-gcc.sh
-- 
GitLab