###############################################################################
# Preliminary notes:                                                          #
# ------------------                                                          #
# Mark "-": change with an impact for users (and possibly developers).        #
# Mark "o": change with an impact for developers only.                        #
# Mark "+": change for Frama-C-commits audience (not in html version)         #
# Mark "*": bug fixed.                                                        #
# Mark "!": change that can break compatibility with existing development.    #
# '#nnn'   : BTS entry #nnn                                                   #
# '#!nnn'  : BTS private entry #nnn                                           #
# For compatibility with old change log formats:                              #
# '#?nnn'  : OLD-BTS entry #nnn                                               #
###############################################################################
# Categories:
#   E-ACSL: the Whole E-ACSL plug-in
###############################################################################

-  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] 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.
-* E-ACSL       [2013/09/04] Fix bug when monitored global variables have
	        initializers (bts #1478).
-* E-ACSL       [2013/09/04] Fix bug when mixing -e-acsl-prepare and
	        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
	        generated project.
-* E-ACSL       [2013/05/30] Fixed -e-acsl-debug n, with n >= 2.

###################################
Plugin E-ACSL 0.2 Fluorine_20130401
###################################

-  E-ACSL       [2013/01/09] New option -e-acsl-valid. By default, valid
	        annotation are not translated anymore.
-* E-ACSL       [2013/01/09] Fix bug when translating a postcondition of a
	        function where the init state is the same than the final
	        state (bts #!1300).
-  E-ACSL       [2013/01/09] Support of undefined function with a contract.
-  E-ACSL       [2012/12/20] Support of ghost variables and statements.
-* E-ACSL       [2012/12/13] Fix bug with complex term left-values.
-  E-ACSL       [2012/11/27] Support of \valid_read.
-  E-ACSL       [2012/11/27] Prevent runtime errors in annotations, except
	        uninitialized variables.
-  E-ACSL       [2012/11/19] Support of floats in annotations. Approximate
	        reals by floats.
-  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] Support of bitwise complementation.
-  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 public release.

###################################