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

[changelog] better message

parent d5f3afc8
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
+ 3
− 1
View file @ d7525ff4
......@@ -23,7 +23,9 @@
Plugin E-ACSL 18.0 (Argon)
##########################
-* E-ACSL [2018/11/13] Fix typing bug for quantified variables.
-* E-ACSL [2018/11/13] Fix typing bug in quantifications when the
guards of the quantifier variable cannot be represented into
its type.
-* runtime [2018/11/13] Fix bug #!2405 about memory initialization
in presence of GCC constructors.
-* E-ACSL [2018/10/23] Fix bug #2406 about monitoring of variables
......
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