Commit 1d7a1e88 authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl] Add support of bitwise operations in E-ACSL implementation manual

parent b3d5eb0d
......@@ -126,6 +126,12 @@ in \lstinline|\\at|}
\subsection*{Version \eacslpluginversion}
\begin{itemize}
\item \changeinsection{expressions}{support of bitwise operations}
\end{itemize}
\subsection*{Version Scandium-21}
\begin{itemize}
\item \changeinsection{reals}{support of rational numbers and operations}
\item \changeinsection{fn-behavior}{remove abrupt clauses from the list of
......
......@@ -48,7 +48,6 @@ currently implemented into the \framac's \eacsl plug-in.
\hline
terms
& \lstinline|\\true| and \lstinline|\\false| \\
& bitwise operators \\
& let binding \\
& t-sets \\
\hline
......
......@@ -4,11 +4,11 @@
| real ; real constants
| string ; string constants
| character ; character constants
\
bin-op ::= "+" | "-" | "*" | [ "/" ] | [ "%" ] | { "<<" } | { ">>" };
\
bin-op ::= "+" | "-" | "*" | [ "/" ] | [ "%" ] | "<<" | ">>";
| "==" | "!=" | "<=" | ">=" | ">" | "<" ;
| [ "&&" ] | [ "||" ] | [ "^^" ] ; boolean operations
| { "&" } | { "|" } | { "-->" } | { "<-->" } | "^" ; bitwise operations
| "&" | "|" | "-->" | "<-->" | "^" ; bitwise operations
\
unary-op ::= "+" | "-" ; unary plus and minus
| "!" ; boolean negation
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment