From e1ecce20997968bf81e6847e39083a5fe5b5b43c Mon Sep 17 00:00:00 2001 From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr> Date: Thu, 7 Jan 2016 16:08:11 +0100 Subject: [PATCH] Added entries to the Changelog --- src/plugins/e-acsl/doc/Changelog | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 5f2eeba8081..71fa4565ae6 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,6 +15,10 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +-* E-ACSL [2016/01/05] Fix bug in the memory model that caused the + tracked size of heap memory be computed incorrectly. +- E-ACSL [2015/12/15] Added a convenience script for small runs of the + E-ACSL plugin. -* E-ACSL [2015/08/12] Fix bug #1817 about incloorect initialization of literal strings in global in arrays with compound initializers. -* E-ACSL [2015/11/06] Fix a crash occuring when using a recent libc -- GitLab