From 6db33b9ebf6b44847a0f91a17abfb2ae543612a0 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 11 Sep 2020 14:54:53 +0200
Subject: [PATCH] Update ChangeLog
---
Changelog | 6 ++++--
src/plugins/wp/Changelog | 3 +--
2 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/Changelog b/Changelog
index bae7947a32b..281ea948fa2 100644
--- a/Changelog
+++ b/Changelog
@@ -16,6 +16,8 @@
##################################
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
preprocessing commands used by Frama-C.
- 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
o! Kernel [2018-07-23] Remove completely outdated module Dataflow.
Deprecated since 3+ years. Use Dataflow2 instead.
-* 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.
Fixes #@524
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.
translated as 'tmp = e;' instead of 'if (e) {}' (which was
incorrect when e did not have a scalar type)
- 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.
Instead, -value-msg-key=-initial-state can be used
- Value [2016-05-23] New message key final-states, that can be used
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 536b85c8130..8ed1f10106f 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,12 +20,11 @@
# <Prover>: prover
###############################################################################
-- Wp [2020-09-09] Support for generalized @check ACSL annotations
-
#########################
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] Option -wp-cache-env now defaults to false
- WP [2020-07-06] New option -wp-cache-print
--
GitLab