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

[e-acsl] changelog

parent 0d346001
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 @ ab1e8fec
...@@ -19,6 +19,9 @@ ...@@ -19,6 +19,9 @@
# configure configure # configure configure
############################################################################### ###############################################################################
-* E-ACSL [2020/03/24] Fix automatic deactivation of plug-in Variadic when
E-ACSL is directly called from Frama-C without using
e-acsl-gcc.sh.
- E-ACSL [2020/03/10] Call E-ACSL's free functions for globals in a - E-ACSL [2020/03/10] Call E-ACSL's free functions for globals in a
separate function at the end of main. separate function at the end of main.
- E-ACSL [2020/03/10] Call `__e_acsl_memory_init` only if the memory - E-ACSL [2020/03/10] Call `__e_acsl_memory_init` only if the memory
......
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