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/LICENSE b/doc/LICENSE index 7853a282859385c723e7b628bda7ee1a15969b4c..8ed8f731a2dfec09c5154e85a4cacd528e803440 100644 --- a/doc/LICENSE +++ b/doc/LICENSE @@ -1,4 +1,4 @@ -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) Except where otherwise noted, content on this directory is licensed under a 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/pdg/main.tex b/doc/pdg/main.tex index d26609139a62cc3e0499ed05a788369c175c7eb0..4bedb8ab5526ec481c2cdff9db8afebfd5d0f031 100644 --- a/doc/pdg/main.tex +++ b/doc/pdg/main.tex @@ -19,7 +19,7 @@ \end{tabular} \vfill \begin{flushleft} - \textcopyright 2007-2021 CEA LIST + \textcopyright 2007-2022 CEA LIST \end{flushleft} \end{titlepage} diff --git a/doc/slicing/main.tex b/doc/slicing/main.tex index 0cb9c021c99201e8303e67bdd0e565844c796cf2..c7f140780c77afb2915ef487e4c36bd2e561c239 100644 --- a/doc/slicing/main.tex +++ b/doc/slicing/main.tex @@ -21,7 +21,7 @@ \end{tabular} \vfill \begin{flushleft} - \textcopyright 2006-2021 CEA LIST + \textcopyright 2006-2022 CEA LIST \end{flushleft} \end{titlepage} 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/doc/userman/userman.tex b/doc/userman/userman.tex index 2a85088030b6064d1c025c47a3c0b8390fb55213..61ee7253a303b16b1f2a01e9bf29729cbc66bd7c 100644 --- a/doc/userman/userman.tex +++ b/doc/userman/userman.tex @@ -30,7 +30,7 @@ \end{tabular} \vfill \begin{flushleft} - \textcopyright 2009-2021 CEA LIST + \textcopyright 2009-2022 CEA LIST \end{flushleft} \end{titlepage} 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/e-acsl/doc/refman/main.tex b/src/plugins/e-acsl/doc/refman/main.tex index a0120215a889d748745dc5f456ef0d6d28a4de3b..b11d30f118e5d43228b31a5093c2c35987946a9e 100644 --- a/src/plugins/e-acsl/doc/refman/main.tex +++ b/src/plugins/e-acsl/doc/refman/main.tex @@ -56,7 +56,7 @@ \fcaffiliationen \vfill \begin{flushleft} - \textcopyright 2011-2021 CEA LIST + \textcopyright 2011-2022 CEA LIST This work has been initially supported by the `Hi-Lite' FUI project (FUI AAP 9). diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex index 42ddf61219b1db42b132da39217b615264ddd385..f44e40b6666b66e4477cf552e4644151e9f7bdee 100644 --- a/src/plugins/e-acsl/doc/userman/main.tex +++ b/src/plugins/e-acsl/doc/userman/main.tex @@ -27,7 +27,7 @@ \end{center} \vfill \begin{flushleft} - \textcopyright 2013-2021 CEA LIST + \textcopyright 2013-2022 CEA LIST %% %% This work has been supported by the `Hi-Lite' FUI project (FUI AAP 9). \end{flushleft} 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