From b2ce0847bed87d68b472b0114af3bb37a32686cb Mon Sep 17 00:00:00 2001 From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr> Date: Thu, 31 Mar 2016 12:40:19 +0200 Subject: [PATCH] [Changelog] Update for merge request !15 and a few stylistic updates --- src/plugins/e-acsl/doc/Changelog | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 48a1e05e5b1..4e37d622083 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,21 +15,22 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### --* E-ACSL [2016/01/15] Fixed several bugs related to incorrect partial +-* E-ACSL [2016/03/31] Improve performance of Patricia Trie memory model. +-* E-ACSL [2016/02/25] Fix 'make clean' in tests. +-* E-ACSL [2016/01/15] Fix several bugs related to incorrect partial initialization of tracked memory blocks in the E-ACSL runtime library. --* E-ACSL [2016/02/25] Fix 'make clean' in tests. ########################### Plugin E-ACSL 0.6 Magnesium ########################### --* E-ACSL [2016/01/22] Added an e-acsl-gcc.sh option allowing to skip +-* E-ACSL [2016/01/22] Add an e-acsl-gcc.sh option allowing to skip compilation of original sources. -* E-ACSL [2016/01/15] Fix installation with custom --prefix. -* E-ACSL [2016/01/05] Fix bug in the memory model that caused the tracked size of heap memory be computed incorrectly. -- E-ACSL [2015/12/15] Added a convenience script e-acsl-gcc.sh for +- E-ACSL [2015/12/15] Add a convenience script e-acsl-gcc.sh for small runs of the E-ACSL plugin. -* E-ACSL [2015/12/08] Fix bug #1817 about incorrect initialization of literal strings in global arrays with compound initializers. @@ -107,9 +108,9 @@ Plugin E-ACSL 0.3 Fluorine_20130601 running E-ACSL in another project (bts #!1473). -* E-ACSL [2013/06/26] Fix crash with typedef on pointer types. - E-ACSL [2013/06/21] Fewer unknown locations. --* E-ACSL [2013/06/18] Fixed bug when generating RTEs on the E-ACSL +-* E-ACSL [2013/06/18] Fix bug when generating RTEs on the E-ACSL generated project. --* E-ACSL [2013/05/30] Fixed -e-acsl-debug n, with n >= 2. +-* E-ACSL [2013/05/30] Fix -e-acsl-debug n, with n >= 2. ################################### Plugin E-ACSL 0.2 Fluorine_20130401 -- GitLab