From 07119bafb93890b7518872b213c0acd292e94f60 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 24 Jan 2024 10:02:57 +0100
Subject: [PATCH] [wp] ChangeLog

---
 src/plugins/wp/Changelog | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index c16ff02fa86..e3b12412e74 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,10 @@
 Plugin WP <next-release>
 ###############################################################################
 
+- 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.
+
 ###############################################################################
 Plugin WP 28.0 (Nickel)
 ###############################################################################
-- 
GitLab