From c0e7f97545d56f10b6e178303dd76c59133b41f3 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 9 May 2019 08:24:07 +0200
Subject: [PATCH] [Qed] more let intro for boolean variables
---
src/plugins/wp/Changelog | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 1bbd1d8265a..58d946999e8 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,6 +20,7 @@
# <Prover>: prover
###############################################################################
+ - Qed [2019/05/09] Transforms some boolean quantifications into let constructs
- 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}
--
GitLab