From 552470b852ab10e9d58d5b82edef579aecc32704 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 27 Oct 2022 11:34:27 +0200
Subject: [PATCH] Adds headers for the upcoming Frama-C 26.0 (Iron) release in
 Changelogs.

---
 Changelog                        | 4 ++++
 doc/developer/changes.tex        | 7 ++++++-
 doc/userman/user-changes.tex     | 7 ++++++-
 src/plugins/e-acsl/doc/Changelog | 4 ++++
 src/plugins/wp/Changelog         | 4 ++++
 5 files changed, 24 insertions(+), 2 deletions(-)

diff --git a/Changelog b/Changelog
index a358a708a6f..ab911e7fdc1 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,10 @@
 Open Source Release <next-release>
 ##################################
 
+###############################
+Open Source Release 26.0 (Iron)
+###############################
+
 -   Ivette    [2022-10-26] After an Eva analysis with taint, the taint status of
               lvalues is shown in the Inspector component and in Dive graphs.
 -   Eva       [2022-10-25] The octagon domain can infer relations on the integer
diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex
index 28243898984..0947f4a0289 100644
--- a/doc/developer/changes.tex
+++ b/doc/developer/changes.tex
@@ -5,7 +5,12 @@
 This chapter summarizes the major changes in this documentation between each
 \framac release, from newest to oldest.
 
-\section*{dev}
+%\section*{dev}
+%\begin{itemize}
+%\item …
+%\end{itemize}
+
+\section*{26.0 Iron}
 \begin{itemize}
 \item \textbf{Journalisation}: Journalisation has been removed.
 \end{itemize}
diff --git a/doc/userman/user-changes.tex b/doc/userman/user-changes.tex
index ee078baa1ad..1e16211ff66 100644
--- a/doc/userman/user-changes.tex
+++ b/doc/userman/user-changes.tex
@@ -3,7 +3,12 @@
 This chapter summarizes the changes in this documentation between each \FramaC
 release. First we list changes of the last release.
 
-\section*{Frama-C+dev}
+%\section*{Frama-C+dev}
+%\begin{itemize}
+%\item …
+%\end{itemize}
+
+\section*{26.0 (Iron)}
 \begin{itemize}
 \item Removed Journalisation
 \item \textbf{Preparing the Sources:} added option \texttt{-ast-diff}.
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 887096d1497..cee7364cd1e 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,10 @@
 Plugin E-ACSL <next-release>
 ############################
 
+#########################
+Plugin E-ACSL 26.0 (Iron)
+#########################
+
 -* E-ACSL       [2022-11-08] Fix clashing name when a function with contract and a
                 logic function have the same name (frama-c/eacsl#204)
 - E-ACSL        [2022-11-08] Add support for functions returning a rational
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index fa6af501881..e47be993a8a 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,10 @@
 Plugin WP <next-release>
 ########################
 
+#####################
+Plugin WP 26.0 (Iron)
+#####################
+
 - WP          [2022-10-14] 'calls' ACSL extension moved into the kernel;
                            option -wp-dynamic marked as obsolete
 - WP          [2022-09-16] Upgrade to Why3 1.5.1
-- 
GitLab