From 00b55fa3409f9aef6071f92dba254cfd72b2f0c2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 24 Apr 2019 16:32:47 +0200
Subject: [PATCH] [wp] fix change log for potassium
---
src/plugins/wp/Changelog | 25 ++++++-------------------
1 file changed, 6 insertions(+), 19 deletions(-)
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 7ccb3f4c493..60844cd373c 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,15 +20,15 @@
# <Prover>: prover
###############################################################################
-- Wp [2019/28/01] Now -wp-dynamic is set by default (annotation @calls)
-
- - Wp [2019/01/28] New floating-point model
- - WP [2019/02/05] Auto filter properties with name "no_wp:"
- - Wp [2019/01/28] New floating-point model
+ - Wp [2019/04/24] Support for Why3 1.* and Coq 8.{7-9}
+ - Wp [2019/02/26] Support for @check ACSL annotations
- WP [2018/02/16] Filter out some variables from separation
- TIP [2018/02/15] Extend bitwise-eq auto-strategy on hypotheses
- TIP [2018/02/15] Fix wrong reconciliation of sub-scripts during replay
- Wp [2018/02/15] Better naming convention, consistent with report-classify
+ - WP [2019/02/05] Auto filter properties with name "no_wp:"
+ - Wp [2019/01/28] Now -wp-dynamic is set by default (annotation @calls)
+ - Wp [2019/01/28] New floating-point model
- Wp [2018/01/18] Auto-Search mode, see -wp-auto
- TIP [2018/01/18] Auto-Search mode from the GUI
- TIP [2018/01/18] New Strategies for bitwise and congruence operations
@@ -38,21 +38,8 @@
- TIP [2017/04/25] New tactical Congruence (divisions and products)
- Qed [2017/10/30] Extends simplifications for lsl,lsr and div
- Wp [2017/10/27] Fix soundness bug when assigning non-valid ranges
- - Qed [2017/10/27] New simplifications for validirt and ranges
+ - Qed [2017/10/27] New simplifications for validity and ranges
- TIP [2017/10/27] New tacticals for validity and ranges
- - TIP [2017/04/25] Options -wp-time-{extra|margin} for more stability
- -* Gui [2017/04/25] Fixed bug when running prover from the TIP
- - Wp [2017/04/25] Improved model and simplifications of logical shifts
- - Wp [2017/04/25] New simplification logic functions (-wp-reduce)
- - Wp [2017/04/25] New simplification of unused variables (-wp-parasite)
- - Wp [2017/04/25] New simplification for ground terms (-wp-ground)
- - Wp [2017/04/25] Option -wp-prenex to normalize nested binders
- - Wp [2017/04/25] Option -wp-overflows to add explicit assumptions
- - TIP [2017/04/25] New tactical Overflow (to cope with modulus)
- - TIP [2017/04/25] New tactical Bitwised, BitRange and Shift
- - TIP [2017/04/25] New tactical Rewrite (two apply equalities)
- - Wp [2017/03/12] Reduction of equalities with logic functions
- - Wp [2017/03/12] More simplifications wrt integer domains
######################
Plugin WP 18.0 (Argon)
--
GitLab