From 2cb6fa0debd541b468cc4eae7e8ba66d53a7bab0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 26 Apr 2019 14:44:27 +0200
Subject: [PATCH] [wp] update changeling wrt to -wp-bool-range
---
src/plugins/wp/Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 60844cd373c..1bbd1d8265a 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,6 +20,8 @@
# <Prover>: prover
###############################################################################
+ - 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
--
GitLab