From 218f587a6627c0688a62ae9de31b0e8a39da7cf4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 25 May 2020 13:50:55 +0200
Subject: [PATCH] [Eva] User manual: updates the allocation builtins list in
section 9.4.
---
doc/value/main.tex | 16 +++++++---------
1 file changed, 7 insertions(+), 9 deletions(-)
diff --git a/doc/value/main.tex b/doc/value/main.tex
index 212c430d7b9..0afcb450bff 100644
--- a/doc/value/main.tex
+++ b/doc/value/main.tex
@@ -5372,15 +5372,13 @@ They are listed here for completeness.
\begin{tabular}{llll}
\multicolumn{3}{c}{Dynamic memory allocation builtins} \\
\hline
- \lstinline|Frama_C_alloc_by_stack| &
- \lstinline|Frama_C_vla_alloc_by_stack| &
- \lstinline|Frama_C_malloc_fresh| \\
- \lstinline|Frama_C_calloc_by_stack| &
- \lstinline|Frama_C_calloc_fresh| &
- \lstinline|Frama_C_free| \\
- \lstinline|Frama_C_realloc| &
- \lstinline|Frama_C_realloc_multiple| &
- \lstinline|Frama_C_vla_free|
+ \lstinline|Frama_C_malloc| &
+ \lstinline|Frama_C_alloca| &
+ \lstinline|Frama_C_vla_alloc| \\
+ \lstinline|Frama_C_calloc| &
+ \lstinline|Frama_C_free| &
+ \lstinline|Frama_C_vla_free| \\
+ \lstinline|Frama_C_realloc|
\end{tabular}
\end{table}
--
GitLab