[e-acsl] update changelog

src/plugins/e-acsl/doc/Changelog

@@ -15,17 +15,33 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
-* E-ACSL        [2012/09/13] Fix bug with very long ACSL integer constants.
-- E-ACSL	[2012/01/25] Nicer generated variable names.
-* E-ACSL	[2012/01/23] Function __gmp_com was wrongly named in
+-  E-ACSL       [2012/10/25] Support of \valid.
+-  E-ACSL       [2012/10/25] Support of \initialized.
+-  E-ACSL       [2012/10/25] Support of \block_length.
+-  E-ACSL       [2012/10/25] Support of \offset.
+-  E-ACSL       [2012/10/25] Support of \base_addr.
+-* E-ACSL       [2012/09/13] Fix bug with very long ACSL integer constants.
+-  E-ACSL       [2012/06/27] Continue to convert the other pre/post-conditions
+	        even if one fails.
+-  E-ACSL       [2012/04/27] Improve ACSL spec of E-ACSL' C library.
+-* E-ACSL       [2012/01/27] Fix compilation bug when configuring with
+	        --enable-external.
+-  E-ACSL	[2012/01/25] Nicer generated variable names.
+-* E-ACSL       [2012/01/24] Fix bug with lazy operators in term position.
+-* E-ACSL       [2012/01/24] Fix bug with boolean.
+-* E-ACSL       [2012/01/24] Fix bug with negation and GMP integers.
+-* E-ACSL       [2012/01/24] Fix bug with conditional and GMP integers.
+-  E-ACSL       [2012/01/24] function e_acsl_assert now consistent with
+	        standard assert.
+-* E-ACSL	[2012/01/23] Function __gmp_com was wrongly named in
 	        E_ACSL C header.
-- E-ACSL	[2012/01/20] Use GMP arithmetics only when required
+-  E-ACSL	[2012/01/20] Use GMP arithmetics only when required
 	        (i.e. mostly never in practice).
 
 ###################################
 Plugin E-ACSL 0.1 Nitrogen_20111001
 ###################################
 
-- E-ACSL	[2012/01/06] First release for the Hi-Lite FUI9 project.
+-  E-ACSL	[2012/01/06] First release for the Hi-Lite FUI9 project.
 
 ###################################