From b214d8df93e9422907d1152b4416c0798c5b653b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 20 Jun 2019 18:15:48 +0200
Subject: [PATCH] [WP] Fixes the Changelog format for the html generation.
---
src/plugins/wp/Changelog | 76 ++++++++++++++++++++--------------------
1 file changed, 38 insertions(+), 38 deletions(-)
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 92f35014294..1582817d7fe 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,29 +24,29 @@
Plugin WP 19.0 (Potassium)
##########################
- - Wp [2019/05/09] Fixes -wp-simplify-is-cint simplifier
- - Wp [2019/04/26] Now requires -warn-invalid-bool
- - Wp [2019/04/26] Removed option -wp-bool-range
- - 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
- - TIP [2017/12/17] Fix bug that makes the TIP wrongly reuse previous results
- - Wp [2017/12/17] Option -wp-print-separation changed into -wp-warn-separation
- - Wp [2017/12/17] Option -wp-unfold-assigns for proving assigns of aggregates field by field
- - 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 validity and ranges
- - TIP [2017/10/27] New tacticals for validity and ranges
+- Wp [2019/05/09] Fixes -wp-simplify-is-cint simplifier
+- Wp [2019/04/26] Now requires -warn-invalid-bool
+- Wp [2019/04/26] Removed option -wp-bool-range
+- 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
+- TIP [2017/12/17] Fix bug that makes the TIP wrongly reuse previous results
+- Wp [2017/12/17] Option -wp-print-separation changed into -wp-warn-separation
+- Wp [2017/12/17] Option -wp-unfold-assigns for proving assigns of aggregates field by field
+- 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 validity and ranges
+- TIP [2017/10/27] New tacticals for validity and ranges
######################
Plugin WP 18.0 (Argon)
@@ -65,21 +65,21 @@ Plugin WP 18.0 (Argon)
Plugin WP Sulfur-20171101
#########################
- - Wp [2017/10/18] Support for LoopCurrent and LoopEntry
- - 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 Ratio (divisions and products)
- - 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
+- Wp [2017/10/18] Support for LoopCurrent and LoopEntry
+- 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 Ratio (divisions and products)
+- 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 Chlorine-20180501
--
GitLab