Skip to content
Snippets Groups Projects
Commit 3171f0fa authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov Committed by Julien Signoles
Browse files

Added an entry regarding the manpage for e-acsl-gcc.sh to the Changelog

parent 94dd242a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/doc/Changelog
+ 5
− 2
View file @ 3171f0fa
...@@ -15,10 +15,13 @@ ...@@ -15,10 +15,13 @@
# E-ACSL: the Whole E-ACSL plug-in # E-ACSL: the Whole E-ACSL plug-in
############################################################################### ###############################################################################
- E-ACSL [2016/02/03] Added scripts/testrun.sh - a convenience wrapper
around e-acsl-gcc.sh for use with testing.
-* E-ACSL [2016/01/15] Fix installation with custom --prefix.
-* E-ACSL [2016/01/05] Fix bug in the memory model that caused the -* E-ACSL [2016/01/05] Fix bug in the memory model that caused the
tracked size of heap memory be computed incorrectly. tracked size of heap memory be computed incorrectly.
- E-ACSL [2015/12/15] Added a convenience script for small runs of the - E-ACSL [2015/12/15] Added a convenience script e-acsl-gcc.sh for
E-ACSL plugin. small runs of the E-ACSL plugin.
-* E-ACSL [2015/12/08] Fix bug #1817 about incorrect initialization of -* E-ACSL [2015/12/08] Fix bug #1817 about incorrect initialization of
literal strings in global arrays with compound initializers. literal strings in global arrays with compound initializers.
-* E-ACSL [2015/11/06] Fix a crash occuring when using a recent libc -* E-ACSL [2015/11/06] Fix a crash occuring when using a recent libc
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment