From 55965ccfa227e8782dc10b7c9a576b86067bf9c7 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 28 Jun 2021 15:37:29 +0200
Subject: [PATCH] [wp] Fixes Changelog dates
---
src/plugins/wp/Changelog | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 08be8622a52..d3555bcd5b0 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -28,14 +28,14 @@ Plugin WP <next-release>
Plugin WP 23.0 (Vanadium)
#########################
-- WP [2020-03-01] Section « Limitation & Roadmap » added to the WP manual.
-- WP [2020-03-01] New internal WP engine, fixing many issues related to
+- WP [2021-03-01] Section « Limitation & Roadmap » added to the WP manual.
+- WP [2021-03-01] New internal WP engine, fixing many issues related to
control flow graph and local variable scoping.
Support for stmt contracts has been removed.
Support for looping gotos has been removed.
Altough unsound, the legacy engine is still
accessible via -wp-legacy option.
-- WP [2020-01-25] Improved -wp-unfold-assigns <depth>
+- WP [2021-01-25] Improved -wp-unfold-assigns <depth>
Now recursively applies to all compounds
-* WP [2020-01-20] Fixes opaque structures handling
- TIP [2020-11-06] New tactic: Sequence unrolling
--
GitLab