From 2672e3e100df3e8f397f6411b4c3aa909ae80af9 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 28 Nov 2017 11:00:23 +0100
Subject: [PATCH] update changelog for sulfur

---
 src/plugins/e-acsl/doc/Changelog | 23 ++++++++++++++---------
 1 file changed, 14 insertions(+), 9 deletions(-)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 7608d8dd842..f1ab26ee2ef 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -20,26 +20,31 @@
 ###############################################################################
 
 -* e-acsl-gcc   [2017/11/28] Several files may be given to e-acsl-gcc.sh
-	        (as specified).
+                (as specified).
 -* E-ACSL       [2017/11/27] Fix 'segmentation fault' of the generated monitor
-	        whenever the main as a precondition depending on the memory
-	        model.
+                whenever the main as a precondition depending on the memory
+                model.
 -* E-ACSL       [2017/11/27] Restore behavior of option -e-acsl-valid broken
-	        since Phosphorus (included).
+                since Phosphorus (included).
+
+#############################
+Plugin E-ACSL Sulfur-20171101
+#############################
+
 -* E-ACSL       [2017/10/25] Fix bug #2303 about unnamed formals in
-	        annotated functions.
+                annotated functions.
 -  e-acsl-gcc   [2017/06/10] Add --free-valid-address option to e-acsl.gcc.sh.
 -  e-acsl-gcc   [2017/05/29] Add --fail-with-code option to e-acsl.gcc.sh.
 -  e-acsl-gcc   [2017/05/19] Add --temporal option to e-acsl.gcc.sh.
 -  E-ACSL       [2017/05/19] New detection of temporal errors in E-ACSL
-	        through -e-acsl-temporal-validity (disabled by default).
+                through -e-acsl-temporal-validity (disabled by default).
 -  e-acsl-gcc   [2017/03/26] Add --weak-validity option to e-acsl.gcc.sh.
 -  e-acsl-gcc   [2017/03/26] Add --rt-verbose option to e-acsl.gcc.sh.
 -  e-acsl-gcc   [2017/03/26] Add --keep-going option to e-acsl.gcc.sh allowing
-	        a program to continue execution after an assertion failure.
+                a program to continue execution after an assertion failure.
 -  e-acsl-gcc   [2017/03/26] Add --stack-size and --heap-size options to
-	        e-acsl-gcc.sh allowing to change the default sizes of the
-	        respective shadow spaces.
+                e-acsl-gcc.sh allowing to change the default sizes of the
+                respective shadow spaces.
 
 #################################
 Plugin E-ACSL Phosphorus-20170515
-- 
GitLab