Skip to content
Snippets Groups Projects
Commit 6e3baaca authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl:doc] Update changelog

parent 6d8260df
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
+ 7
− 1
View file @ 6e3baaca
...@@ -19,7 +19,13 @@ ...@@ -19,7 +19,13 @@
# configure configure # configure configure
############################################################################### ###############################################################################
- E-ACSL [2020/02/09] Improve verdict messages emitted by e_acsl_assert. - E-ACSL [2020/03/10] Call E-ACSL's free functions for globals in a
separate function at the end of main.
- E-ACSL [2020/03/10] Call `__e_acsl_memory_init` only if the memory
model analysis is running.
-* E-ACSL [2020/03/10] Fix frama-c/e-acsl#105 about misplaced
`__e_acsl_delete_block` in presence of gotos to return statements.
- E-ACSL [2020/03/09] Improve verdict messages emitted by e_acsl_assert.
-* E-ACSL [2020/01/06] Fix typing bug in presence of variable-length -* E-ACSL [2020/01/06] Fix typing bug in presence of variable-length
arrays that may lead to incorrect generated code. arrays that may lead to incorrect generated code.
-* E-ACSL [2019/12/04] Fix bug with compiler built-ins. -* E-ACSL [2019/12/04] Fix bug with compiler built-ins.
......
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