Skip to content
Snippets Groups Projects
Commit 6db33b9e authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Update ChangeLog

parent 1699baad
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Changelog
+ 4
− 2
View file @ 6db33b9e
...@@ -16,6 +16,8 @@ ...@@ -16,6 +16,8 @@
################################## ##################################
Open Source Release <next-release> Open Source Release <next-release>
################################## ##################################
- Logic [2020-09-11] Introduce check-only annotations for
requires, ensures, loop invariant and lemmas
- Kernel [2020-09-08] Add option -print-cpp-commands, to print the - Kernel [2020-09-08] Add option -print-cpp-commands, to print the
preprocessing commands used by Frama-C. preprocessing commands used by Frama-C.
- Eva [2020-09-07] Deprecates legacy options aliases -val-* in favor - Eva [2020-09-07] Deprecates legacy options aliases -val-* in favor
...@@ -335,7 +337,7 @@ o! Constant Propagation [2018-09-12] Removing Db API for Constant Propagation ...@@ -335,7 +337,7 @@ o! Constant Propagation [2018-09-12] Removing Db API for Constant Propagation
o! Kernel [2018-07-23] Remove completely outdated module Dataflow. o! Kernel [2018-07-23] Remove completely outdated module Dataflow.
Deprecated since 3+ years. Use Dataflow2 instead. Deprecated since 3+ years. Use Dataflow2 instead.
-* RTE [2018-07-23] Stop generating spurious \initialized alarms. -* RTE [2018-07-23] Stop generating spurious \initialized alarms.
Fixes #@429 Fixes #@429
-* Kernel [2018-07-06] Respect relative order of labels and ACSL annots. -* Kernel [2018-07-06] Respect relative order of labels and ACSL annots.
Fixes #@524 Fixes #@524
o* Ptests [2018-07-02] Do not keep oracles for empty stderr. Fixes #@402 o* Ptests [2018-07-02] Do not keep oracles for empty stderr. Fixes #@402
...@@ -836,7 +838,7 @@ o! Kernel [2016-06-14] Remove class Filecheck.check from API. ...@@ -836,7 +838,7 @@ o! Kernel [2016-06-14] Remove class Filecheck.check from API.
translated as 'tmp = e;' instead of 'if (e) {}' (which was translated as 'tmp = e;' instead of 'if (e) {}' (which was
incorrect when e did not have a scalar type) incorrect when e did not have a scalar type)
- Eva [2016-05-27] Improvements to option -val-subdivide-non-linear for - Eva [2016-05-27] Improvements to option -val-subdivide-non-linear for
high number of subdivisions high number of subdivisions
-* Value [2016-05-23] Option -val-show-initial-state has been removed. -* Value [2016-05-23] Option -val-show-initial-state has been removed.
Instead, -value-msg-key=-initial-state can be used Instead, -value-msg-key=-initial-state can be used
- Value [2016-05-23] New message key final-states, that can be used - Value [2016-05-23] New message key final-states, that can be used
......
src/plugins/wp/Changelog
+ 1
− 2
View file @ 6db33b9e
...@@ -20,12 +20,11 @@ ...@@ -20,12 +20,11 @@
# <Prover>: prover # <Prover>: prover
############################################################################### ###############################################################################
- Wp [2020-09-09] Support for generalized @check ACSL annotations
######################### #########################
Plugin WP <next-release> Plugin WP <next-release>
######################### #########################
- WP [2020-09-11] Support for generalized @check ACSL annotations
- WP [2020-07-06] Removed debug keys "no-xxx-info" (subsumed by "shell") - WP [2020-07-06] Removed debug keys "no-xxx-info" (subsumed by "shell")
- WP [2020-07-06] Option -wp-cache-env now defaults to false - WP [2020-07-06] Option -wp-cache-env now defaults to false
- WP [2020-07-06] New option -wp-cache-print - WP [2020-07-06] New option -wp-cache-print
......
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