diff --git a/.gitattributes b/.gitattributes
index 81fb7ae21dcd777a52224de02ddba38cd050a364..cb4033a47d63786ebe95ba10a95ddfc906dd7738 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 929dc0b7326ee3dbce28aea9f87a5e570ac21d15..bf7e70ab044e1e97c9a21f73ccb85e4ae9530e4c 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 565c542208f2919c01399417d2debe5a3105253b..554d1d7065cd685f4af5b55a4863d0b4513f8267 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 204751c397533b2a27013ce286bf178eb0994585..898561b60232bc8b40dad66a74f1453b5d9fc62f 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/} &