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

changelog

parent 35a7daad
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
− 0
View file @ c1a90b1d
...@@ -15,6 +15,9 @@ ...@@ -15,6 +15,9 @@
# E-ACSL: the Whole E-ACSL plug-in # E-ACSL: the Whole E-ACSL plug-in
############################################################################### ###############################################################################
-* E-ACSL [2017/03/02] Fix bts #1740 about incorrect monitoring of
memory properties when early exiting a block through
goto, break or continue.
-* E-ACSL [2017/03/01] Correct support of stdin, stdout and stderr -* E-ACSL [2017/03/01] Correct support of stdin, stdout and stderr
in annotations. in annotations.
-* E-ACSL [2017/02/24] Fix crash with casts from non-integral terms to -* E-ACSL [2017/02/24] Fix crash with casts from non-integral terms to
......
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