From f874a3ede27379c35803d9b7143877d85c0e7c63 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Tue, 6 Nov 2012 09:07:01 +0000 Subject: [PATCH] [e-acsl] update changelog --- src/plugins/e-acsl/doc/Changelog | 26 +++++++++++++++++++++----- 1 file changed, 21 insertions(+), 5 deletions(-) diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index fdd5b2be00c..b3779bcf961 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/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. ################################### -- GitLab