Skip to content
Snippets Groups Projects
Commit ac2fc8fa authored by Julien Signoles's avatar Julien Signoles
Browse files

update Changelog

parent 686783e6
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
− 0
View file @ ac2fc8fa
......@@ -15,6 +15,11 @@
# E-ACSL: the Whole E-ACSL plug-in
###############################################################################
########################
Plugin E-ACSL 0.4.1 Neon
########################
-* E-ACSL [2014/08/05] Fix bug #1838 about memset.
-* E-ACSL [2014/08/05] Fix bug #1818 about initialization of globals.
-* E-ACSL [2014/08/04] Fix bug #1696 by clarifying the manual.
-* E-ACSL [2014/08/04] Fix bug #1831 about argc and argv.
......
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