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

[changelog] add entry for last MR fixing git issue #52

parent 701d67d1
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
+ 2
− 0
View file @ 6843a783
...@@ -19,6 +19,8 @@ ...@@ -19,6 +19,8 @@
# configure configure # configure configure
############################################################################### ###############################################################################
-* runtime [2018/01/30] E-ACSL aborted when run on a machine with a
low hard limit on the stack size.
-* E-ACSL [2018/01/08] Fix a crash when translating a postcondition -* E-ACSL [2018/01/08] Fix a crash when translating a postcondition
that should generate a local variable (bts #2339). that should generate a local variable (bts #2339).
-* e-acsl-gcc [2017/11/28] Several files may be given to e-acsl-gcc.sh -* e-acsl-gcc [2017/11/28] Several files may be given to e-acsl-gcc.sh
......
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