From be821a4a0cd6fbb4a391c61e1da56d9363ff8a2b Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 13 May 2024 17:25:17 +0200
Subject: [PATCH] [wp] Changelog
---
src/plugins/wp/Changelog | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 9cfe4a3364f..fd106bfdd80 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -28,11 +28,16 @@ Plugin WP <next-release>
Plugin WP 29.0 (Copper)
###############################################################################
+
+- WP [2024-04-16] Fix interactive prover startup when the script already
+ exists
+- WP [2024-03-29] Type logic function calls when they have C types
- WP [2024-03-26] wp_nullable_args is renamed \wp::nullable_args to
follow kernel changes
- WP [2024-01-24] Introduce counter examples via the new option
-wp-counter-examples. Also introduce an ACSL extension
to create probes on terms for counter examples.
+- Gui [2023-12-05] Introduce goal visualization and tactics in Ivette
###############################################################################
Plugin WP 28.1 (Nickel)
--
GitLab