tag Changelog with version number

4591e135 · Virgile Prevosto · 85cd0c8b · 4591e135
Commit 4591e135 authored 7 years ago by Virgile Prevosto
--- 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
 ###############################################################################

+#################################
+Plugin E-ACSL Phosphorus-20170515
+#################################
+
 -  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