From 521289308f2ee7715a2d6f1d05900f206ef47f3e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Mon, 10 May 2021 11:41:18 +0200 Subject: [PATCH] [Eva] Manual: renames section 'advanced analyses' into 'analysis domains'. --- doc/value/main.tex | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/doc/value/main.tex b/doc/value/main.tex index 83a27c38540..33eac7470b5 100644 --- a/doc/value/main.tex +++ b/doc/value/main.tex @@ -3930,10 +3930,9 @@ analysis, both in terms of precision and performance. However, when dealing with large arrays and matrices, it is worth considering its usage. -\section{Advanced analyses} +\section{Analysis domains} \label{sec:eva} - This section presents the analysis \emph{domains} available to improve the precision on specific code constructs. They can (and probably should) be enabled at the beginning of the analysis. -- GitLab