From e20697315ccf38e73636946a29640f292bad95d8 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 3 Oct 2023 15:10:14 +0200
Subject: [PATCH] [doc] fix typos + rewording
---
doc/eva/main.tex | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/eva/main.tex b/doc/eva/main.tex
index e02854e67d8..a234e444d07 100644
--- a/doc/eva/main.tex
+++ b/doc/eva/main.tex
@@ -4202,9 +4202,9 @@ to apply up to $N$ subdivisions when evaluating the following statement,
regardless of option \verb|-eva-subdivide-non-linear|.
Finally, \Eva is also able to subdivide the evaluation of an expression
-according to the values off an arbitrary number of lvalues;
+according to the values of an arbitrary number of lvalues;
thus, this subdivision mechanism can also improve the precision on expressions
-non-linear on several lvalues, such as \lstinline|x*x - 2*x*y + y*y|.
+that are non-linear on several lvalues, such as \lstinline|x*x - 2*x*y + y*y|.
\section{Analysis domains}
\label{sec:eva}
@@ -5503,7 +5503,7 @@ the \verb|-no-autoload-plugins| parameter).
\texttt{//@ widen\_hints <v>, <N>;} & Use constant \texttt{<N>} as a possible threshold for the widening
of variable \texttt{<v>}. & \ref{subsub:widen-hints}\tabularnewline
\midrule
- \texttt{//@ subdivide <N>;} & Subdivides up to \texttt{<N>} times the evaluation of non-linear expressions
+ \texttt{//@ subdivide <N>;} & Subdivide up to \texttt{<N>} times the evaluation of non-linear expressions
in the next statement. & \ref{subdividing-evaluation}\tabularnewline
\midrule
\texttt{//@ eva\_allocate <s>;} & Select a strategy to model dynamic allocation at the next statement. & \ref{malloc}\tabularnewline
--
GitLab