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

[eacsl] Update changelog

parent 8d4812c8
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 @ 35e2e608
...@@ -23,6 +23,8 @@ ...@@ -23,6 +23,8 @@
Plugin E-ACSL 21.0 (Scandium) Plugin E-ACSL 21.0 (Scandium)
############################# #############################
-* E-ACSL [2020-06-10] Fix a soundness bug (##14) when initializing
rationals from integers.
-* E-ACSL [2020-03-24] Fix automatic deactivation of plug-in Variadic when -* 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 is directly called from Frama-C without using
e-acsl-gcc.sh. 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