From 7f18ffc3a625dd5555cfb456128397c765d2e223 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Wed, 27 Jan 2016 09:59:43 +0100 Subject: [PATCH] fix changelog --- src/plugins/e-acsl/doc/Changelog | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 5f2eeba8081..2f9a807ec23 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,8 +15,8 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### --* E-ACSL [2015/08/12] Fix bug #1817 about incloorect initialization of - literal strings in global in arrays with compound initializers. +-* E-ACSL [2015/12/08] Fix bug #1817 about incorrect initialization of + literal strings in global arrays with compound initializers. -* E-ACSL [2015/11/06] Fix a crash occuring when using a recent libc while GMP headers provided by E-ACSL are used. @@ -52,7 +52,8 @@ Plugin E-ACSL 0.4.1 Neon (Frama-C) libc which prevents linking of the generated C code. -* E-ACSL [2014/05/21] Fix bug #1782 about incorrect URL in the documentation. -- E-ACSL [2014/03/27] Remove spurious warnings when using type `real`. +- E-ACSL [2014/03/27] Remove spurious warnings when using type real + numbers. -* E-ACSL [2014/03/26] Fix bug #1692 about wrong localisation of some messages. - E-ACSL [2014/03/26] Remove a spurious warning when an annotated @@ -80,7 +81,7 @@ Plugin E-ACSL 0.3 Fluorine_20130601 - E-ACSL [2013/09/18] More precise message for unsupported contract clauses. -- E-ACSL [2013/09/18] Use Gmp still less often. +- E-ACSL [2013/09/18] Use GMP still less often. -* E-ACSL [2013/09/18] Fix bug which may occur with divisions and modulos. - E-ACSL [2013/09/10] Improve ACSL contracts of the E-ACSL C library. - E-ACSL [2013/09/06] Support of loop invariants. -- GitLab