From 3171f0fadf58065c86d5b1004d39eaa9697d2bb5 Mon Sep 17 00:00:00 2001 From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr> Date: Thu, 4 Feb 2016 19:23:16 +0100 Subject: [PATCH] Added an entry regarding the manpage for e-acsl-gcc.sh to the Changelog --- src/plugins/e-acsl/doc/Changelog | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 2270f45d71c..945b09e32f1 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,10 +15,13 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +- E-ACSL [2016/02/03] Added scripts/testrun.sh - a convenience wrapper + around e-acsl-gcc.sh for use with testing. +-* E-ACSL [2016/01/15] Fix installation with custom --prefix. -* 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/12/15] Added a convenience script e-acsl-gcc.sh for + small runs of the E-ACSL plugin. -* E-ACSL [2015/12/08] Fix bug #1817 about incorrect initialization of literal strings in global arrays with compound initializers. -* E-ACSL [2015/11/06] Fix a crash occuring when using a recent libc -- GitLab