Skip to content
Snippets Groups Projects
Commit ffda575c authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

Added entries to the Changelog

parent b1c4a0dd
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
+ 4
− 0
View file @ ffda575c
......@@ -15,6 +15,10 @@
# E-ACSL: the Whole E-ACSL plug-in
###############################################################################
-* 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 for small runs of the
E-ACSL plugin.
-* E-ACSL [2015/08/12] Fix bug #1817 about incloorect initialization of
literal strings in global in arrays with compound initializers.
-* 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