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

[eacsl:doc] Update changelog

parent 6571bbb4
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 @ 47eb510b
...@@ -19,6 +19,8 @@ ...@@ -19,6 +19,8 @@
# configure configure # configure configure
############################################################################### ###############################################################################
-* E-ACSL [2020/03/16] Fix #?1386 and frama-c/e-acsl#91 about the tracking
of variables declared inside the body of switches.
- E-ACSL [2020/02/09] Improve verdict messages emitted by e_acsl_assert. - E-ACSL [2020/02/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.
......
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