From b0e1a7c784aae58b6f6e185902af3c977fbd8494 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 6 May 2022 15:15:38 +0200
Subject: [PATCH] [wp] Changelog
---
src/plugins/wp/Changelog | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 395f3faead1..0355202d2b3 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,7 @@
Plugin WP <next-release>
########################
+- WP [2022-05-06] Upgrade to Why3 1.5
- WP [2022-02-28] New option -wp-fct-timeout, used to customize the
provers timeout per function
- WP [2022-02-02] New option -wp-smoke-dead-local-init, smoke tests on
--
GitLab