From 38e2ca403f0dd32ac063dfdc81e0673568c69a94 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Wed, 25 Oct 2017 15:52:04 +0200 Subject: [PATCH] fix Changelog and extend it with the latest bug fix --- src/plugins/e-acsl/doc/Changelog | 28 ++++++++++++++++------------ 1 file changed, 16 insertions(+), 12 deletions(-) diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 989c3f5c6d8..aeb4c51e66f 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,27 +15,31 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +-* E-ACSL [2017/10/25] Fix bug #2303 about unnamed formals in + annotated functions. +- E-ACSL [2017/06/10] Add --free-valid-address option to e-acsl.gcc.sh +- E-ACSL [2017/05/29] Add --fail-with-code option to e-acsl.gcc.sh +- E-ACSL [2017/05/19] Add --temporal option to e-acsl.gcc.sh +- E-ACSL [2017/05/19] New detection of temporal errors in E-ACSL + (disabled by default) +- E-ACSL [2017/03/26] Add --weak-validity option to e-acsl.gcc.sh +- E-ACSL [2017/03/26] Add --rt-verbose option to e-acsl.gcc.sh +- E-ACSL [2017/03/26] Add --keep-going option to e-acsl.gcc.sh allowing + a program to continue execution after an assertion failure +- E-ACSL [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 + ################################# Plugin E-ACSL Phosphorus-20170515 ################################# --! E-ACSL [2017/06/10] Add --free-valid-address option to e-acsl.gcc.sh --! E-ACSL [2017/05/29] Add --fail-with-code option to e-acsl.gcc.sh --! E-ACSL [2017/05/19] Add --temporal option to e-acsl.gcc.sh --! E-ACSL [2017/05/19] Enable analysis for temporal errors in E-ACSL --! E-ACSL [2017/03/26] Add --weak-validity option to e-acsl.gcc.sh --! E-ACSL [2017/03/26] Add --rt-verbose option to e-acsl.gcc.sh --! E-ACSL [2017/03/26] Add --keep-going option to e-acsl.gcc.sh allowing - a program to continue execution after an assertion failure --! E-ACSL [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 [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 do not require memory model. -! E-ACSL [2017/03/19] Remove --print|-p option from e-acsl-gcc.sh --! E-ACSL [2017/03/16] Add --check option to e-acsl-gcc.sh which allows +- E-ACSL [2017/03/16] Add --check option to e-acsl-gcc.sh which allows to check the integrity of the generated AST before instrumentation. -! E-ACSL [2017/03/03] Remove precond rte option from e-acsl-gss.sh. -- GitLab