From 978d2f2cd25d45deb5ff75411a363422fbbf0055 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 17 Sep 2020 17:00:14 +0200
Subject: [PATCH] ChangeLog
---
src/plugins/wp/Changelog | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index f0eff739299..389007c7c91 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,9 +24,9 @@
Plugin WP <next-release>
#########################
-- WP [2020-XX-XX] New experimental option: -wp-check-model-hypotheses
+- WP [2020-09-17] New experimental option: -wp-check-model-hypotheses
Generates requires in contracts for model hypotheses
-- WP [2020-XX-XX] Hypotheses: assigned memory locations
+- WP [2020-09-17] Hypotheses: assigned memory locations
- WP [2020-09-11] Support for generalized @check ACSL annotations
- WP [2020-07-06] Removed debug keys "no-xxx-info" (subsumed by "shell")
- WP [2020-07-06] Option -wp-cache-env now defaults to false
--
GitLab