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

changelog

parent 7fdf12a9
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 @ bd53e59b
...@@ -19,8 +19,11 @@ ...@@ -19,8 +19,11 @@
# configure configure # configure configure
############################################################################### ###############################################################################
-* E-ACSL [2019/01/02] Fix overlap of TLS with other memory -* runtime [2019/02/04] Fix initialization of the E-ACSL runtime in
segments for big memory spaces presence of multiple calls to its initializer (for
instance, if the main is a recursive function).
-* runtime [2019/01/02] Fix overlap of TLS with other memory
segments for large memory spaces.
- E-ACSL [2018/11/15] Predicates with empty quantifications - E-ACSL [2018/11/15] Predicates with empty quantifications
directly generate \true or \false instead of nested loops. directly generate \true or \false instead of nested loops.
......
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