From 0090adf3553cbbbb4c1259f5156ba8c9ce967bef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Thu, 25 Feb 2021 10:15:42 +0100 Subject: [PATCH] [wp] Changelog updates --- src/plugins/wp/Changelog | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog index 2d6a0264938..6733a92de56 100644 --- a/src/plugins/wp/Changelog +++ b/src/plugins/wp/Changelog @@ -24,9 +24,15 @@ Plugin WP <next-release> ######################### - +- WP [2020-02-25] Section « Limitation & Roadmap » added to the WP manual. +- WP [2020-02-25] 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> - Now recursively applies to all compounds + Now recursively applies to all compounds -* WP [2020-01-20] Fixes opaque structures handling - TIP [2020-11-06] New tactic: Sequence unrolling - TIP [2020-11-05] New tactic: Induction -- GitLab