From 7820f4199db40d1242a3188ec3ee8c4e2e0f0d3a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 12 Jul 2022 20:02:49 +0200
Subject: [PATCH] [Eva] Renames user manual directory from value to eva.
---
.gitattributes | 4 ++--
doc/Makefile | 4 ++--
doc/{value => eva}/.gitignore | 0
doc/{value => eva}/README | 0
doc/{value => eva}/biblio.bib | 0
doc/{value => eva}/cealistlogo.jpg | Bin
doc/{value => eva}/eva/function-call.pdf | Bin
doc/{value => eva}/eva/function-call.tex | 0
doc/{value => eva}/eva/tikz_call.tex | 0
doc/{value => eva}/examples/alarms/div.c | 0
doc/{value => eva}/examples/alarms/double_op_arg.c | 0
doc/{value => eva}/examples/alarms/double_op_res.c | 0
doc/{value => eva}/examples/alarms/invalid.c | 0
doc/{value => eva}/examples/alarms/invalid_bool.c | 0
doc/{value => eva}/examples/alarms/lshift.c | 0
doc/{value => eva}/examples/alarms/ov_float_int.c | 0
doc/{value => eva}/examples/alarms/overlap.c | 0
doc/{value => eva}/examples/alarms/pointer_arith.c | 0
.../examples/alarms/pointer_comparison.c | 0
.../examples/alarms/pointer_conversion.c | 0
doc/{value => eva}/examples/alarms/se.c | 0
doc/{value => eva}/examples/alarms/shift.c | 0
doc/{value => eva}/examples/alarms/uninitialized.c | 0
doc/{value => eva}/examples/alarms/valid_function.c | 0
doc/{value => eva}/examples/annotations_2.c | 0
doc/{value => eva}/examples/ari.c | 0
doc/{value => eva}/examples/array.c | 0
doc/{value => eva}/examples/array_array_2.c | 0
doc/{value => eva}/examples/bases.c | 0
doc/{value => eva}/examples/boucles.c | 0
doc/{value => eva}/examples/boucles1.c | 0
doc/{value => eva}/examples/boucles_run.c | 0
doc/{value => eva}/examples/case.c | 0
doc/{value => eva}/examples/default.c | 0
doc/{value => eva}/examples/deps.c | 0
doc/{value => eva}/examples/depth.c | 0
doc/{value => eva}/examples/double_assign.c | 0
.../examples/exemple_origin_arithmetic.c | 0
doc/{value => eva}/examples/false_al.c | 0
doc/{value => eva}/examples/fonctions.c | 0
doc/{value => eva}/examples/introduction.c | 0
doc/{value => eva}/examples/leaf.c | 0
doc/{value => eva}/examples/main.c | 0
doc/{value => eva}/examples/merge.c | 0
doc/{value => eva}/examples/misa.c | 0
doc/{value => eva}/examples/no_propagation.c | 0
doc/{value => eva}/examples/nondet.c | 0
doc/{value => eva}/examples/op_inputs.c | 0
doc/{value => eva}/examples/pad.c | 0
.../examples/parametrizing/context-depth.1.log | 0
.../examples/parametrizing/context-depth.2.log | 0
.../examples/parametrizing/context-depth.3.log | 0
.../examples/parametrizing/context-depth.c | 0
.../examples/parametrizing/context-depth2.c | 0
.../examples/parametrizing/context-depth3.c | 0
.../examples/parametrizing/context-width.c | 0
.../examples/parametrizing/context-width.log | 0
.../examples/parametrizing/dynamic-split.c | 0
.../examples/parametrizing/global-initial-values.c | 0
.../parametrizing/global-initial-values.log | 0
.../examples/parametrizing/ilevel.1.log | 0
.../examples/parametrizing/ilevel.2.log | 0
doc/{value => eva}/examples/parametrizing/ilevel.c | 0
.../examples/parametrizing/loop-unroll-const.c | 0
.../examples/parametrizing/loop-unroll-const.log | 0
.../examples/parametrizing/loop-unroll-insuf.c | 0
.../examples/parametrizing/loop-unroll-insuf.log | 0
.../examples/parametrizing/loop-unroll-nested.c | 0
.../examples/parametrizing/loop-unroll-nested.log | 0
doc/{value => eva}/examples/parametrizing/makefile | 0
.../examples/parametrizing/out-of-bound.c | 0
.../examples/parametrizing/out-of-bound.log | 0
.../examples/parametrizing/pragma-widen-hints.c | 0
.../examples/parametrizing/recursion-imprecise.c | 0
.../examples/parametrizing/recursion-imprecise.log | 0
.../examples/parametrizing/recursion-simple.c | 0
.../examples/parametrizing/recursion-simple.log | 0
.../examples/parametrizing/simple-main.c | 0
.../examples/parametrizing/simple-main.log | 0
.../examples/parametrizing/slevel.1.log | 0
.../examples/parametrizing/slevel.2.log | 0
doc/{value => eva}/examples/parametrizing/slevel.c | 0
.../examples/parametrizing/split-array.c | 0
.../examples/parametrizing/split-array.log | 0
.../examples/parametrizing/split-fabs.c | 0
.../examples/parametrizing/split-fabs.log | 0
.../examples/parametrizing/static-split.c | 0
.../examples/parametrizing/widen-hints.c | 0
.../examples/parametrizing/widen-hints.log | 0
doc/{value => eva}/examples/perf.c | 0
doc/{value => eva}/examples/posix.c | 0
doc/{value => eva}/examples/reduction.c | 0
doc/{value => eva}/examples/rte.c | 0
doc/{value => eva}/examples/s_t.c | 0
doc/{value => eva}/examples/sq.c | 0
doc/{value => eva}/examples/termination.c | 0
doc/{value => eva}/examples/vraie_al.c | 0
doc/{value => eva}/gui-images/RMB_click.svg | Bin
doc/{value => eva}/gui-images/eval-acsl.png | Bin
.../gui-images/gui-callstacks-annotated.png | Bin
doc/{value => eva}/gui-images/gui-callstacks.png | Bin
doc/{value => eva}/gui-images/gui-callstacks.svg | Bin
.../gui-images/gui-loop-to-unroll.png | Bin
.../gui-images/gui-red-alarms-panel.png | Bin
doc/{value => eva}/gui-images/gui-red-values.png | Bin
doc/{value => eva}/gui-images/gui-side-panel.png | Bin
.../gui-images/gui-values-annotated.png | Bin
doc/{value => eva}/gui-images/gui-values.png | Bin
doc/{value => eva}/gui-images/gui-values.svg | Bin
doc/{value => eva}/gui-images/gui1-annotated.pdf | Bin
doc/{value => eva}/gui-images/gui1-annotated.svg | Bin
doc/{value => eva}/gui-images/gui1.png | Bin
doc/{value => eva}/gui-images/gui2.png | Bin
doc/{value => eva}/gui-images/gui3.png | Bin
doc/{value => eva}/gui-images/gui4.png | Bin
doc/{value => eva}/gui-images/gui5.png | Bin
doc/{value => eva}/gui-images/studia.png | Bin
doc/{value => eva}/gui.tex | 0
doc/{value => eva}/main.tex | 0
doc/{value => eva}/makefile | 6 +++---
doc/{value => eva}/nonterm.tex | 0
doc/{value => eva}/slicing.tex | 0
doc/{value => eva}/tutorial/README | 0
.../tutorial/Reference_Implementation/SHA3api_ref.c | 0
.../tutorial/Reference_Implementation/SHA3api_ref.h | 0
.../tutorial/Reference_Implementation/brg_endian.h | 0
.../tutorial/Reference_Implementation/brg_types.h | 0
.../tutorial/Reference_Implementation/skein.c | 0
.../tutorial/Reference_Implementation/skein.h | 0
.../tutorial/Reference_Implementation/skein_block.c | 0
.../tutorial/Reference_Implementation/skein_debug.c | 0
.../tutorial/Reference_Implementation/skein_debug.h | 0
.../tutorial/Reference_Implementation/skein_port.h | 0
doc/{value => eva}/tutorial/lib.c | 0
doc/{value => eva}/tutorial/main_1.c | 0
doc/{value => eva}/tutorial/main_2.c | 0
doc/{value => eva}/tutorial/own_string.h | 0
doc/{value => eva}/watchpoints | 0
doc/release/build.tex | 4 ++--
139 files changed, 9 insertions(+), 9 deletions(-)
rename doc/{value => eva}/.gitignore (100%)
rename doc/{value => eva}/README (100%)
rename doc/{value => eva}/biblio.bib (100%)
rename doc/{value => eva}/cealistlogo.jpg (100%)
rename doc/{value => eva}/eva/function-call.pdf (100%)
rename doc/{value => eva}/eva/function-call.tex (100%)
rename doc/{value => eva}/eva/tikz_call.tex (100%)
rename doc/{value => eva}/examples/alarms/div.c (100%)
rename doc/{value => eva}/examples/alarms/double_op_arg.c (100%)
rename doc/{value => eva}/examples/alarms/double_op_res.c (100%)
rename doc/{value => eva}/examples/alarms/invalid.c (100%)
rename doc/{value => eva}/examples/alarms/invalid_bool.c (100%)
rename doc/{value => eva}/examples/alarms/lshift.c (100%)
rename doc/{value => eva}/examples/alarms/ov_float_int.c (100%)
rename doc/{value => eva}/examples/alarms/overlap.c (100%)
rename doc/{value => eva}/examples/alarms/pointer_arith.c (100%)
rename doc/{value => eva}/examples/alarms/pointer_comparison.c (100%)
rename doc/{value => eva}/examples/alarms/pointer_conversion.c (100%)
rename doc/{value => eva}/examples/alarms/se.c (100%)
rename doc/{value => eva}/examples/alarms/shift.c (100%)
rename doc/{value => eva}/examples/alarms/uninitialized.c (100%)
rename doc/{value => eva}/examples/alarms/valid_function.c (100%)
rename doc/{value => eva}/examples/annotations_2.c (100%)
rename doc/{value => eva}/examples/ari.c (100%)
rename doc/{value => eva}/examples/array.c (100%)
rename doc/{value => eva}/examples/array_array_2.c (100%)
rename doc/{value => eva}/examples/bases.c (100%)
rename doc/{value => eva}/examples/boucles.c (100%)
rename doc/{value => eva}/examples/boucles1.c (100%)
rename doc/{value => eva}/examples/boucles_run.c (100%)
rename doc/{value => eva}/examples/case.c (100%)
rename doc/{value => eva}/examples/default.c (100%)
rename doc/{value => eva}/examples/deps.c (100%)
rename doc/{value => eva}/examples/depth.c (100%)
rename doc/{value => eva}/examples/double_assign.c (100%)
rename doc/{value => eva}/examples/exemple_origin_arithmetic.c (100%)
rename doc/{value => eva}/examples/false_al.c (100%)
rename doc/{value => eva}/examples/fonctions.c (100%)
rename doc/{value => eva}/examples/introduction.c (100%)
rename doc/{value => eva}/examples/leaf.c (100%)
rename doc/{value => eva}/examples/main.c (100%)
rename doc/{value => eva}/examples/merge.c (100%)
rename doc/{value => eva}/examples/misa.c (100%)
rename doc/{value => eva}/examples/no_propagation.c (100%)
rename doc/{value => eva}/examples/nondet.c (100%)
rename doc/{value => eva}/examples/op_inputs.c (100%)
rename doc/{value => eva}/examples/pad.c (100%)
rename doc/{value => eva}/examples/parametrizing/context-depth.1.log (100%)
rename doc/{value => eva}/examples/parametrizing/context-depth.2.log (100%)
rename doc/{value => eva}/examples/parametrizing/context-depth.3.log (100%)
rename doc/{value => eva}/examples/parametrizing/context-depth.c (100%)
rename doc/{value => eva}/examples/parametrizing/context-depth2.c (100%)
rename doc/{value => eva}/examples/parametrizing/context-depth3.c (100%)
rename doc/{value => eva}/examples/parametrizing/context-width.c (100%)
rename doc/{value => eva}/examples/parametrizing/context-width.log (100%)
rename doc/{value => eva}/examples/parametrizing/dynamic-split.c (100%)
rename doc/{value => eva}/examples/parametrizing/global-initial-values.c (100%)
rename doc/{value => eva}/examples/parametrizing/global-initial-values.log (100%)
rename doc/{value => eva}/examples/parametrizing/ilevel.1.log (100%)
rename doc/{value => eva}/examples/parametrizing/ilevel.2.log (100%)
rename doc/{value => eva}/examples/parametrizing/ilevel.c (100%)
rename doc/{value => eva}/examples/parametrizing/loop-unroll-const.c (100%)
rename doc/{value => eva}/examples/parametrizing/loop-unroll-const.log (100%)
rename doc/{value => eva}/examples/parametrizing/loop-unroll-insuf.c (100%)
rename doc/{value => eva}/examples/parametrizing/loop-unroll-insuf.log (100%)
rename doc/{value => eva}/examples/parametrizing/loop-unroll-nested.c (100%)
rename doc/{value => eva}/examples/parametrizing/loop-unroll-nested.log (100%)
rename doc/{value => eva}/examples/parametrizing/makefile (100%)
rename doc/{value => eva}/examples/parametrizing/out-of-bound.c (100%)
rename doc/{value => eva}/examples/parametrizing/out-of-bound.log (100%)
rename doc/{value => eva}/examples/parametrizing/pragma-widen-hints.c (100%)
rename doc/{value => eva}/examples/parametrizing/recursion-imprecise.c (100%)
rename doc/{value => eva}/examples/parametrizing/recursion-imprecise.log (100%)
rename doc/{value => eva}/examples/parametrizing/recursion-simple.c (100%)
rename doc/{value => eva}/examples/parametrizing/recursion-simple.log (100%)
rename doc/{value => eva}/examples/parametrizing/simple-main.c (100%)
rename doc/{value => eva}/examples/parametrizing/simple-main.log (100%)
rename doc/{value => eva}/examples/parametrizing/slevel.1.log (100%)
rename doc/{value => eva}/examples/parametrizing/slevel.2.log (100%)
rename doc/{value => eva}/examples/parametrizing/slevel.c (100%)
rename doc/{value => eva}/examples/parametrizing/split-array.c (100%)
rename doc/{value => eva}/examples/parametrizing/split-array.log (100%)
rename doc/{value => eva}/examples/parametrizing/split-fabs.c (100%)
rename doc/{value => eva}/examples/parametrizing/split-fabs.log (100%)
rename doc/{value => eva}/examples/parametrizing/static-split.c (100%)
rename doc/{value => eva}/examples/parametrizing/widen-hints.c (100%)
rename doc/{value => eva}/examples/parametrizing/widen-hints.log (100%)
rename doc/{value => eva}/examples/perf.c (100%)
rename doc/{value => eva}/examples/posix.c (100%)
rename doc/{value => eva}/examples/reduction.c (100%)
rename doc/{value => eva}/examples/rte.c (100%)
rename doc/{value => eva}/examples/s_t.c (100%)
rename doc/{value => eva}/examples/sq.c (100%)
rename doc/{value => eva}/examples/termination.c (100%)
rename doc/{value => eva}/examples/vraie_al.c (100%)
rename doc/{value => eva}/gui-images/RMB_click.svg (100%)
rename doc/{value => eva}/gui-images/eval-acsl.png (100%)
rename doc/{value => eva}/gui-images/gui-callstacks-annotated.png (100%)
rename doc/{value => eva}/gui-images/gui-callstacks.png (100%)
rename doc/{value => eva}/gui-images/gui-callstacks.svg (100%)
rename doc/{value => eva}/gui-images/gui-loop-to-unroll.png (100%)
rename doc/{value => eva}/gui-images/gui-red-alarms-panel.png (100%)
rename doc/{value => eva}/gui-images/gui-red-values.png (100%)
rename doc/{value => eva}/gui-images/gui-side-panel.png (100%)
rename doc/{value => eva}/gui-images/gui-values-annotated.png (100%)
rename doc/{value => eva}/gui-images/gui-values.png (100%)
rename doc/{value => eva}/gui-images/gui-values.svg (100%)
rename doc/{value => eva}/gui-images/gui1-annotated.pdf (100%)
rename doc/{value => eva}/gui-images/gui1-annotated.svg (100%)
rename doc/{value => eva}/gui-images/gui1.png (100%)
rename doc/{value => eva}/gui-images/gui2.png (100%)
rename doc/{value => eva}/gui-images/gui3.png (100%)
rename doc/{value => eva}/gui-images/gui4.png (100%)
rename doc/{value => eva}/gui-images/gui5.png (100%)
rename doc/{value => eva}/gui-images/studia.png (100%)
rename doc/{value => eva}/gui.tex (100%)
rename doc/{value => eva}/main.tex (100%)
rename doc/{value => eva}/makefile (64%)
rename doc/{value => eva}/nonterm.tex (100%)
rename doc/{value => eva}/slicing.tex (100%)
rename doc/{value => eva}/tutorial/README (100%)
rename doc/{value => eva}/tutorial/Reference_Implementation/SHA3api_ref.c (100%)
rename doc/{value => eva}/tutorial/Reference_Implementation/SHA3api_ref.h (100%)
rename doc/{value => eva}/tutorial/Reference_Implementation/brg_endian.h (100%)
rename doc/{value => eva}/tutorial/Reference_Implementation/brg_types.h (100%)
rename doc/{value => eva}/tutorial/Reference_Implementation/skein.c (100%)
rename doc/{value => eva}/tutorial/Reference_Implementation/skein.h (100%)
rename doc/{value => eva}/tutorial/Reference_Implementation/skein_block.c (100%)
rename doc/{value => eva}/tutorial/Reference_Implementation/skein_debug.c (100%)
rename doc/{value => eva}/tutorial/Reference_Implementation/skein_debug.h (100%)
rename doc/{value => eva}/tutorial/Reference_Implementation/skein_port.h (100%)
rename doc/{value => eva}/tutorial/lib.c (100%)
rename doc/{value => eva}/tutorial/main_1.c (100%)
rename doc/{value => eva}/tutorial/main_2.c (100%)
rename doc/{value => eva}/tutorial/own_string.h (100%)
rename doc/{value => eva}/watchpoints (100%)
diff --git a/.gitattributes b/.gitattributes
index 81fb7ae21dc..cb4033a47d6 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -182,7 +182,7 @@ README* header_spec=.ignore
/doc/developer/METADOC.txt header_spec=.ignore
/doc/qualification/testing header_spec=.ignore
/doc/release/periodic-elements.txt header_spec=.ignore
-/doc/value/watchpoints header_spec=.ignore
+/doc/eva/watchpoints header_spec=.ignore
/doc/scope/M.v header_spec=.ignore
/doc/aorai/example/example* header_spec=.ignore
@@ -190,7 +190,7 @@ README* header_spec=.ignore
/doc/*.hva header_spec=.ignore
/doc/training/**/* header_spec=.ignore
-/doc/value/examples/parametrizing/*.log header_spec=.ignore
+/doc/eva/examples/parametrizing/*.log header_spec=.ignore
/doc/**/make* header_spec=.ignore
/doc/**/TODO header_spec=.ignore
/doc/**/*.bnf header_spec=.ignore
diff --git a/doc/Makefile b/doc/Makefile
index 929dc0b7326..bf7e70ab044 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -92,7 +92,7 @@ clean::
$(MAKE) -C developer dist-clean
$(MAKE) -C rte clean
$(MAKE) -C aorai clean
- $(MAKE) -C value clean
+ $(MAKE) -C eva clean
$(MAKE) -C metrics clean
$(MAKE) -C ../src/plugins/wp/doc/manual clean
@@ -123,7 +123,7 @@ manuals/plugin-development-guide$(FC_SUFFIX).pdf: developer/developer.pdf
manuals/rte-manual$(FC_SUFFIX).pdf: rte/main.pdf
manuals/aorai-manual$(FC_SUFFIX).pdf: aorai/main.pdf
manuals/aorai-example$(FC_SUFFIX).tgz: aorai/aorai-example.tgz
-manuals/eva-manual$(FC_SUFFIX).pdf: value/main.pdf
+manuals/eva-manual$(FC_SUFFIX).pdf: eva/main.pdf
manuals/metrics-manual$(FC_SUFFIX).pdf: metrics/metrics.pdf
manuals/wp-manual$(FC_SUFFIX).pdf: ../src/plugins/wp/doc/manual/wp.pdf
diff --git a/doc/value/.gitignore b/doc/eva/.gitignore
similarity index 100%
rename from doc/value/.gitignore
rename to doc/eva/.gitignore
diff --git a/doc/value/README b/doc/eva/README
similarity index 100%
rename from doc/value/README
rename to doc/eva/README
diff --git a/doc/value/biblio.bib b/doc/eva/biblio.bib
similarity index 100%
rename from doc/value/biblio.bib
rename to doc/eva/biblio.bib
diff --git a/doc/value/cealistlogo.jpg b/doc/eva/cealistlogo.jpg
similarity index 100%
rename from doc/value/cealistlogo.jpg
rename to doc/eva/cealistlogo.jpg
diff --git a/doc/value/eva/function-call.pdf b/doc/eva/eva/function-call.pdf
similarity index 100%
rename from doc/value/eva/function-call.pdf
rename to doc/eva/eva/function-call.pdf
diff --git a/doc/value/eva/function-call.tex b/doc/eva/eva/function-call.tex
similarity index 100%
rename from doc/value/eva/function-call.tex
rename to doc/eva/eva/function-call.tex
diff --git a/doc/value/eva/tikz_call.tex b/doc/eva/eva/tikz_call.tex
similarity index 100%
rename from doc/value/eva/tikz_call.tex
rename to doc/eva/eva/tikz_call.tex
diff --git a/doc/value/examples/alarms/div.c b/doc/eva/examples/alarms/div.c
similarity index 100%
rename from doc/value/examples/alarms/div.c
rename to doc/eva/examples/alarms/div.c
diff --git a/doc/value/examples/alarms/double_op_arg.c b/doc/eva/examples/alarms/double_op_arg.c
similarity index 100%
rename from doc/value/examples/alarms/double_op_arg.c
rename to doc/eva/examples/alarms/double_op_arg.c
diff --git a/doc/value/examples/alarms/double_op_res.c b/doc/eva/examples/alarms/double_op_res.c
similarity index 100%
rename from doc/value/examples/alarms/double_op_res.c
rename to doc/eva/examples/alarms/double_op_res.c
diff --git a/doc/value/examples/alarms/invalid.c b/doc/eva/examples/alarms/invalid.c
similarity index 100%
rename from doc/value/examples/alarms/invalid.c
rename to doc/eva/examples/alarms/invalid.c
diff --git a/doc/value/examples/alarms/invalid_bool.c b/doc/eva/examples/alarms/invalid_bool.c
similarity index 100%
rename from doc/value/examples/alarms/invalid_bool.c
rename to doc/eva/examples/alarms/invalid_bool.c
diff --git a/doc/value/examples/alarms/lshift.c b/doc/eva/examples/alarms/lshift.c
similarity index 100%
rename from doc/value/examples/alarms/lshift.c
rename to doc/eva/examples/alarms/lshift.c
diff --git a/doc/value/examples/alarms/ov_float_int.c b/doc/eva/examples/alarms/ov_float_int.c
similarity index 100%
rename from doc/value/examples/alarms/ov_float_int.c
rename to doc/eva/examples/alarms/ov_float_int.c
diff --git a/doc/value/examples/alarms/overlap.c b/doc/eva/examples/alarms/overlap.c
similarity index 100%
rename from doc/value/examples/alarms/overlap.c
rename to doc/eva/examples/alarms/overlap.c
diff --git a/doc/value/examples/alarms/pointer_arith.c b/doc/eva/examples/alarms/pointer_arith.c
similarity index 100%
rename from doc/value/examples/alarms/pointer_arith.c
rename to doc/eva/examples/alarms/pointer_arith.c
diff --git a/doc/value/examples/alarms/pointer_comparison.c b/doc/eva/examples/alarms/pointer_comparison.c
similarity index 100%
rename from doc/value/examples/alarms/pointer_comparison.c
rename to doc/eva/examples/alarms/pointer_comparison.c
diff --git a/doc/value/examples/alarms/pointer_conversion.c b/doc/eva/examples/alarms/pointer_conversion.c
similarity index 100%
rename from doc/value/examples/alarms/pointer_conversion.c
rename to doc/eva/examples/alarms/pointer_conversion.c
diff --git a/doc/value/examples/alarms/se.c b/doc/eva/examples/alarms/se.c
similarity index 100%
rename from doc/value/examples/alarms/se.c
rename to doc/eva/examples/alarms/se.c
diff --git a/doc/value/examples/alarms/shift.c b/doc/eva/examples/alarms/shift.c
similarity index 100%
rename from doc/value/examples/alarms/shift.c
rename to doc/eva/examples/alarms/shift.c
diff --git a/doc/value/examples/alarms/uninitialized.c b/doc/eva/examples/alarms/uninitialized.c
similarity index 100%
rename from doc/value/examples/alarms/uninitialized.c
rename to doc/eva/examples/alarms/uninitialized.c
diff --git a/doc/value/examples/alarms/valid_function.c b/doc/eva/examples/alarms/valid_function.c
similarity index 100%
rename from doc/value/examples/alarms/valid_function.c
rename to doc/eva/examples/alarms/valid_function.c
diff --git a/doc/value/examples/annotations_2.c b/doc/eva/examples/annotations_2.c
similarity index 100%
rename from doc/value/examples/annotations_2.c
rename to doc/eva/examples/annotations_2.c
diff --git a/doc/value/examples/ari.c b/doc/eva/examples/ari.c
similarity index 100%
rename from doc/value/examples/ari.c
rename to doc/eva/examples/ari.c
diff --git a/doc/value/examples/array.c b/doc/eva/examples/array.c
similarity index 100%
rename from doc/value/examples/array.c
rename to doc/eva/examples/array.c
diff --git a/doc/value/examples/array_array_2.c b/doc/eva/examples/array_array_2.c
similarity index 100%
rename from doc/value/examples/array_array_2.c
rename to doc/eva/examples/array_array_2.c
diff --git a/doc/value/examples/bases.c b/doc/eva/examples/bases.c
similarity index 100%
rename from doc/value/examples/bases.c
rename to doc/eva/examples/bases.c
diff --git a/doc/value/examples/boucles.c b/doc/eva/examples/boucles.c
similarity index 100%
rename from doc/value/examples/boucles.c
rename to doc/eva/examples/boucles.c
diff --git a/doc/value/examples/boucles1.c b/doc/eva/examples/boucles1.c
similarity index 100%
rename from doc/value/examples/boucles1.c
rename to doc/eva/examples/boucles1.c
diff --git a/doc/value/examples/boucles_run.c b/doc/eva/examples/boucles_run.c
similarity index 100%
rename from doc/value/examples/boucles_run.c
rename to doc/eva/examples/boucles_run.c
diff --git a/doc/value/examples/case.c b/doc/eva/examples/case.c
similarity index 100%
rename from doc/value/examples/case.c
rename to doc/eva/examples/case.c
diff --git a/doc/value/examples/default.c b/doc/eva/examples/default.c
similarity index 100%
rename from doc/value/examples/default.c
rename to doc/eva/examples/default.c
diff --git a/doc/value/examples/deps.c b/doc/eva/examples/deps.c
similarity index 100%
rename from doc/value/examples/deps.c
rename to doc/eva/examples/deps.c
diff --git a/doc/value/examples/depth.c b/doc/eva/examples/depth.c
similarity index 100%
rename from doc/value/examples/depth.c
rename to doc/eva/examples/depth.c
diff --git a/doc/value/examples/double_assign.c b/doc/eva/examples/double_assign.c
similarity index 100%
rename from doc/value/examples/double_assign.c
rename to doc/eva/examples/double_assign.c
diff --git a/doc/value/examples/exemple_origin_arithmetic.c b/doc/eva/examples/exemple_origin_arithmetic.c
similarity index 100%
rename from doc/value/examples/exemple_origin_arithmetic.c
rename to doc/eva/examples/exemple_origin_arithmetic.c
diff --git a/doc/value/examples/false_al.c b/doc/eva/examples/false_al.c
similarity index 100%
rename from doc/value/examples/false_al.c
rename to doc/eva/examples/false_al.c
diff --git a/doc/value/examples/fonctions.c b/doc/eva/examples/fonctions.c
similarity index 100%
rename from doc/value/examples/fonctions.c
rename to doc/eva/examples/fonctions.c
diff --git a/doc/value/examples/introduction.c b/doc/eva/examples/introduction.c
similarity index 100%
rename from doc/value/examples/introduction.c
rename to doc/eva/examples/introduction.c
diff --git a/doc/value/examples/leaf.c b/doc/eva/examples/leaf.c
similarity index 100%
rename from doc/value/examples/leaf.c
rename to doc/eva/examples/leaf.c
diff --git a/doc/value/examples/main.c b/doc/eva/examples/main.c
similarity index 100%
rename from doc/value/examples/main.c
rename to doc/eva/examples/main.c
diff --git a/doc/value/examples/merge.c b/doc/eva/examples/merge.c
similarity index 100%
rename from doc/value/examples/merge.c
rename to doc/eva/examples/merge.c
diff --git a/doc/value/examples/misa.c b/doc/eva/examples/misa.c
similarity index 100%
rename from doc/value/examples/misa.c
rename to doc/eva/examples/misa.c
diff --git a/doc/value/examples/no_propagation.c b/doc/eva/examples/no_propagation.c
similarity index 100%
rename from doc/value/examples/no_propagation.c
rename to doc/eva/examples/no_propagation.c
diff --git a/doc/value/examples/nondet.c b/doc/eva/examples/nondet.c
similarity index 100%
rename from doc/value/examples/nondet.c
rename to doc/eva/examples/nondet.c
diff --git a/doc/value/examples/op_inputs.c b/doc/eva/examples/op_inputs.c
similarity index 100%
rename from doc/value/examples/op_inputs.c
rename to doc/eva/examples/op_inputs.c
diff --git a/doc/value/examples/pad.c b/doc/eva/examples/pad.c
similarity index 100%
rename from doc/value/examples/pad.c
rename to doc/eva/examples/pad.c
diff --git a/doc/value/examples/parametrizing/context-depth.1.log b/doc/eva/examples/parametrizing/context-depth.1.log
similarity index 100%
rename from doc/value/examples/parametrizing/context-depth.1.log
rename to doc/eva/examples/parametrizing/context-depth.1.log
diff --git a/doc/value/examples/parametrizing/context-depth.2.log b/doc/eva/examples/parametrizing/context-depth.2.log
similarity index 100%
rename from doc/value/examples/parametrizing/context-depth.2.log
rename to doc/eva/examples/parametrizing/context-depth.2.log
diff --git a/doc/value/examples/parametrizing/context-depth.3.log b/doc/eva/examples/parametrizing/context-depth.3.log
similarity index 100%
rename from doc/value/examples/parametrizing/context-depth.3.log
rename to doc/eva/examples/parametrizing/context-depth.3.log
diff --git a/doc/value/examples/parametrizing/context-depth.c b/doc/eva/examples/parametrizing/context-depth.c
similarity index 100%
rename from doc/value/examples/parametrizing/context-depth.c
rename to doc/eva/examples/parametrizing/context-depth.c
diff --git a/doc/value/examples/parametrizing/context-depth2.c b/doc/eva/examples/parametrizing/context-depth2.c
similarity index 100%
rename from doc/value/examples/parametrizing/context-depth2.c
rename to doc/eva/examples/parametrizing/context-depth2.c
diff --git a/doc/value/examples/parametrizing/context-depth3.c b/doc/eva/examples/parametrizing/context-depth3.c
similarity index 100%
rename from doc/value/examples/parametrizing/context-depth3.c
rename to doc/eva/examples/parametrizing/context-depth3.c
diff --git a/doc/value/examples/parametrizing/context-width.c b/doc/eva/examples/parametrizing/context-width.c
similarity index 100%
rename from doc/value/examples/parametrizing/context-width.c
rename to doc/eva/examples/parametrizing/context-width.c
diff --git a/doc/value/examples/parametrizing/context-width.log b/doc/eva/examples/parametrizing/context-width.log
similarity index 100%
rename from doc/value/examples/parametrizing/context-width.log
rename to doc/eva/examples/parametrizing/context-width.log
diff --git a/doc/value/examples/parametrizing/dynamic-split.c b/doc/eva/examples/parametrizing/dynamic-split.c
similarity index 100%
rename from doc/value/examples/parametrizing/dynamic-split.c
rename to doc/eva/examples/parametrizing/dynamic-split.c
diff --git a/doc/value/examples/parametrizing/global-initial-values.c b/doc/eva/examples/parametrizing/global-initial-values.c
similarity index 100%
rename from doc/value/examples/parametrizing/global-initial-values.c
rename to doc/eva/examples/parametrizing/global-initial-values.c
diff --git a/doc/value/examples/parametrizing/global-initial-values.log b/doc/eva/examples/parametrizing/global-initial-values.log
similarity index 100%
rename from doc/value/examples/parametrizing/global-initial-values.log
rename to doc/eva/examples/parametrizing/global-initial-values.log
diff --git a/doc/value/examples/parametrizing/ilevel.1.log b/doc/eva/examples/parametrizing/ilevel.1.log
similarity index 100%
rename from doc/value/examples/parametrizing/ilevel.1.log
rename to doc/eva/examples/parametrizing/ilevel.1.log
diff --git a/doc/value/examples/parametrizing/ilevel.2.log b/doc/eva/examples/parametrizing/ilevel.2.log
similarity index 100%
rename from doc/value/examples/parametrizing/ilevel.2.log
rename to doc/eva/examples/parametrizing/ilevel.2.log
diff --git a/doc/value/examples/parametrizing/ilevel.c b/doc/eva/examples/parametrizing/ilevel.c
similarity index 100%
rename from doc/value/examples/parametrizing/ilevel.c
rename to doc/eva/examples/parametrizing/ilevel.c
diff --git a/doc/value/examples/parametrizing/loop-unroll-const.c b/doc/eva/examples/parametrizing/loop-unroll-const.c
similarity index 100%
rename from doc/value/examples/parametrizing/loop-unroll-const.c
rename to doc/eva/examples/parametrizing/loop-unroll-const.c
diff --git a/doc/value/examples/parametrizing/loop-unroll-const.log b/doc/eva/examples/parametrizing/loop-unroll-const.log
similarity index 100%
rename from doc/value/examples/parametrizing/loop-unroll-const.log
rename to doc/eva/examples/parametrizing/loop-unroll-const.log
diff --git a/doc/value/examples/parametrizing/loop-unroll-insuf.c b/doc/eva/examples/parametrizing/loop-unroll-insuf.c
similarity index 100%
rename from doc/value/examples/parametrizing/loop-unroll-insuf.c
rename to doc/eva/examples/parametrizing/loop-unroll-insuf.c
diff --git a/doc/value/examples/parametrizing/loop-unroll-insuf.log b/doc/eva/examples/parametrizing/loop-unroll-insuf.log
similarity index 100%
rename from doc/value/examples/parametrizing/loop-unroll-insuf.log
rename to doc/eva/examples/parametrizing/loop-unroll-insuf.log
diff --git a/doc/value/examples/parametrizing/loop-unroll-nested.c b/doc/eva/examples/parametrizing/loop-unroll-nested.c
similarity index 100%
rename from doc/value/examples/parametrizing/loop-unroll-nested.c
rename to doc/eva/examples/parametrizing/loop-unroll-nested.c
diff --git a/doc/value/examples/parametrizing/loop-unroll-nested.log b/doc/eva/examples/parametrizing/loop-unroll-nested.log
similarity index 100%
rename from doc/value/examples/parametrizing/loop-unroll-nested.log
rename to doc/eva/examples/parametrizing/loop-unroll-nested.log
diff --git a/doc/value/examples/parametrizing/makefile b/doc/eva/examples/parametrizing/makefile
similarity index 100%
rename from doc/value/examples/parametrizing/makefile
rename to doc/eva/examples/parametrizing/makefile
diff --git a/doc/value/examples/parametrizing/out-of-bound.c b/doc/eva/examples/parametrizing/out-of-bound.c
similarity index 100%
rename from doc/value/examples/parametrizing/out-of-bound.c
rename to doc/eva/examples/parametrizing/out-of-bound.c
diff --git a/doc/value/examples/parametrizing/out-of-bound.log b/doc/eva/examples/parametrizing/out-of-bound.log
similarity index 100%
rename from doc/value/examples/parametrizing/out-of-bound.log
rename to doc/eva/examples/parametrizing/out-of-bound.log
diff --git a/doc/value/examples/parametrizing/pragma-widen-hints.c b/doc/eva/examples/parametrizing/pragma-widen-hints.c
similarity index 100%
rename from doc/value/examples/parametrizing/pragma-widen-hints.c
rename to doc/eva/examples/parametrizing/pragma-widen-hints.c
diff --git a/doc/value/examples/parametrizing/recursion-imprecise.c b/doc/eva/examples/parametrizing/recursion-imprecise.c
similarity index 100%
rename from doc/value/examples/parametrizing/recursion-imprecise.c
rename to doc/eva/examples/parametrizing/recursion-imprecise.c
diff --git a/doc/value/examples/parametrizing/recursion-imprecise.log b/doc/eva/examples/parametrizing/recursion-imprecise.log
similarity index 100%
rename from doc/value/examples/parametrizing/recursion-imprecise.log
rename to doc/eva/examples/parametrizing/recursion-imprecise.log
diff --git a/doc/value/examples/parametrizing/recursion-simple.c b/doc/eva/examples/parametrizing/recursion-simple.c
similarity index 100%
rename from doc/value/examples/parametrizing/recursion-simple.c
rename to doc/eva/examples/parametrizing/recursion-simple.c
diff --git a/doc/value/examples/parametrizing/recursion-simple.log b/doc/eva/examples/parametrizing/recursion-simple.log
similarity index 100%
rename from doc/value/examples/parametrizing/recursion-simple.log
rename to doc/eva/examples/parametrizing/recursion-simple.log
diff --git a/doc/value/examples/parametrizing/simple-main.c b/doc/eva/examples/parametrizing/simple-main.c
similarity index 100%
rename from doc/value/examples/parametrizing/simple-main.c
rename to doc/eva/examples/parametrizing/simple-main.c
diff --git a/doc/value/examples/parametrizing/simple-main.log b/doc/eva/examples/parametrizing/simple-main.log
similarity index 100%
rename from doc/value/examples/parametrizing/simple-main.log
rename to doc/eva/examples/parametrizing/simple-main.log
diff --git a/doc/value/examples/parametrizing/slevel.1.log b/doc/eva/examples/parametrizing/slevel.1.log
similarity index 100%
rename from doc/value/examples/parametrizing/slevel.1.log
rename to doc/eva/examples/parametrizing/slevel.1.log
diff --git a/doc/value/examples/parametrizing/slevel.2.log b/doc/eva/examples/parametrizing/slevel.2.log
similarity index 100%
rename from doc/value/examples/parametrizing/slevel.2.log
rename to doc/eva/examples/parametrizing/slevel.2.log
diff --git a/doc/value/examples/parametrizing/slevel.c b/doc/eva/examples/parametrizing/slevel.c
similarity index 100%
rename from doc/value/examples/parametrizing/slevel.c
rename to doc/eva/examples/parametrizing/slevel.c
diff --git a/doc/value/examples/parametrizing/split-array.c b/doc/eva/examples/parametrizing/split-array.c
similarity index 100%
rename from doc/value/examples/parametrizing/split-array.c
rename to doc/eva/examples/parametrizing/split-array.c
diff --git a/doc/value/examples/parametrizing/split-array.log b/doc/eva/examples/parametrizing/split-array.log
similarity index 100%
rename from doc/value/examples/parametrizing/split-array.log
rename to doc/eva/examples/parametrizing/split-array.log
diff --git a/doc/value/examples/parametrizing/split-fabs.c b/doc/eva/examples/parametrizing/split-fabs.c
similarity index 100%
rename from doc/value/examples/parametrizing/split-fabs.c
rename to doc/eva/examples/parametrizing/split-fabs.c
diff --git a/doc/value/examples/parametrizing/split-fabs.log b/doc/eva/examples/parametrizing/split-fabs.log
similarity index 100%
rename from doc/value/examples/parametrizing/split-fabs.log
rename to doc/eva/examples/parametrizing/split-fabs.log
diff --git a/doc/value/examples/parametrizing/static-split.c b/doc/eva/examples/parametrizing/static-split.c
similarity index 100%
rename from doc/value/examples/parametrizing/static-split.c
rename to doc/eva/examples/parametrizing/static-split.c
diff --git a/doc/value/examples/parametrizing/widen-hints.c b/doc/eva/examples/parametrizing/widen-hints.c
similarity index 100%
rename from doc/value/examples/parametrizing/widen-hints.c
rename to doc/eva/examples/parametrizing/widen-hints.c
diff --git a/doc/value/examples/parametrizing/widen-hints.log b/doc/eva/examples/parametrizing/widen-hints.log
similarity index 100%
rename from doc/value/examples/parametrizing/widen-hints.log
rename to doc/eva/examples/parametrizing/widen-hints.log
diff --git a/doc/value/examples/perf.c b/doc/eva/examples/perf.c
similarity index 100%
rename from doc/value/examples/perf.c
rename to doc/eva/examples/perf.c
diff --git a/doc/value/examples/posix.c b/doc/eva/examples/posix.c
similarity index 100%
rename from doc/value/examples/posix.c
rename to doc/eva/examples/posix.c
diff --git a/doc/value/examples/reduction.c b/doc/eva/examples/reduction.c
similarity index 100%
rename from doc/value/examples/reduction.c
rename to doc/eva/examples/reduction.c
diff --git a/doc/value/examples/rte.c b/doc/eva/examples/rte.c
similarity index 100%
rename from doc/value/examples/rte.c
rename to doc/eva/examples/rte.c
diff --git a/doc/value/examples/s_t.c b/doc/eva/examples/s_t.c
similarity index 100%
rename from doc/value/examples/s_t.c
rename to doc/eva/examples/s_t.c
diff --git a/doc/value/examples/sq.c b/doc/eva/examples/sq.c
similarity index 100%
rename from doc/value/examples/sq.c
rename to doc/eva/examples/sq.c
diff --git a/doc/value/examples/termination.c b/doc/eva/examples/termination.c
similarity index 100%
rename from doc/value/examples/termination.c
rename to doc/eva/examples/termination.c
diff --git a/doc/value/examples/vraie_al.c b/doc/eva/examples/vraie_al.c
similarity index 100%
rename from doc/value/examples/vraie_al.c
rename to doc/eva/examples/vraie_al.c
diff --git a/doc/value/gui-images/RMB_click.svg b/doc/eva/gui-images/RMB_click.svg
similarity index 100%
rename from doc/value/gui-images/RMB_click.svg
rename to doc/eva/gui-images/RMB_click.svg
diff --git a/doc/value/gui-images/eval-acsl.png b/doc/eva/gui-images/eval-acsl.png
similarity index 100%
rename from doc/value/gui-images/eval-acsl.png
rename to doc/eva/gui-images/eval-acsl.png
diff --git a/doc/value/gui-images/gui-callstacks-annotated.png b/doc/eva/gui-images/gui-callstacks-annotated.png
similarity index 100%
rename from doc/value/gui-images/gui-callstacks-annotated.png
rename to doc/eva/gui-images/gui-callstacks-annotated.png
diff --git a/doc/value/gui-images/gui-callstacks.png b/doc/eva/gui-images/gui-callstacks.png
similarity index 100%
rename from doc/value/gui-images/gui-callstacks.png
rename to doc/eva/gui-images/gui-callstacks.png
diff --git a/doc/value/gui-images/gui-callstacks.svg b/doc/eva/gui-images/gui-callstacks.svg
similarity index 100%
rename from doc/value/gui-images/gui-callstacks.svg
rename to doc/eva/gui-images/gui-callstacks.svg
diff --git a/doc/value/gui-images/gui-loop-to-unroll.png b/doc/eva/gui-images/gui-loop-to-unroll.png
similarity index 100%
rename from doc/value/gui-images/gui-loop-to-unroll.png
rename to doc/eva/gui-images/gui-loop-to-unroll.png
diff --git a/doc/value/gui-images/gui-red-alarms-panel.png b/doc/eva/gui-images/gui-red-alarms-panel.png
similarity index 100%
rename from doc/value/gui-images/gui-red-alarms-panel.png
rename to doc/eva/gui-images/gui-red-alarms-panel.png
diff --git a/doc/value/gui-images/gui-red-values.png b/doc/eva/gui-images/gui-red-values.png
similarity index 100%
rename from doc/value/gui-images/gui-red-values.png
rename to doc/eva/gui-images/gui-red-values.png
diff --git a/doc/value/gui-images/gui-side-panel.png b/doc/eva/gui-images/gui-side-panel.png
similarity index 100%
rename from doc/value/gui-images/gui-side-panel.png
rename to doc/eva/gui-images/gui-side-panel.png
diff --git a/doc/value/gui-images/gui-values-annotated.png b/doc/eva/gui-images/gui-values-annotated.png
similarity index 100%
rename from doc/value/gui-images/gui-values-annotated.png
rename to doc/eva/gui-images/gui-values-annotated.png
diff --git a/doc/value/gui-images/gui-values.png b/doc/eva/gui-images/gui-values.png
similarity index 100%
rename from doc/value/gui-images/gui-values.png
rename to doc/eva/gui-images/gui-values.png
diff --git a/doc/value/gui-images/gui-values.svg b/doc/eva/gui-images/gui-values.svg
similarity index 100%
rename from doc/value/gui-images/gui-values.svg
rename to doc/eva/gui-images/gui-values.svg
diff --git a/doc/value/gui-images/gui1-annotated.pdf b/doc/eva/gui-images/gui1-annotated.pdf
similarity index 100%
rename from doc/value/gui-images/gui1-annotated.pdf
rename to doc/eva/gui-images/gui1-annotated.pdf
diff --git a/doc/value/gui-images/gui1-annotated.svg b/doc/eva/gui-images/gui1-annotated.svg
similarity index 100%
rename from doc/value/gui-images/gui1-annotated.svg
rename to doc/eva/gui-images/gui1-annotated.svg
diff --git a/doc/value/gui-images/gui1.png b/doc/eva/gui-images/gui1.png
similarity index 100%
rename from doc/value/gui-images/gui1.png
rename to doc/eva/gui-images/gui1.png
diff --git a/doc/value/gui-images/gui2.png b/doc/eva/gui-images/gui2.png
similarity index 100%
rename from doc/value/gui-images/gui2.png
rename to doc/eva/gui-images/gui2.png
diff --git a/doc/value/gui-images/gui3.png b/doc/eva/gui-images/gui3.png
similarity index 100%
rename from doc/value/gui-images/gui3.png
rename to doc/eva/gui-images/gui3.png
diff --git a/doc/value/gui-images/gui4.png b/doc/eva/gui-images/gui4.png
similarity index 100%
rename from doc/value/gui-images/gui4.png
rename to doc/eva/gui-images/gui4.png
diff --git a/doc/value/gui-images/gui5.png b/doc/eva/gui-images/gui5.png
similarity index 100%
rename from doc/value/gui-images/gui5.png
rename to doc/eva/gui-images/gui5.png
diff --git a/doc/value/gui-images/studia.png b/doc/eva/gui-images/studia.png
similarity index 100%
rename from doc/value/gui-images/studia.png
rename to doc/eva/gui-images/studia.png
diff --git a/doc/value/gui.tex b/doc/eva/gui.tex
similarity index 100%
rename from doc/value/gui.tex
rename to doc/eva/gui.tex
diff --git a/doc/value/main.tex b/doc/eva/main.tex
similarity index 100%
rename from doc/value/main.tex
rename to doc/eva/main.tex
diff --git a/doc/value/makefile b/doc/eva/makefile
similarity index 64%
rename from doc/value/makefile
rename to doc/eva/makefile
index 565c542208f..554d1d7065c 100644
--- a/doc/value/makefile
+++ b/doc/eva/makefile
@@ -4,7 +4,7 @@ all: main.pdf
include ../MakeLaTeXModern
-# by default, the Value manual corresponds to the open-source release
+# by default, the Eva manual corresponds to the open-source release
OPENSOURCE?=yes
export OPENSOURCE
@@ -13,9 +13,9 @@ main.pdf: ../../VERSION examples/**.c
$(MAKE) $(FRAMAC_MODERN)
latexmk -pdf main.tex
ifeq ($(OPENSOURCE),no)
- @echo "Generated CLOSED-SOURCE Value manual (OPENSOURCE=$(OPENSOURCE))"
+ @echo "Generated CLOSED-SOURCE Eva manual (OPENSOURCE=$(OPENSOURCE))"
else
- @echo "Generated OPEN-SOURCE Value manual (OPENSOURCE=$(OPENSOURCE))"
+ @echo "Generated OPEN-SOURCE Eva manual (OPENSOURCE=$(OPENSOURCE))"
endif
clean:
diff --git a/doc/value/nonterm.tex b/doc/eva/nonterm.tex
similarity index 100%
rename from doc/value/nonterm.tex
rename to doc/eva/nonterm.tex
diff --git a/doc/value/slicing.tex b/doc/eva/slicing.tex
similarity index 100%
rename from doc/value/slicing.tex
rename to doc/eva/slicing.tex
diff --git a/doc/value/tutorial/README b/doc/eva/tutorial/README
similarity index 100%
rename from doc/value/tutorial/README
rename to doc/eva/tutorial/README
diff --git a/doc/value/tutorial/Reference_Implementation/SHA3api_ref.c b/doc/eva/tutorial/Reference_Implementation/SHA3api_ref.c
similarity index 100%
rename from doc/value/tutorial/Reference_Implementation/SHA3api_ref.c
rename to doc/eva/tutorial/Reference_Implementation/SHA3api_ref.c
diff --git a/doc/value/tutorial/Reference_Implementation/SHA3api_ref.h b/doc/eva/tutorial/Reference_Implementation/SHA3api_ref.h
similarity index 100%
rename from doc/value/tutorial/Reference_Implementation/SHA3api_ref.h
rename to doc/eva/tutorial/Reference_Implementation/SHA3api_ref.h
diff --git a/doc/value/tutorial/Reference_Implementation/brg_endian.h b/doc/eva/tutorial/Reference_Implementation/brg_endian.h
similarity index 100%
rename from doc/value/tutorial/Reference_Implementation/brg_endian.h
rename to doc/eva/tutorial/Reference_Implementation/brg_endian.h
diff --git a/doc/value/tutorial/Reference_Implementation/brg_types.h b/doc/eva/tutorial/Reference_Implementation/brg_types.h
similarity index 100%
rename from doc/value/tutorial/Reference_Implementation/brg_types.h
rename to doc/eva/tutorial/Reference_Implementation/brg_types.h
diff --git a/doc/value/tutorial/Reference_Implementation/skein.c b/doc/eva/tutorial/Reference_Implementation/skein.c
similarity index 100%
rename from doc/value/tutorial/Reference_Implementation/skein.c
rename to doc/eva/tutorial/Reference_Implementation/skein.c
diff --git a/doc/value/tutorial/Reference_Implementation/skein.h b/doc/eva/tutorial/Reference_Implementation/skein.h
similarity index 100%
rename from doc/value/tutorial/Reference_Implementation/skein.h
rename to doc/eva/tutorial/Reference_Implementation/skein.h
diff --git a/doc/value/tutorial/Reference_Implementation/skein_block.c b/doc/eva/tutorial/Reference_Implementation/skein_block.c
similarity index 100%
rename from doc/value/tutorial/Reference_Implementation/skein_block.c
rename to doc/eva/tutorial/Reference_Implementation/skein_block.c
diff --git a/doc/value/tutorial/Reference_Implementation/skein_debug.c b/doc/eva/tutorial/Reference_Implementation/skein_debug.c
similarity index 100%
rename from doc/value/tutorial/Reference_Implementation/skein_debug.c
rename to doc/eva/tutorial/Reference_Implementation/skein_debug.c
diff --git a/doc/value/tutorial/Reference_Implementation/skein_debug.h b/doc/eva/tutorial/Reference_Implementation/skein_debug.h
similarity index 100%
rename from doc/value/tutorial/Reference_Implementation/skein_debug.h
rename to doc/eva/tutorial/Reference_Implementation/skein_debug.h
diff --git a/doc/value/tutorial/Reference_Implementation/skein_port.h b/doc/eva/tutorial/Reference_Implementation/skein_port.h
similarity index 100%
rename from doc/value/tutorial/Reference_Implementation/skein_port.h
rename to doc/eva/tutorial/Reference_Implementation/skein_port.h
diff --git a/doc/value/tutorial/lib.c b/doc/eva/tutorial/lib.c
similarity index 100%
rename from doc/value/tutorial/lib.c
rename to doc/eva/tutorial/lib.c
diff --git a/doc/value/tutorial/main_1.c b/doc/eva/tutorial/main_1.c
similarity index 100%
rename from doc/value/tutorial/main_1.c
rename to doc/eva/tutorial/main_1.c
diff --git a/doc/value/tutorial/main_2.c b/doc/eva/tutorial/main_2.c
similarity index 100%
rename from doc/value/tutorial/main_2.c
rename to doc/eva/tutorial/main_2.c
diff --git a/doc/value/tutorial/own_string.h b/doc/eva/tutorial/own_string.h
similarity index 100%
rename from doc/value/tutorial/own_string.h
rename to doc/eva/tutorial/own_string.h
diff --git a/doc/value/watchpoints b/doc/eva/watchpoints
similarity index 100%
rename from doc/value/watchpoints
rename to doc/eva/watchpoints
diff --git a/doc/release/build.tex b/doc/release/build.tex
index 204751c3975..898561b6023 100644
--- a/doc/release/build.tex
+++ b/doc/release/build.tex
@@ -142,8 +142,8 @@ isn't exhaustive:
\textsf{Metrics} &
\texttt{doc/metrics} &
\expertise{André} \\
- \textsf{Value Analysis} &
- \texttt{doc/value} &
+ \textsf{Eva} &
+ \texttt{doc/eva} &
\expertise{David} \\
\textsf{WP} &
\texttt{src/plugins/wp/doc/manual/} &
--
GitLab