From 3401578e9f7f5f645f256a209d79f7fda58ab324 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 13 Jun 2023 09:36:48 +0200
Subject: [PATCH] [e-acsl] Refman: Version 1.19
---
src/plugins/e-acsl/doc/refman/changes_modern.tex | 11 ++++++++---
src/plugins/e-acsl/doc/refman/main.tex | 2 +-
2 files changed, 9 insertions(+), 4 deletions(-)
diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index d2b9699daef..a44b0e55677 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -3,13 +3,18 @@
% Next version
\subsection*{Version \version}
\begin{itemize}
- \item Update according to \acsl 1.18
+ \item Update according to \acsl 1.19
\begin{itemize}
\item \changeinsection{memory}{add the \lstinline|\\object_pointer| and
- \lstinline|\\pointer_comparable| built-in predicates.}
+ \lstinline|\\pointer_comparable| built-in predicates}
\end{itemize}
\end{itemize}
+\subsection*{Version 1.18}
+\begin{itemize}
+ \item No changes: changes in \acsl 1.18 do not impact \eacsl.
+\end{itemize}
+
\subsection*{Version 1.17}
\begin{itemize}
\item \changeinsection{expressions}{xor \lstinline|\^\^| is not lazy}
@@ -18,7 +23,7 @@
operations over them}
\item \changeinsection{locations}{new extended syntax for set comprehensions}
\item \changeinsection{at}{more restrictive scoping rule for \lstinline|\\at|
- constructs.}
+ constructs}
\item \changeinsection{logicspec}{add lemmas and data invariants}
\item \changeinsection{inductivepredicates}{add inductive predicates
experimentally: the accepted subset will be refined in a future version}
diff --git a/src/plugins/e-acsl/doc/refman/main.tex b/src/plugins/e-acsl/doc/refman/main.tex
index f23a0c27675..ac7c25222d0 100644
--- a/src/plugins/e-acsl/doc/refman/main.tex
+++ b/src/plugins/e-acsl/doc/refman/main.tex
@@ -24,7 +24,7 @@
\usepackage{alltt}
\makeindex
-\newcommand{\eacsllangversion}{1.18\xspace}
+\newcommand{\eacsllangversion}{1.19\xspace}
\newcommand{\version}{\eacsllangversion\xspace}
\renewcommand{\textfraction}{0.01}
--
GitLab