From 6cf78e85fc4c39713fe3ae44492d0447074c3d0b Mon Sep 17 00:00:00 2001 From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr> Date: Mon, 8 Feb 2016 10:51:22 +0100 Subject: [PATCH] Added entry to the changelog regarding the documentation for e-acsl-gcc.sh --- src/plugins/e-acsl/doc/Changelog | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 945b09e32f1..762adf44aa0 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,7 +15,9 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### -- E-ACSL [2016/02/03] Added scripts/testrun.sh - a convenience wrapper +- E-ACSL [2016/02/08] Added documentation for the e-acsl wrapper script + to the E-ACSL user manual. +o 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 -- GitLab