From 2a3b197419248931d99e2283cf4f83a0aceadd72 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 14 Oct 2020 09:35:43 +0200
Subject: [PATCH] [wp] updated Changelog
---
src/plugins/wp/Changelog | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 44868a143cb..d73bf64f1e4 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,13 +24,13 @@
Plugin WP <next-release>
#########################
-- WP [2020-10-07] New tactic Bit-Test range
-- WP [2020-09-21] Added support for Why3 interactive prover (Coq)
-- WP [2020-10-XX] New warning "pedantic-assigns". WP needs precise
+- WP [2020-10-14] New warning "pedantic-assigns". WP needs precise
'assigns ... \from ...' specification about out
pointers (\result and assigned pointers) to generate
precise proof hypotheses.
-- WP [2020-10-XX] Hypotheses: out pointers (\result + written pointers)
+- WP [2020-10-14] Hypotheses: out pointers (\result + written pointers)
+- WP [2020-10-07] New tactic Bit-Test range
+- WP [2020-09-21] Added support for Why3 interactive prover (Coq)
- WP [2020-09-21] Added support for Why3 Coq interactive prover
- WP [2020-09-21] New option -wp-interactive <mode>
- WP [2020-09-21] New option -wp-interactive-timeout <seconds>
--
GitLab