Skip to content
Snippets Groups Projects
Commit 33aab960 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Update Changelog

parent 382c4eb7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
Changelog
+ 1
− 0
View file @ 33aab960
...@@ -29,6 +29,7 @@ Open Source Release <next-release> ...@@ -29,6 +29,7 @@ Open Source Release <next-release>
pairs of scalar variables occuring in a same instruction. pairs of scalar variables occuring in a same instruction.
Intra-procedural by default; octagons can be propagated through Intra-procedural by default; octagons can be propagated through
function calls with option -eva-octagon-through-calls. function calls with option -eva-octagon-through-calls.
- ACSL [2019/10/04] Support for ghost parameters
- Eva [2019/10/04] Evaluates ACSL predicates \is_plus_infinity and - Eva [2019/10/04] Evaluates ACSL predicates \is_plus_infinity and
\is_minus_infinity. \is_minus_infinity.
- Kernel [2019/10/04] Supports macro INFINITY and NAN. - Kernel [2019/10/04] Supports macro INFINITY and NAN.
......
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