diff --git a/Changelog b/Changelog index a358a708a6f498d4479cc58bbf0a17646eb89f3d..ab911e7fdc1748ca7a904d3ab90e08b6ca595fc1 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 28243898984e95fb7e2eddd4779693ec13c04e8f..0947f4a02893f3d200358f978ad273f39299668f 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 ee078baa1ad21322661cd39c3a6f4d4271738097..1e16211ff66de3a704584024ed685609318314ec 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 887096d1497b000c0d32ff5044f19dd768b75897..cee7364cd1eed5e76edded1bdafcca3563b82e63 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 fa6af50188183e5b7549bc08c79ea7fb28c81007..e47be993a8a5a428b4bcb8f1a37874ac0289fc56 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