From 1264db956ed42f6b1db3f0d11b31e567aedb4a9f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 29 Feb 2024 16:05:17 +0100
Subject: [PATCH] add forgotten changelog entries
---
Changelog | 7 +++++++
doc/developer/changes.tex | 5 +++++
src/plugins/wp/Changelog | 6 ++++++
3 files changed, 18 insertions(+)
diff --git a/Changelog b/Changelog
index de9f173fc0c..85e1c8b4b82 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,13 @@
Open Source Release <next-release>
###############################################################################
+###############################################################################
+Open Source Release 28.1 (Nickel)
+###############################################################################
+
+-* Kernel [2024-01-18] Fix Cil.isConstant on lvalues with offset.
+-* Ivette [2024-01-11] Fix Ivette shell wrapper on macOS.
+
###############################################################################
Open Source Release 28.0 (Nickel)
###############################################################################
diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex
index d0ee8527735..2d0190d75df 100644
--- a/doc/developer/changes.tex
+++ b/doc/developer/changes.tex
@@ -7,6 +7,11 @@ This chapter summarizes the major changes in this documentation between each
%\section*{Frama-C+dev}
+\section*{28.0 (Nickel)}
+\begin{itemize}
+\item \textbf{Logical Annotations}: Add sections about specification generation.
+\end{itemize}
+
\section*{27.0 (Cobalt)}
\begin{itemize}
\item \textbf{Customizing the machine model}: Rewrite section according to new
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index c16ff02fa86..95fb1088811 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,12 @@
Plugin WP <next-release>
###############################################################################
+###############################################################################
+Plugin WP 28.1 (Nickel)
+###############################################################################
+
+-* WP [2024-01-29] Fix interactive prover startup.
+
###############################################################################
Plugin WP 28.0 (Nickel)
###############################################################################
--
GitLab