From f854b711c7a9985c641087ceb5276a40a2d21f2d Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 25 Mar 2024 17:25:01 +0100
Subject: [PATCH] ChangeLog
---
Changelog | 3 +++
src/plugins/wp/Changelog | 2 ++
2 files changed, 5 insertions(+)
diff --git a/Changelog b/Changelog
index c025fd79af4..d16a77beca8 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,9 @@
Open Source Release <next-release>
###############################################################################
+- Kernel [2024-03-26] Introduce \plugin:: prefix for ACSL extensions,
+ unknown extensions can be safely ignored when the
+ plug-in that handles them is not available
-* Variadic [2024-03-07] Make sure that generated functions have fresh names
o! Kernel [2024-03-07] More coherent naming of functions determining if a
symbol is a Frama-C built-in.
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index bf3d94cc895..98675f9071e 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,8 @@
Plugin WP <next-release>
###############################################################################
+- WP [2024-03-26] wp_nullable_args is renamed \wp::nullable_args to
+ follow kernel changes
- 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.
--
GitLab