From 6ce76b31bf356b6c1a50d5187640021dd6875ac7 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Mon, 25 Nov 2019 15:04:19 +0100 Subject: [PATCH] Reorganize WP changelog for Calcium --- src/plugins/wp/Changelog | 28 ++++++++++++++-------------- 1 file changed, 14 insertions(+), 14 deletions(-) diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog index 08f4a91b293..94248faed18 100644 --- a/src/plugins/wp/Changelog +++ b/src/plugins/wp/Changelog @@ -26,22 +26,22 @@ Plugin WP 20.0 (Calcium) - TIP [2019/09/17] Using all selected Why-3 provers for proof search - Gui [2019/09/17] Updated panel for provers, models, cache, etc. -- WP [2019/09/16] Removed option -wp-include -- WP [2019/09/16] Removed option -wp-why3 -- WP [2019/09/16] Removed option -wp-why-lib -- WP [2019/09/16] Removed option -wp-depth -- WP [2019/09/16] -wp-why-opt renamed -wp-why3-opt - WP [2019/09/12] New cache mechanism for why3 provers, see -wp-cache option -- WP [2019/09/11] -wp-extensional now defaults to true -- WP [2019/09/11] -wp-init-const now defaults to true -- WP [2019/09/11] -wp-init-alias renamed -wp-alias-init -- WP [2019/09/11] -wp-script renamed -wp-coq-script -- WP [2019/09/11] -wp-update-script renamed -wp-update-coq-script -- WP [2019/09/11] -wp-tactic renamed -wp-coq-tactic -- WP [2019/09/11] -wp-tryhints renamed -wp-coq-tryhints -- WP [2019/09/11] -wp-hints renamed -wp-coq-hints -! WP [2019/09/17] Deprecated native alt-ergo & coq output, see -wp-prover option --! WP [2019/07/05] -wp-prover <p> now defaults to <why3:p> (including default alt-ergo) +- WP [2019/09/16] Deprecated & Renamed -wp-script into -wp-coq-script +- WP [2019/09/16] Deprecated & Renamed -wp-update-script into -wp-update-coq-script +- WP [2019/09/16] Deprecated & Renamed -wp-tactic into -wp-coq-tactic +- WP [2019/09/16] Deprecated & Renamed -wp-tryhints into -wp-coq-tryhints +- WP [2019/09/16] Deprecated & Renamed -wp-hints into -wp-coq-hints +- WP [2019/09/16] Renamed -wp-why-opt into -wp-why3-opt +- WP [2019/09/16] Renamed -wp-init-alias into -wp-alias-init +- WP [2019/09/16] Removed -wp-include +- WP [2019/09/16] Removed -wp-why3 +- WP [2019/09/16] Removed -wp-why-lib +- WP [2019/09/16] Removed -wp-depth +- WP [2019/09/16] Default -wp-extensional changed to true +- WP [2019/09/16] Default -wp-init-const changed to true +-! WP [2019/07/05] Default -wp-prover <p> changed to <why3:p> (including default alt-ergo) -! WP [2019/07/05] Use native Why3 API (now requires why3 at compile time) - WP [2019/06/27] Improving Cint simplifier and quantifier introduction o Qed [2019/06/27] More secure API for quantifier management -- GitLab