From 2fc5ffa17a99f5a8976301300bea84bdf640fb26 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 21 Jul 2021 15:50:29 +0200
Subject: [PATCH] [wp] Fixes Changelog
---
src/plugins/wp/Changelog | 9 ++++-----
1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 21944be46f3..63e68dd7fbc 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,11 +24,6 @@
Plugin WP <next-release>
#########################
-
-#########################
-Plugin WP 23.1 (Vanadium)
-#########################
-
- WP [2021-06-11] Adds an experimental support of "terminates" clauses.
Adds the options -wp-declaration-terminate and
-wp-frama-c-stdlib to claims that external functions
@@ -42,6 +37,10 @@ Plugin WP 23.1 (Vanadium)
option -wp-smoke-dead-assumes
- TIP [2021-05-31] Generalized Overflow tactic
+#########################
+Plugin WP 23.1 (Vanadium)
+#########################
+
- WP [2021-07-15] Fix a crash related to opaque structures memory typing
#########################
--
GitLab