Commit 0f8749e2 authored by Julien Signoles's avatar Julien Signoles
Browse files

changelog

parent 48f79944
...@@ -19,6 +19,8 @@ ...@@ -19,6 +19,8 @@
# configure configure # configure configure
############################################################################### ###############################################################################
- E-ACSL [2019/04/29] Support for logic functions and predicates
without labels.
- runtime [2019/02/26] The behavior of __e_acsl_assert now depends on the - runtime [2019/02/26] The behavior of __e_acsl_assert now depends on the
runtime value of the global variable __e_acsl_sound_verdict: runtime value of the global variable __e_acsl_sound_verdict:
if 0, it means that its verdict is possibly incorrect. if 0, it means that its verdict is possibly incorrect.
......
Markdown is supported
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