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/.gitignore b/.gitignore
index 29cae708d2d8f51474e32144a5d7b340d123060f..49567453cf9a0f1ae1c1923e222e49c40f753a6c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -208,7 +208,7 @@ Makefile.plugin.generated
/src/plugins/gui/GSourceView.mli
/src/plugins/gui/gtk_compat.ml
/src/plugins/markdown-report/META
-/src/plugins/value/Eva.mli
+/src/plugins/eva/Eva.mli
# generated tar.gz files
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/} &
diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index 5616e9944a00658218741c726858d31c2a0befac..c82520a4ecf76061f94948c40f3f895795abb009 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -94,8 +94,8 @@ stdenvNoCC.mkDerivation rec {
outputs = [ "out" "build_dir" ];
preConfigure = (if release_mode then "" else "autoconf \n") + ''
- patchShebangs src/plugins/value/gen-api.sh
- chmod +x src/plugins/value/gen-api.sh
+ patchShebangs src/plugins/eva/gen-api.sh
+ chmod +x src/plugins/eva/gen-api.sh
'';
# Do not use default parallel building, but allow 2 cores for Frama-C build
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 2df01e54b1631c95093e47581045eb01816bb029..637d1b86b89fec34f929dc779ab58b141a836cb9 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -102,8 +102,8 @@ stdenvNoCC.mkDerivation rec {
preConfigure = ''
autoconf
- patchShebangs src/plugins/value/gen-api.sh
- chmod +x src/plugins/value/gen-api.sh
+ patchShebangs src/plugins/eva/gen-api.sh
+ chmod +x src/plugins/eva/gen-api.sh
'';
# Do not use default parallel building, but allow 2 cores for Frama-C build
diff --git a/src/kernel_externals/value_types/README.md b/src/kernel_externals/value_types/README.md
deleted file mode 100644
index 8aa4a28e5573a4ea1094fdb56c6819b9ff9fb9c2..0000000000000000000000000000000000000000
--- a/src/kernel_externals/value_types/README.md
+++ /dev/null
@@ -1,2 +0,0 @@
-This directory contains lattices representing the C memory model of Value,
-and some of its derived plugins (From, Inout).
diff --git a/src/kernel_services/abstract_interp/README.md b/src/kernel_services/abstract_interp/README.md
index 22922767c6b73dbf5ae4a365d45c18dee11bf0ef..ce5ff5660c34ff67e31618b1a33d46fbb5cd452d 100644
--- a/src/kernel_services/abstract_interp/README.md
+++ b/src/kernel_services/abstract_interp/README.md
@@ -1,3 +1,4 @@
-This directory contains generic lattices for abstract interpretation.
+This directory contains generic lattices for abstract interpretation
+and the C memory model of Eva.
-Nowadays it is mainly used by the Value plug-in and its derived plug-ins.
+It is mainly used by Eva and its derived plug-ins (From, Inout).
diff --git a/src/kernel_externals/value_types/cilE.ml b/src/kernel_services/abstract_interp/cilE.ml
similarity index 100%
rename from src/kernel_externals/value_types/cilE.ml
rename to src/kernel_services/abstract_interp/cilE.ml
diff --git a/src/kernel_externals/value_types/cilE.mli b/src/kernel_services/abstract_interp/cilE.mli
similarity index 100%
rename from src/kernel_externals/value_types/cilE.mli
rename to src/kernel_services/abstract_interp/cilE.mli
diff --git a/src/kernel_externals/value_types/cvalue.ml b/src/kernel_services/abstract_interp/cvalue.ml
similarity index 100%
rename from src/kernel_externals/value_types/cvalue.ml
rename to src/kernel_services/abstract_interp/cvalue.ml
diff --git a/src/kernel_externals/value_types/cvalue.mli b/src/kernel_services/abstract_interp/cvalue.mli
similarity index 100%
rename from src/kernel_externals/value_types/cvalue.mli
rename to src/kernel_services/abstract_interp/cvalue.mli
diff --git a/src/kernel_externals/value_types/function_Froms.ml b/src/kernel_services/abstract_interp/function_Froms.ml
similarity index 100%
rename from src/kernel_externals/value_types/function_Froms.ml
rename to src/kernel_services/abstract_interp/function_Froms.ml
diff --git a/src/kernel_externals/value_types/function_Froms.mli b/src/kernel_services/abstract_interp/function_Froms.mli
similarity index 100%
rename from src/kernel_externals/value_types/function_Froms.mli
rename to src/kernel_services/abstract_interp/function_Froms.mli
diff --git a/src/kernel_externals/value_types/inout_type.ml b/src/kernel_services/abstract_interp/inout_type.ml
similarity index 100%
rename from src/kernel_externals/value_types/inout_type.ml
rename to src/kernel_services/abstract_interp/inout_type.ml
diff --git a/src/kernel_externals/value_types/inout_type.mli b/src/kernel_services/abstract_interp/inout_type.mli
similarity index 100%
rename from src/kernel_externals/value_types/inout_type.mli
rename to src/kernel_services/abstract_interp/inout_type.mli
diff --git a/src/kernel_externals/value_types/precise_locs.ml b/src/kernel_services/abstract_interp/precise_locs.ml
similarity index 100%
rename from src/kernel_externals/value_types/precise_locs.ml
rename to src/kernel_services/abstract_interp/precise_locs.ml
diff --git a/src/kernel_externals/value_types/precise_locs.mli b/src/kernel_services/abstract_interp/precise_locs.mli
similarity index 100%
rename from src/kernel_externals/value_types/precise_locs.mli
rename to src/kernel_services/abstract_interp/precise_locs.mli
diff --git a/src/kernel_externals/value_types/value_types.ml b/src/kernel_services/abstract_interp/value_types.ml
similarity index 100%
rename from src/kernel_externals/value_types/value_types.ml
rename to src/kernel_services/abstract_interp/value_types.ml
diff --git a/src/kernel_externals/value_types/value_types.mli b/src/kernel_services/abstract_interp/value_types.mli
similarity index 100%
rename from src/kernel_externals/value_types/value_types.mli
rename to src/kernel_services/abstract_interp/value_types.mli
diff --git a/src/kernel_externals/value_types/widen_type.ml b/src/kernel_services/abstract_interp/widen_type.ml
similarity index 100%
rename from src/kernel_externals/value_types/widen_type.ml
rename to src/kernel_services/abstract_interp/widen_type.ml
diff --git a/src/kernel_externals/value_types/widen_type.mli b/src/kernel_services/abstract_interp/widen_type.mli
similarity index 100%
rename from src/kernel_externals/value_types/widen_type.mli
rename to src/kernel_services/abstract_interp/widen_type.mli
diff --git a/src/kernel_services/ast_queries/logic_typing.ml b/src/kernel_services/ast_queries/logic_typing.ml
index 4f9464ea5866754dfd36872f41ddda3775d91a19..abbb07b00221f966f3afb7a642b1804c9209076e 100644
--- a/src/kernel_services/ast_queries/logic_typing.ml
+++ b/src/kernel_services/ast_queries/logic_typing.ml
@@ -3561,7 +3561,7 @@ struct
(* For Widen_hints and Widen_variables, we check that the arguments of the
pragma can be understood later. Keep this code synchronized with
- src/plugins/value/utils/widen.ml. *)
+ src/plugins/eva/utils/widen.ml. *)
let loop_pragma env p =
let accept_int = function
{ term_node = TConst (Integer _)} -> true | _ -> false
diff --git a/src/plugins/value/.gitattributes b/src/plugins/eva/.gitattributes
similarity index 100%
rename from src/plugins/value/.gitattributes
rename to src/plugins/eva/.gitattributes
diff --git a/src/plugins/value/Changelog_non_free b/src/plugins/eva/Changelog_non_free
similarity index 100%
rename from src/plugins/value/Changelog_non_free
rename to src/plugins/eva/Changelog_non_free
diff --git a/src/plugins/value/Eva.ml.in b/src/plugins/eva/Eva.ml.in
similarity index 100%
rename from src/plugins/value/Eva.ml.in
rename to src/plugins/eva/Eva.ml.in
diff --git a/src/plugins/value/Eva.mli.in b/src/plugins/eva/Eva.mli.in
similarity index 100%
rename from src/plugins/value/Eva.mli.in
rename to src/plugins/eva/Eva.mli.in
diff --git a/src/plugins/value/alarmset.ml b/src/plugins/eva/alarmset.ml
similarity index 100%
rename from src/plugins/value/alarmset.ml
rename to src/plugins/eva/alarmset.ml
diff --git a/src/plugins/value/alarmset.mli b/src/plugins/eva/alarmset.mli
similarity index 100%
rename from src/plugins/value/alarmset.mli
rename to src/plugins/eva/alarmset.mli
diff --git a/src/plugins/value/api/general_requests.ml b/src/plugins/eva/api/general_requests.ml
similarity index 100%
rename from src/plugins/value/api/general_requests.ml
rename to src/plugins/eva/api/general_requests.ml
diff --git a/src/plugins/value/api/general_requests.mli b/src/plugins/eva/api/general_requests.mli
similarity index 100%
rename from src/plugins/value/api/general_requests.mli
rename to src/plugins/eva/api/general_requests.mli
diff --git a/src/plugins/value/api/values_request.ml b/src/plugins/eva/api/values_request.ml
similarity index 100%
rename from src/plugins/value/api/values_request.ml
rename to src/plugins/eva/api/values_request.ml
diff --git a/src/plugins/value/api/values_request.mli b/src/plugins/eva/api/values_request.mli
similarity index 100%
rename from src/plugins/value/api/values_request.mli
rename to src/plugins/eva/api/values_request.mli
diff --git a/src/plugins/value/domains/abstract_domain.ml b/src/plugins/eva/domains/abstract_domain.ml
similarity index 100%
rename from src/plugins/value/domains/abstract_domain.ml
rename to src/plugins/eva/domains/abstract_domain.ml
diff --git a/src/plugins/value/domains/apron/apron_domain.ml b/src/plugins/eva/domains/apron/apron_domain.ml
similarity index 100%
rename from src/plugins/value/domains/apron/apron_domain.ml
rename to src/plugins/eva/domains/apron/apron_domain.ml
diff --git a/src/plugins/value/domains/apron/apron_domain.mli b/src/plugins/eva/domains/apron/apron_domain.mli
similarity index 100%
rename from src/plugins/value/domains/apron/apron_domain.mli
rename to src/plugins/eva/domains/apron/apron_domain.mli
diff --git a/src/plugins/value/domains/cvalue/builtins.ml b/src/plugins/eva/domains/cvalue/builtins.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins.ml
rename to src/plugins/eva/domains/cvalue/builtins.ml
diff --git a/src/plugins/value/domains/cvalue/builtins.mli b/src/plugins/eva/domains/cvalue/builtins.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins.mli
rename to src/plugins/eva/domains/cvalue/builtins.mli
diff --git a/src/plugins/value/domains/cvalue/builtins_float.ml b/src/plugins/eva/domains/cvalue/builtins_float.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_float.ml
rename to src/plugins/eva/domains/cvalue/builtins_float.ml
diff --git a/src/plugins/value/domains/cvalue/builtins_float.mli b/src/plugins/eva/domains/cvalue/builtins_float.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_float.mli
rename to src/plugins/eva/domains/cvalue/builtins_float.mli
diff --git a/src/plugins/value/domains/cvalue/builtins_malloc.ml b/src/plugins/eva/domains/cvalue/builtins_malloc.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_malloc.ml
rename to src/plugins/eva/domains/cvalue/builtins_malloc.ml
diff --git a/src/plugins/value/domains/cvalue/builtins_malloc.mli b/src/plugins/eva/domains/cvalue/builtins_malloc.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_malloc.mli
rename to src/plugins/eva/domains/cvalue/builtins_malloc.mli
diff --git a/src/plugins/value/domains/cvalue/builtins_memory.ml b/src/plugins/eva/domains/cvalue/builtins_memory.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_memory.ml
rename to src/plugins/eva/domains/cvalue/builtins_memory.ml
diff --git a/src/plugins/value/domains/cvalue/builtins_memory.mli b/src/plugins/eva/domains/cvalue/builtins_memory.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_memory.mli
rename to src/plugins/eva/domains/cvalue/builtins_memory.mli
diff --git a/src/plugins/value/domains/cvalue/builtins_misc.ml b/src/plugins/eva/domains/cvalue/builtins_misc.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_misc.ml
rename to src/plugins/eva/domains/cvalue/builtins_misc.ml
diff --git a/src/plugins/value/domains/cvalue/builtins_misc.mli b/src/plugins/eva/domains/cvalue/builtins_misc.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_misc.mli
rename to src/plugins/eva/domains/cvalue/builtins_misc.mli
diff --git a/src/plugins/value/domains/cvalue/builtins_print_c.ml b/src/plugins/eva/domains/cvalue/builtins_print_c.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_print_c.ml
rename to src/plugins/eva/domains/cvalue/builtins_print_c.ml
diff --git a/src/plugins/value/domains/cvalue/builtins_print_c.mli b/src/plugins/eva/domains/cvalue/builtins_print_c.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_print_c.mli
rename to src/plugins/eva/domains/cvalue/builtins_print_c.mli
diff --git a/src/plugins/value/domains/cvalue/builtins_split.ml b/src/plugins/eva/domains/cvalue/builtins_split.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_split.ml
rename to src/plugins/eva/domains/cvalue/builtins_split.ml
diff --git a/src/plugins/value/domains/cvalue/builtins_split.mli b/src/plugins/eva/domains/cvalue/builtins_split.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_split.mli
rename to src/plugins/eva/domains/cvalue/builtins_split.mli
diff --git a/src/plugins/value/domains/cvalue/builtins_string.ml b/src/plugins/eva/domains/cvalue/builtins_string.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_string.ml
rename to src/plugins/eva/domains/cvalue/builtins_string.ml
diff --git a/src/plugins/value/domains/cvalue/builtins_string.mli b/src/plugins/eva/domains/cvalue/builtins_string.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_string.mli
rename to src/plugins/eva/domains/cvalue/builtins_string.mli
diff --git a/src/plugins/value/domains/cvalue/builtins_watchpoint.ml b/src/plugins/eva/domains/cvalue/builtins_watchpoint.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_watchpoint.ml
rename to src/plugins/eva/domains/cvalue/builtins_watchpoint.ml
diff --git a/src/plugins/value/domains/cvalue/builtins_watchpoint.mli b/src/plugins/eva/domains/cvalue/builtins_watchpoint.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/builtins_watchpoint.mli
rename to src/plugins/eva/domains/cvalue/builtins_watchpoint.mli
diff --git a/src/plugins/value/domains/cvalue/cvalue_domain.ml b/src/plugins/eva/domains/cvalue/cvalue_domain.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/cvalue_domain.ml
rename to src/plugins/eva/domains/cvalue/cvalue_domain.ml
diff --git a/src/plugins/value/domains/cvalue/cvalue_domain.mli b/src/plugins/eva/domains/cvalue/cvalue_domain.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/cvalue_domain.mli
rename to src/plugins/eva/domains/cvalue/cvalue_domain.mli
diff --git a/src/plugins/value/domains/cvalue/cvalue_init.ml b/src/plugins/eva/domains/cvalue/cvalue_init.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/cvalue_init.ml
rename to src/plugins/eva/domains/cvalue/cvalue_init.ml
diff --git a/src/plugins/value/domains/cvalue/cvalue_init.mli b/src/plugins/eva/domains/cvalue/cvalue_init.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/cvalue_init.mli
rename to src/plugins/eva/domains/cvalue/cvalue_init.mli
diff --git a/src/plugins/value/domains/cvalue/cvalue_offsetmap.ml b/src/plugins/eva/domains/cvalue/cvalue_offsetmap.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/cvalue_offsetmap.ml
rename to src/plugins/eva/domains/cvalue/cvalue_offsetmap.ml
diff --git a/src/plugins/value/domains/cvalue/cvalue_offsetmap.mli b/src/plugins/eva/domains/cvalue/cvalue_offsetmap.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/cvalue_offsetmap.mli
rename to src/plugins/eva/domains/cvalue/cvalue_offsetmap.mli
diff --git a/src/plugins/value/domains/cvalue/cvalue_specification.ml b/src/plugins/eva/domains/cvalue/cvalue_specification.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/cvalue_specification.ml
rename to src/plugins/eva/domains/cvalue/cvalue_specification.ml
diff --git a/src/plugins/value/domains/cvalue/cvalue_specification.mli b/src/plugins/eva/domains/cvalue/cvalue_specification.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/cvalue_specification.mli
rename to src/plugins/eva/domains/cvalue/cvalue_specification.mli
diff --git a/src/plugins/value/domains/cvalue/cvalue_transfer.ml b/src/plugins/eva/domains/cvalue/cvalue_transfer.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/cvalue_transfer.ml
rename to src/plugins/eva/domains/cvalue/cvalue_transfer.ml
diff --git a/src/plugins/value/domains/cvalue/cvalue_transfer.mli b/src/plugins/eva/domains/cvalue/cvalue_transfer.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/cvalue_transfer.mli
rename to src/plugins/eva/domains/cvalue/cvalue_transfer.mli
diff --git a/src/plugins/value/domains/cvalue/locals_scoping.ml b/src/plugins/eva/domains/cvalue/locals_scoping.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/locals_scoping.ml
rename to src/plugins/eva/domains/cvalue/locals_scoping.ml
diff --git a/src/plugins/value/domains/cvalue/locals_scoping.mli b/src/plugins/eva/domains/cvalue/locals_scoping.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/locals_scoping.mli
rename to src/plugins/eva/domains/cvalue/locals_scoping.mli
diff --git a/src/plugins/value/domains/cvalue/warn.ml b/src/plugins/eva/domains/cvalue/warn.ml
similarity index 100%
rename from src/plugins/value/domains/cvalue/warn.ml
rename to src/plugins/eva/domains/cvalue/warn.ml
diff --git a/src/plugins/value/domains/cvalue/warn.mli b/src/plugins/eva/domains/cvalue/warn.mli
similarity index 100%
rename from src/plugins/value/domains/cvalue/warn.mli
rename to src/plugins/eva/domains/cvalue/warn.mli
diff --git a/src/plugins/value/domains/domain_builder.ml b/src/plugins/eva/domains/domain_builder.ml
similarity index 100%
rename from src/plugins/value/domains/domain_builder.ml
rename to src/plugins/eva/domains/domain_builder.ml
diff --git a/src/plugins/value/domains/domain_builder.mli b/src/plugins/eva/domains/domain_builder.mli
similarity index 100%
rename from src/plugins/value/domains/domain_builder.mli
rename to src/plugins/eva/domains/domain_builder.mli
diff --git a/src/plugins/value/domains/domain_lift.ml b/src/plugins/eva/domains/domain_lift.ml
similarity index 100%
rename from src/plugins/value/domains/domain_lift.ml
rename to src/plugins/eva/domains/domain_lift.ml
diff --git a/src/plugins/value/domains/domain_lift.mli b/src/plugins/eva/domains/domain_lift.mli
similarity index 100%
rename from src/plugins/value/domains/domain_lift.mli
rename to src/plugins/eva/domains/domain_lift.mli
diff --git a/src/plugins/value/domains/domain_mode.ml b/src/plugins/eva/domains/domain_mode.ml
similarity index 100%
rename from src/plugins/value/domains/domain_mode.ml
rename to src/plugins/eva/domains/domain_mode.ml
diff --git a/src/plugins/value/domains/domain_mode.mli b/src/plugins/eva/domains/domain_mode.mli
similarity index 100%
rename from src/plugins/value/domains/domain_mode.mli
rename to src/plugins/eva/domains/domain_mode.mli
diff --git a/src/plugins/value/domains/domain_product.ml b/src/plugins/eva/domains/domain_product.ml
similarity index 100%
rename from src/plugins/value/domains/domain_product.ml
rename to src/plugins/eva/domains/domain_product.ml
diff --git a/src/plugins/value/domains/domain_product.mli b/src/plugins/eva/domains/domain_product.mli
similarity index 100%
rename from src/plugins/value/domains/domain_product.mli
rename to src/plugins/eva/domains/domain_product.mli
diff --git a/src/plugins/value/domains/domain_store.ml b/src/plugins/eva/domains/domain_store.ml
similarity index 100%
rename from src/plugins/value/domains/domain_store.ml
rename to src/plugins/eva/domains/domain_store.ml
diff --git a/src/plugins/value/domains/domain_store.mli b/src/plugins/eva/domains/domain_store.mli
similarity index 100%
rename from src/plugins/value/domains/domain_store.mli
rename to src/plugins/eva/domains/domain_store.mli
diff --git a/src/plugins/value/domains/equality/equality.ml b/src/plugins/eva/domains/equality/equality.ml
similarity index 100%
rename from src/plugins/value/domains/equality/equality.ml
rename to src/plugins/eva/domains/equality/equality.ml
diff --git a/src/plugins/value/domains/equality/equality.mli b/src/plugins/eva/domains/equality/equality.mli
similarity index 100%
rename from src/plugins/value/domains/equality/equality.mli
rename to src/plugins/eva/domains/equality/equality.mli
diff --git a/src/plugins/value/domains/equality/equality_domain.ml b/src/plugins/eva/domains/equality/equality_domain.ml
similarity index 100%
rename from src/plugins/value/domains/equality/equality_domain.ml
rename to src/plugins/eva/domains/equality/equality_domain.ml
diff --git a/src/plugins/value/domains/equality/equality_domain.mli b/src/plugins/eva/domains/equality/equality_domain.mli
similarity index 100%
rename from src/plugins/value/domains/equality/equality_domain.mli
rename to src/plugins/eva/domains/equality/equality_domain.mli
diff --git a/src/plugins/value/domains/gauges/gauges_domain.ml b/src/plugins/eva/domains/gauges/gauges_domain.ml
similarity index 100%
rename from src/plugins/value/domains/gauges/gauges_domain.ml
rename to src/plugins/eva/domains/gauges/gauges_domain.ml
diff --git a/src/plugins/value/domains/gauges/gauges_domain.mli b/src/plugins/eva/domains/gauges/gauges_domain.mli
similarity index 100%
rename from src/plugins/value/domains/gauges/gauges_domain.mli
rename to src/plugins/eva/domains/gauges/gauges_domain.mli
diff --git a/src/plugins/value/domains/hcexprs.ml b/src/plugins/eva/domains/hcexprs.ml
similarity index 100%
rename from src/plugins/value/domains/hcexprs.ml
rename to src/plugins/eva/domains/hcexprs.ml
diff --git a/src/plugins/value/domains/hcexprs.mli b/src/plugins/eva/domains/hcexprs.mli
similarity index 100%
rename from src/plugins/value/domains/hcexprs.mli
rename to src/plugins/eva/domains/hcexprs.mli
diff --git a/src/plugins/value/domains/inout_domain.ml b/src/plugins/eva/domains/inout_domain.ml
similarity index 100%
rename from src/plugins/value/domains/inout_domain.ml
rename to src/plugins/eva/domains/inout_domain.ml
diff --git a/src/plugins/value/domains/inout_domain.mli b/src/plugins/eva/domains/inout_domain.mli
similarity index 100%
rename from src/plugins/value/domains/inout_domain.mli
rename to src/plugins/eva/domains/inout_domain.mli
diff --git a/src/plugins/value/domains/multidim/abstract_memory.ml b/src/plugins/eva/domains/multidim/abstract_memory.ml
similarity index 100%
rename from src/plugins/value/domains/multidim/abstract_memory.ml
rename to src/plugins/eva/domains/multidim/abstract_memory.ml
diff --git a/src/plugins/value/domains/multidim/abstract_memory.mli b/src/plugins/eva/domains/multidim/abstract_memory.mli
similarity index 100%
rename from src/plugins/value/domains/multidim/abstract_memory.mli
rename to src/plugins/eva/domains/multidim/abstract_memory.mli
diff --git a/src/plugins/value/domains/multidim/abstract_offset.ml b/src/plugins/eva/domains/multidim/abstract_offset.ml
similarity index 100%
rename from src/plugins/value/domains/multidim/abstract_offset.ml
rename to src/plugins/eva/domains/multidim/abstract_offset.ml
diff --git a/src/plugins/value/domains/multidim/abstract_offset.mli b/src/plugins/eva/domains/multidim/abstract_offset.mli
similarity index 100%
rename from src/plugins/value/domains/multidim/abstract_offset.mli
rename to src/plugins/eva/domains/multidim/abstract_offset.mli
diff --git a/src/plugins/value/domains/multidim/abstract_structure.ml b/src/plugins/eva/domains/multidim/abstract_structure.ml
similarity index 100%
rename from src/plugins/value/domains/multidim/abstract_structure.ml
rename to src/plugins/eva/domains/multidim/abstract_structure.ml
diff --git a/src/plugins/value/domains/multidim/abstract_structure.mli b/src/plugins/eva/domains/multidim/abstract_structure.mli
similarity index 100%
rename from src/plugins/value/domains/multidim/abstract_structure.mli
rename to src/plugins/eva/domains/multidim/abstract_structure.mli
diff --git a/src/plugins/value/domains/multidim/multidim.ml b/src/plugins/eva/domains/multidim/multidim.ml
similarity index 100%
rename from src/plugins/value/domains/multidim/multidim.ml
rename to src/plugins/eva/domains/multidim/multidim.ml
diff --git a/src/plugins/value/domains/multidim/multidim.mli b/src/plugins/eva/domains/multidim/multidim.mli
similarity index 100%
rename from src/plugins/value/domains/multidim/multidim.mli
rename to src/plugins/eva/domains/multidim/multidim.mli
diff --git a/src/plugins/value/domains/multidim/multidim_domain.ml b/src/plugins/eva/domains/multidim/multidim_domain.ml
similarity index 100%
rename from src/plugins/value/domains/multidim/multidim_domain.ml
rename to src/plugins/eva/domains/multidim/multidim_domain.ml
diff --git a/src/plugins/value/domains/multidim/multidim_domain.mli b/src/plugins/eva/domains/multidim/multidim_domain.mli
similarity index 100%
rename from src/plugins/value/domains/multidim/multidim_domain.mli
rename to src/plugins/eva/domains/multidim/multidim_domain.mli
diff --git a/src/plugins/value/domains/multidim/pretty_memory.ml b/src/plugins/eva/domains/multidim/pretty_memory.ml
similarity index 100%
rename from src/plugins/value/domains/multidim/pretty_memory.ml
rename to src/plugins/eva/domains/multidim/pretty_memory.ml
diff --git a/src/plugins/value/domains/multidim/pretty_memory.mli b/src/plugins/eva/domains/multidim/pretty_memory.mli
similarity index 100%
rename from src/plugins/value/domains/multidim/pretty_memory.mli
rename to src/plugins/eva/domains/multidim/pretty_memory.mli
diff --git a/src/plugins/value/domains/multidim/segmentation.ml b/src/plugins/eva/domains/multidim/segmentation.ml
similarity index 100%
rename from src/plugins/value/domains/multidim/segmentation.ml
rename to src/plugins/eva/domains/multidim/segmentation.ml
diff --git a/src/plugins/value/domains/multidim/segmentation.mli b/src/plugins/eva/domains/multidim/segmentation.mli
similarity index 100%
rename from src/plugins/value/domains/multidim/segmentation.mli
rename to src/plugins/eva/domains/multidim/segmentation.mli
diff --git a/src/plugins/value/domains/multidim/typed_memory.ml b/src/plugins/eva/domains/multidim/typed_memory.ml
similarity index 100%
rename from src/plugins/value/domains/multidim/typed_memory.ml
rename to src/plugins/eva/domains/multidim/typed_memory.ml
diff --git a/src/plugins/value/domains/multidim/typed_memory.mli b/src/plugins/eva/domains/multidim/typed_memory.mli
similarity index 100%
rename from src/plugins/value/domains/multidim/typed_memory.mli
rename to src/plugins/eva/domains/multidim/typed_memory.mli
diff --git a/src/plugins/value/domains/numerors/numerors_domain.ml b/src/plugins/eva/domains/numerors/numerors_domain.ml
similarity index 100%
rename from src/plugins/value/domains/numerors/numerors_domain.ml
rename to src/plugins/eva/domains/numerors/numerors_domain.ml
diff --git a/src/plugins/value/domains/numerors/numerors_domain.mli b/src/plugins/eva/domains/numerors/numerors_domain.mli
similarity index 100%
rename from src/plugins/value/domains/numerors/numerors_domain.mli
rename to src/plugins/eva/domains/numerors/numerors_domain.mli
diff --git a/src/plugins/value/domains/octagons.ml b/src/plugins/eva/domains/octagons.ml
similarity index 100%
rename from src/plugins/value/domains/octagons.ml
rename to src/plugins/eva/domains/octagons.ml
diff --git a/src/plugins/value/domains/octagons.mli b/src/plugins/eva/domains/octagons.mli
similarity index 100%
rename from src/plugins/value/domains/octagons.mli
rename to src/plugins/eva/domains/octagons.mli
diff --git a/src/plugins/value/domains/offsm_domain.ml b/src/plugins/eva/domains/offsm_domain.ml
similarity index 100%
rename from src/plugins/value/domains/offsm_domain.ml
rename to src/plugins/eva/domains/offsm_domain.ml
diff --git a/src/plugins/value/domains/offsm_domain.mli b/src/plugins/eva/domains/offsm_domain.mli
similarity index 100%
rename from src/plugins/value/domains/offsm_domain.mli
rename to src/plugins/eva/domains/offsm_domain.mli
diff --git a/src/plugins/value/domains/powerset.ml b/src/plugins/eva/domains/powerset.ml
similarity index 100%
rename from src/plugins/value/domains/powerset.ml
rename to src/plugins/eva/domains/powerset.ml
diff --git a/src/plugins/value/domains/powerset.mli b/src/plugins/eva/domains/powerset.mli
similarity index 100%
rename from src/plugins/value/domains/powerset.mli
rename to src/plugins/eva/domains/powerset.mli
diff --git a/src/plugins/value/domains/printer_domain.ml b/src/plugins/eva/domains/printer_domain.ml
similarity index 100%
rename from src/plugins/value/domains/printer_domain.ml
rename to src/plugins/eva/domains/printer_domain.ml
diff --git a/src/plugins/value/domains/printer_domain.mli b/src/plugins/eva/domains/printer_domain.mli
similarity index 100%
rename from src/plugins/value/domains/printer_domain.mli
rename to src/plugins/eva/domains/printer_domain.mli
diff --git a/src/plugins/value/domains/sign_domain.ml b/src/plugins/eva/domains/sign_domain.ml
similarity index 100%
rename from src/plugins/value/domains/sign_domain.ml
rename to src/plugins/eva/domains/sign_domain.ml
diff --git a/src/plugins/value/domains/sign_domain.mli b/src/plugins/eva/domains/sign_domain.mli
similarity index 100%
rename from src/plugins/value/domains/sign_domain.mli
rename to src/plugins/eva/domains/sign_domain.mli
diff --git a/src/plugins/value/domains/simple_memory.ml b/src/plugins/eva/domains/simple_memory.ml
similarity index 100%
rename from src/plugins/value/domains/simple_memory.ml
rename to src/plugins/eva/domains/simple_memory.ml
diff --git a/src/plugins/value/domains/simple_memory.mli b/src/plugins/eva/domains/simple_memory.mli
similarity index 100%
rename from src/plugins/value/domains/simple_memory.mli
rename to src/plugins/eva/domains/simple_memory.mli
diff --git a/src/plugins/value/domains/simpler_domains.ml b/src/plugins/eva/domains/simpler_domains.ml
similarity index 100%
rename from src/plugins/value/domains/simpler_domains.ml
rename to src/plugins/eva/domains/simpler_domains.ml
diff --git a/src/plugins/value/domains/symbolic_locs.ml b/src/plugins/eva/domains/symbolic_locs.ml
similarity index 100%
rename from src/plugins/value/domains/symbolic_locs.ml
rename to src/plugins/eva/domains/symbolic_locs.ml
diff --git a/src/plugins/value/domains/symbolic_locs.mli b/src/plugins/eva/domains/symbolic_locs.mli
similarity index 100%
rename from src/plugins/value/domains/symbolic_locs.mli
rename to src/plugins/eva/domains/symbolic_locs.mli
diff --git a/src/plugins/value/domains/taint_domain.ml b/src/plugins/eva/domains/taint_domain.ml
similarity index 100%
rename from src/plugins/value/domains/taint_domain.ml
rename to src/plugins/eva/domains/taint_domain.ml
diff --git a/src/plugins/value/domains/taint_domain.mli b/src/plugins/eva/domains/taint_domain.mli
similarity index 100%
rename from src/plugins/value/domains/taint_domain.mli
rename to src/plugins/eva/domains/taint_domain.mli
diff --git a/src/plugins/value/domains/traces_domain.ml b/src/plugins/eva/domains/traces_domain.ml
similarity index 100%
rename from src/plugins/value/domains/traces_domain.ml
rename to src/plugins/eva/domains/traces_domain.ml
diff --git a/src/plugins/value/domains/traces_domain.mli b/src/plugins/eva/domains/traces_domain.mli
similarity index 100%
rename from src/plugins/value/domains/traces_domain.mli
rename to src/plugins/eva/domains/traces_domain.mli
diff --git a/src/plugins/value/domains/unit_domain.ml b/src/plugins/eva/domains/unit_domain.ml
similarity index 100%
rename from src/plugins/value/domains/unit_domain.ml
rename to src/plugins/eva/domains/unit_domain.ml
diff --git a/src/plugins/value/domains/unit_domain.mli b/src/plugins/eva/domains/unit_domain.mli
similarity index 100%
rename from src/plugins/value/domains/unit_domain.mli
rename to src/plugins/eva/domains/unit_domain.mli
diff --git a/src/plugins/value/dune b/src/plugins/eva/dune
similarity index 100%
rename from src/plugins/value/dune
rename to src/plugins/eva/dune
diff --git a/src/plugins/value/dune-project b/src/plugins/eva/dune-project
similarity index 100%
rename from src/plugins/value/dune-project
rename to src/plugins/eva/dune-project
diff --git a/src/plugins/value/engine/abstractions.ml b/src/plugins/eva/engine/abstractions.ml
similarity index 100%
rename from src/plugins/value/engine/abstractions.ml
rename to src/plugins/eva/engine/abstractions.ml
diff --git a/src/plugins/value/engine/abstractions.mli b/src/plugins/eva/engine/abstractions.mli
similarity index 100%
rename from src/plugins/value/engine/abstractions.mli
rename to src/plugins/eva/engine/abstractions.mli
diff --git a/src/plugins/value/engine/analysis.ml b/src/plugins/eva/engine/analysis.ml
similarity index 100%
rename from src/plugins/value/engine/analysis.ml
rename to src/plugins/eva/engine/analysis.ml
diff --git a/src/plugins/value/engine/analysis.mli b/src/plugins/eva/engine/analysis.mli
similarity index 100%
rename from src/plugins/value/engine/analysis.mli
rename to src/plugins/eva/engine/analysis.mli
diff --git a/src/plugins/value/engine/compute_functions.ml b/src/plugins/eva/engine/compute_functions.ml
similarity index 100%
rename from src/plugins/value/engine/compute_functions.ml
rename to src/plugins/eva/engine/compute_functions.ml
diff --git a/src/plugins/value/engine/compute_functions.mli b/src/plugins/eva/engine/compute_functions.mli
similarity index 100%
rename from src/plugins/value/engine/compute_functions.mli
rename to src/plugins/eva/engine/compute_functions.mli
diff --git a/src/plugins/value/engine/evaluation.ml b/src/plugins/eva/engine/evaluation.ml
similarity index 100%
rename from src/plugins/value/engine/evaluation.ml
rename to src/plugins/eva/engine/evaluation.ml
diff --git a/src/plugins/value/engine/evaluation.mli b/src/plugins/eva/engine/evaluation.mli
similarity index 100%
rename from src/plugins/value/engine/evaluation.mli
rename to src/plugins/eva/engine/evaluation.mli
diff --git a/src/plugins/value/engine/function_calls.ml b/src/plugins/eva/engine/function_calls.ml
similarity index 100%
rename from src/plugins/value/engine/function_calls.ml
rename to src/plugins/eva/engine/function_calls.ml
diff --git a/src/plugins/value/engine/function_calls.mli b/src/plugins/eva/engine/function_calls.mli
similarity index 100%
rename from src/plugins/value/engine/function_calls.mli
rename to src/plugins/eva/engine/function_calls.mli
diff --git a/src/plugins/value/engine/initialization.ml b/src/plugins/eva/engine/initialization.ml
similarity index 100%
rename from src/plugins/value/engine/initialization.ml
rename to src/plugins/eva/engine/initialization.ml
diff --git a/src/plugins/value/engine/initialization.mli b/src/plugins/eva/engine/initialization.mli
similarity index 100%
rename from src/plugins/value/engine/initialization.mli
rename to src/plugins/eva/engine/initialization.mli
diff --git a/src/plugins/value/engine/iterator.ml b/src/plugins/eva/engine/iterator.ml
similarity index 100%
rename from src/plugins/value/engine/iterator.ml
rename to src/plugins/eva/engine/iterator.ml
diff --git a/src/plugins/value/engine/iterator.mli b/src/plugins/eva/engine/iterator.mli
similarity index 100%
rename from src/plugins/value/engine/iterator.mli
rename to src/plugins/eva/engine/iterator.mli
diff --git a/src/plugins/value/engine/mem_exec.ml b/src/plugins/eva/engine/mem_exec.ml
similarity index 100%
rename from src/plugins/value/engine/mem_exec.ml
rename to src/plugins/eva/engine/mem_exec.ml
diff --git a/src/plugins/value/engine/mem_exec.mli b/src/plugins/eva/engine/mem_exec.mli
similarity index 100%
rename from src/plugins/value/engine/mem_exec.mli
rename to src/plugins/eva/engine/mem_exec.mli
diff --git a/src/plugins/value/engine/recursion.ml b/src/plugins/eva/engine/recursion.ml
similarity index 100%
rename from src/plugins/value/engine/recursion.ml
rename to src/plugins/eva/engine/recursion.ml
diff --git a/src/plugins/value/engine/recursion.mli b/src/plugins/eva/engine/recursion.mli
similarity index 100%
rename from src/plugins/value/engine/recursion.mli
rename to src/plugins/eva/engine/recursion.mli
diff --git a/src/plugins/value/engine/subdivided_evaluation.ml b/src/plugins/eva/engine/subdivided_evaluation.ml
similarity index 100%
rename from src/plugins/value/engine/subdivided_evaluation.ml
rename to src/plugins/eva/engine/subdivided_evaluation.ml
diff --git a/src/plugins/value/engine/subdivided_evaluation.mli b/src/plugins/eva/engine/subdivided_evaluation.mli
similarity index 100%
rename from src/plugins/value/engine/subdivided_evaluation.mli
rename to src/plugins/eva/engine/subdivided_evaluation.mli
diff --git a/src/plugins/value/engine/transfer_logic.ml b/src/plugins/eva/engine/transfer_logic.ml
similarity index 100%
rename from src/plugins/value/engine/transfer_logic.ml
rename to src/plugins/eva/engine/transfer_logic.ml
diff --git a/src/plugins/value/engine/transfer_logic.mli b/src/plugins/eva/engine/transfer_logic.mli
similarity index 100%
rename from src/plugins/value/engine/transfer_logic.mli
rename to src/plugins/eva/engine/transfer_logic.mli
diff --git a/src/plugins/value/engine/transfer_specification.ml b/src/plugins/eva/engine/transfer_specification.ml
similarity index 100%
rename from src/plugins/value/engine/transfer_specification.ml
rename to src/plugins/eva/engine/transfer_specification.ml
diff --git a/src/plugins/value/engine/transfer_specification.mli b/src/plugins/eva/engine/transfer_specification.mli
similarity index 100%
rename from src/plugins/value/engine/transfer_specification.mli
rename to src/plugins/eva/engine/transfer_specification.mli
diff --git a/src/plugins/value/engine/transfer_stmt.ml b/src/plugins/eva/engine/transfer_stmt.ml
similarity index 100%
rename from src/plugins/value/engine/transfer_stmt.ml
rename to src/plugins/eva/engine/transfer_stmt.ml
diff --git a/src/plugins/value/engine/transfer_stmt.mli b/src/plugins/eva/engine/transfer_stmt.mli
similarity index 100%
rename from src/plugins/value/engine/transfer_stmt.mli
rename to src/plugins/eva/engine/transfer_stmt.mli
diff --git a/src/plugins/value/eval.ml b/src/plugins/eva/eval.ml
similarity index 100%
rename from src/plugins/value/eval.ml
rename to src/plugins/eva/eval.ml
diff --git a/src/plugins/value/eval.mli b/src/plugins/eva/eval.mli
similarity index 100%
rename from src/plugins/value/eval.mli
rename to src/plugins/eva/eval.mli
diff --git a/src/plugins/value/frama-c-eva.opam b/src/plugins/eva/frama-c-eva.opam
similarity index 100%
rename from src/plugins/value/frama-c-eva.opam
rename to src/plugins/eva/frama-c-eva.opam
diff --git a/src/plugins/value/gen-api.sh b/src/plugins/eva/gen-api.sh
similarity index 100%
rename from src/plugins/value/gen-api.sh
rename to src/plugins/eva/gen-api.sh
diff --git a/src/plugins/value/gen_test_config.sh b/src/plugins/eva/gen_test_config.sh
similarity index 100%
rename from src/plugins/value/gen_test_config.sh
rename to src/plugins/eva/gen_test_config.sh
diff --git a/src/plugins/value/gui_files/gui_callstacks_filters.ml b/src/plugins/eva/gui_files/gui_callstacks_filters.ml
similarity index 100%
rename from src/plugins/value/gui_files/gui_callstacks_filters.ml
rename to src/plugins/eva/gui_files/gui_callstacks_filters.ml
diff --git a/src/plugins/value/gui_files/gui_callstacks_filters.mli b/src/plugins/eva/gui_files/gui_callstacks_filters.mli
similarity index 100%
rename from src/plugins/value/gui_files/gui_callstacks_filters.mli
rename to src/plugins/eva/gui_files/gui_callstacks_filters.mli
diff --git a/src/plugins/value/gui_files/gui_callstacks_manager.ml b/src/plugins/eva/gui_files/gui_callstacks_manager.ml
similarity index 100%
rename from src/plugins/value/gui_files/gui_callstacks_manager.ml
rename to src/plugins/eva/gui_files/gui_callstacks_manager.ml
diff --git a/src/plugins/value/gui_files/gui_callstacks_manager.mli b/src/plugins/eva/gui_files/gui_callstacks_manager.mli
similarity index 100%
rename from src/plugins/value/gui_files/gui_callstacks_manager.mli
rename to src/plugins/eva/gui_files/gui_callstacks_manager.mli
diff --git a/src/plugins/value/gui_files/gui_eval.ml b/src/plugins/eva/gui_files/gui_eval.ml
similarity index 100%
rename from src/plugins/value/gui_files/gui_eval.ml
rename to src/plugins/eva/gui_files/gui_eval.ml
diff --git a/src/plugins/value/gui_files/gui_eval.mli b/src/plugins/eva/gui_files/gui_eval.mli
similarity index 100%
rename from src/plugins/value/gui_files/gui_eval.mli
rename to src/plugins/eva/gui_files/gui_eval.mli
diff --git a/src/plugins/value/gui_files/gui_red.ml b/src/plugins/eva/gui_files/gui_red.ml
similarity index 100%
rename from src/plugins/value/gui_files/gui_red.ml
rename to src/plugins/eva/gui_files/gui_red.ml
diff --git a/src/plugins/value/gui_files/gui_red.mli b/src/plugins/eva/gui_files/gui_red.mli
similarity index 100%
rename from src/plugins/value/gui_files/gui_red.mli
rename to src/plugins/eva/gui_files/gui_red.mli
diff --git a/src/plugins/value/gui_files/gui_types.ml b/src/plugins/eva/gui_files/gui_types.ml
similarity index 100%
rename from src/plugins/value/gui_files/gui_types.ml
rename to src/plugins/eva/gui_files/gui_types.ml
diff --git a/src/plugins/value/gui_files/gui_types.mli b/src/plugins/eva/gui_files/gui_types.mli
similarity index 100%
rename from src/plugins/value/gui_files/gui_types.mli
rename to src/plugins/eva/gui_files/gui_types.mli
diff --git a/src/plugins/value/gui_files/register_gui.ml b/src/plugins/eva/gui_files/register_gui.ml
similarity index 100%
rename from src/plugins/value/gui_files/register_gui.ml
rename to src/plugins/eva/gui_files/register_gui.ml
diff --git a/src/plugins/value/gui_files/register_gui.mli b/src/plugins/eva/gui_files/register_gui.mli
similarity index 100%
rename from src/plugins/value/gui_files/register_gui.mli
rename to src/plugins/eva/gui_files/register_gui.mli
diff --git a/src/plugins/value/legacy/TOREMOVE b/src/plugins/eva/legacy/TOREMOVE
similarity index 100%
rename from src/plugins/value/legacy/TOREMOVE
rename to src/plugins/eva/legacy/TOREMOVE
diff --git a/src/plugins/value/legacy/eval_annots.ml b/src/plugins/eva/legacy/eval_annots.ml
similarity index 100%
rename from src/plugins/value/legacy/eval_annots.ml
rename to src/plugins/eva/legacy/eval_annots.ml
diff --git a/src/plugins/value/legacy/eval_annots.mli b/src/plugins/eva/legacy/eval_annots.mli
similarity index 100%
rename from src/plugins/value/legacy/eval_annots.mli
rename to src/plugins/eva/legacy/eval_annots.mli
diff --git a/src/plugins/value/legacy/eval_op.ml b/src/plugins/eva/legacy/eval_op.ml
similarity index 100%
rename from src/plugins/value/legacy/eval_op.ml
rename to src/plugins/eva/legacy/eval_op.ml
diff --git a/src/plugins/value/legacy/eval_op.mli b/src/plugins/eva/legacy/eval_op.mli
similarity index 100%
rename from src/plugins/value/legacy/eval_op.mli
rename to src/plugins/eva/legacy/eval_op.mli
diff --git a/src/plugins/value/legacy/eval_terms.ml b/src/plugins/eva/legacy/eval_terms.ml
similarity index 100%
rename from src/plugins/value/legacy/eval_terms.ml
rename to src/plugins/eva/legacy/eval_terms.ml
diff --git a/src/plugins/value/legacy/eval_terms.mli b/src/plugins/eva/legacy/eval_terms.mli
similarity index 100%
rename from src/plugins/value/legacy/eval_terms.mli
rename to src/plugins/eva/legacy/eval_terms.mli
diff --git a/src/plugins/value/legacy/function_args.ml b/src/plugins/eva/legacy/function_args.ml
similarity index 100%
rename from src/plugins/value/legacy/function_args.ml
rename to src/plugins/eva/legacy/function_args.ml
diff --git a/src/plugins/value/legacy/function_args.mli b/src/plugins/eva/legacy/function_args.mli
similarity index 100%
rename from src/plugins/value/legacy/function_args.mli
rename to src/plugins/eva/legacy/function_args.mli
diff --git a/src/plugins/value/parameters.ml b/src/plugins/eva/parameters.ml
similarity index 100%
rename from src/plugins/value/parameters.ml
rename to src/plugins/eva/parameters.ml
diff --git a/src/plugins/value/parameters.mli b/src/plugins/eva/parameters.mli
similarity index 100%
rename from src/plugins/value/parameters.mli
rename to src/plugins/eva/parameters.mli
diff --git a/src/plugins/value/partitioning/auto_loop_unroll.ml b/src/plugins/eva/partitioning/auto_loop_unroll.ml
similarity index 100%
rename from src/plugins/value/partitioning/auto_loop_unroll.ml
rename to src/plugins/eva/partitioning/auto_loop_unroll.ml
diff --git a/src/plugins/value/partitioning/auto_loop_unroll.mli b/src/plugins/eva/partitioning/auto_loop_unroll.mli
similarity index 100%
rename from src/plugins/value/partitioning/auto_loop_unroll.mli
rename to src/plugins/eva/partitioning/auto_loop_unroll.mli
diff --git a/src/plugins/value/partitioning/partition.ml b/src/plugins/eva/partitioning/partition.ml
similarity index 100%
rename from src/plugins/value/partitioning/partition.ml
rename to src/plugins/eva/partitioning/partition.ml
diff --git a/src/plugins/value/partitioning/partition.mli b/src/plugins/eva/partitioning/partition.mli
similarity index 100%
rename from src/plugins/value/partitioning/partition.mli
rename to src/plugins/eva/partitioning/partition.mli
diff --git a/src/plugins/value/partitioning/partitioning_index.ml b/src/plugins/eva/partitioning/partitioning_index.ml
similarity index 100%
rename from src/plugins/value/partitioning/partitioning_index.ml
rename to src/plugins/eva/partitioning/partitioning_index.ml
diff --git a/src/plugins/value/partitioning/partitioning_index.mli b/src/plugins/eva/partitioning/partitioning_index.mli
similarity index 100%
rename from src/plugins/value/partitioning/partitioning_index.mli
rename to src/plugins/eva/partitioning/partitioning_index.mli
diff --git a/src/plugins/value/partitioning/partitioning_parameters.ml b/src/plugins/eva/partitioning/partitioning_parameters.ml
similarity index 100%
rename from src/plugins/value/partitioning/partitioning_parameters.ml
rename to src/plugins/eva/partitioning/partitioning_parameters.ml
diff --git a/src/plugins/value/partitioning/partitioning_parameters.mli b/src/plugins/eva/partitioning/partitioning_parameters.mli
similarity index 100%
rename from src/plugins/value/partitioning/partitioning_parameters.mli
rename to src/plugins/eva/partitioning/partitioning_parameters.mli
diff --git a/src/plugins/value/partitioning/per_stmt_slevel.ml b/src/plugins/eva/partitioning/per_stmt_slevel.ml
similarity index 100%
rename from src/plugins/value/partitioning/per_stmt_slevel.ml
rename to src/plugins/eva/partitioning/per_stmt_slevel.ml
diff --git a/src/plugins/value/partitioning/per_stmt_slevel.mli b/src/plugins/eva/partitioning/per_stmt_slevel.mli
similarity index 100%
rename from src/plugins/value/partitioning/per_stmt_slevel.mli
rename to src/plugins/eva/partitioning/per_stmt_slevel.mli
diff --git a/src/plugins/value/partitioning/split_return.ml b/src/plugins/eva/partitioning/split_return.ml
similarity index 100%
rename from src/plugins/value/partitioning/split_return.ml
rename to src/plugins/eva/partitioning/split_return.ml
diff --git a/src/plugins/value/partitioning/split_return.mli b/src/plugins/eva/partitioning/split_return.mli
similarity index 100%
rename from src/plugins/value/partitioning/split_return.mli
rename to src/plugins/eva/partitioning/split_return.mli
diff --git a/src/plugins/value/partitioning/split_strategy.ml b/src/plugins/eva/partitioning/split_strategy.ml
similarity index 100%
rename from src/plugins/value/partitioning/split_strategy.ml
rename to src/plugins/eva/partitioning/split_strategy.ml
diff --git a/src/plugins/value/partitioning/split_strategy.mli b/src/plugins/eva/partitioning/split_strategy.mli
similarity index 100%
rename from src/plugins/value/partitioning/split_strategy.mli
rename to src/plugins/eva/partitioning/split_strategy.mli
diff --git a/src/plugins/value/partitioning/trace_partitioning.ml b/src/plugins/eva/partitioning/trace_partitioning.ml
similarity index 100%
rename from src/plugins/value/partitioning/trace_partitioning.ml
rename to src/plugins/eva/partitioning/trace_partitioning.ml
diff --git a/src/plugins/value/partitioning/trace_partitioning.mli b/src/plugins/eva/partitioning/trace_partitioning.mli
similarity index 100%
rename from src/plugins/value/partitioning/trace_partitioning.mli
rename to src/plugins/eva/partitioning/trace_partitioning.mli
diff --git a/src/plugins/value/register.ml b/src/plugins/eva/register.ml
similarity index 100%
rename from src/plugins/value/register.ml
rename to src/plugins/eva/register.ml
diff --git a/src/plugins/value/register.mli b/src/plugins/eva/register.mli
similarity index 100%
rename from src/plugins/value/register.mli
rename to src/plugins/eva/register.mli
diff --git a/src/plugins/value/self.ml b/src/plugins/eva/self.ml
similarity index 100%
rename from src/plugins/value/self.ml
rename to src/plugins/eva/self.ml
diff --git a/src/plugins/value/self.mli b/src/plugins/eva/self.mli
similarity index 100%
rename from src/plugins/value/self.mli
rename to src/plugins/eva/self.mli
diff --git a/src/plugins/value/test.assert.sh b/src/plugins/eva/test.assert.sh
similarity index 100%
rename from src/plugins/value/test.assert.sh
rename to src/plugins/eva/test.assert.sh
diff --git a/src/plugins/value/test.sh b/src/plugins/eva/test.sh
similarity index 100%
rename from src/plugins/value/test.sh
rename to src/plugins/eva/test.sh
diff --git a/src/plugins/value/utils/abstract.ml b/src/plugins/eva/utils/abstract.ml
similarity index 100%
rename from src/plugins/value/utils/abstract.ml
rename to src/plugins/eva/utils/abstract.ml
diff --git a/src/plugins/value/utils/abstract.mli b/src/plugins/eva/utils/abstract.mli
similarity index 100%
rename from src/plugins/value/utils/abstract.mli
rename to src/plugins/eva/utils/abstract.mli
diff --git a/src/plugins/value/utils/active_behaviors.ml b/src/plugins/eva/utils/active_behaviors.ml
similarity index 100%
rename from src/plugins/value/utils/active_behaviors.ml
rename to src/plugins/eva/utils/active_behaviors.ml
diff --git a/src/plugins/value/utils/active_behaviors.mli b/src/plugins/eva/utils/active_behaviors.mli
similarity index 100%
rename from src/plugins/value/utils/active_behaviors.mli
rename to src/plugins/eva/utils/active_behaviors.mli
diff --git a/src/plugins/value/utils/backward_formals.ml b/src/plugins/eva/utils/backward_formals.ml
similarity index 100%
rename from src/plugins/value/utils/backward_formals.ml
rename to src/plugins/eva/utils/backward_formals.ml
diff --git a/src/plugins/value/utils/backward_formals.mli b/src/plugins/eva/utils/backward_formals.mli
similarity index 100%
rename from src/plugins/value/utils/backward_formals.mli
rename to src/plugins/eva/utils/backward_formals.mli
diff --git a/src/plugins/value/utils/cvalue_callbacks.ml b/src/plugins/eva/utils/cvalue_callbacks.ml
similarity index 100%
rename from src/plugins/value/utils/cvalue_callbacks.ml
rename to src/plugins/eva/utils/cvalue_callbacks.ml
diff --git a/src/plugins/value/utils/cvalue_callbacks.mli b/src/plugins/eva/utils/cvalue_callbacks.mli
similarity index 100%
rename from src/plugins/value/utils/cvalue_callbacks.mli
rename to src/plugins/eva/utils/cvalue_callbacks.mli
diff --git a/src/plugins/value/utils/eva_annotations.ml b/src/plugins/eva/utils/eva_annotations.ml
similarity index 100%
rename from src/plugins/value/utils/eva_annotations.ml
rename to src/plugins/eva/utils/eva_annotations.ml
diff --git a/src/plugins/value/utils/eva_annotations.mli b/src/plugins/eva/utils/eva_annotations.mli
similarity index 100%
rename from src/plugins/value/utils/eva_annotations.mli
rename to src/plugins/eva/utils/eva_annotations.mli
diff --git a/src/plugins/value/utils/eva_audit.ml b/src/plugins/eva/utils/eva_audit.ml
similarity index 100%
rename from src/plugins/value/utils/eva_audit.ml
rename to src/plugins/eva/utils/eva_audit.ml
diff --git a/src/plugins/value/utils/eva_audit.mli b/src/plugins/eva/utils/eva_audit.mli
similarity index 100%
rename from src/plugins/value/utils/eva_audit.mli
rename to src/plugins/eva/utils/eva_audit.mli
diff --git a/src/plugins/value/utils/eva_dynamic.ml b/src/plugins/eva/utils/eva_dynamic.ml
similarity index 100%
rename from src/plugins/value/utils/eva_dynamic.ml
rename to src/plugins/eva/utils/eva_dynamic.ml
diff --git a/src/plugins/value/utils/eva_dynamic.mli b/src/plugins/eva/utils/eva_dynamic.mli
similarity index 100%
rename from src/plugins/value/utils/eva_dynamic.mli
rename to src/plugins/eva/utils/eva_dynamic.mli
diff --git a/src/plugins/value/utils/eva_perf.ml b/src/plugins/eva/utils/eva_perf.ml
similarity index 100%
rename from src/plugins/value/utils/eva_perf.ml
rename to src/plugins/eva/utils/eva_perf.ml
diff --git a/src/plugins/value/utils/eva_perf.mli b/src/plugins/eva/utils/eva_perf.mli
similarity index 100%
rename from src/plugins/value/utils/eva_perf.mli
rename to src/plugins/eva/utils/eva_perf.mli
diff --git a/src/plugins/value/utils/eva_results.ml b/src/plugins/eva/utils/eva_results.ml
similarity index 100%
rename from src/plugins/value/utils/eva_results.ml
rename to src/plugins/eva/utils/eva_results.ml
diff --git a/src/plugins/value/utils/eva_results.mli b/src/plugins/eva/utils/eva_results.mli
similarity index 100%
rename from src/plugins/value/utils/eva_results.mli
rename to src/plugins/eva/utils/eva_results.mli
diff --git a/src/plugins/value/utils/eva_utils.ml b/src/plugins/eva/utils/eva_utils.ml
similarity index 100%
rename from src/plugins/value/utils/eva_utils.ml
rename to src/plugins/eva/utils/eva_utils.ml
diff --git a/src/plugins/value/utils/eva_utils.mli b/src/plugins/eva/utils/eva_utils.mli
similarity index 100%
rename from src/plugins/value/utils/eva_utils.mli
rename to src/plugins/eva/utils/eva_utils.mli
diff --git a/src/plugins/value/utils/eval_typ.ml b/src/plugins/eva/utils/eval_typ.ml
similarity index 100%
rename from src/plugins/value/utils/eval_typ.ml
rename to src/plugins/eva/utils/eval_typ.ml
diff --git a/src/plugins/value/utils/eval_typ.mli b/src/plugins/eva/utils/eval_typ.mli
similarity index 100%
rename from src/plugins/value/utils/eval_typ.mli
rename to src/plugins/eva/utils/eval_typ.mli
diff --git a/src/plugins/value/utils/library_functions.ml b/src/plugins/eva/utils/library_functions.ml
similarity index 100%
rename from src/plugins/value/utils/library_functions.ml
rename to src/plugins/eva/utils/library_functions.ml
diff --git a/src/plugins/value/utils/library_functions.mli b/src/plugins/eva/utils/library_functions.mli
similarity index 100%
rename from src/plugins/value/utils/library_functions.mli
rename to src/plugins/eva/utils/library_functions.mli
diff --git a/src/plugins/value/utils/red_statuses.ml b/src/plugins/eva/utils/red_statuses.ml
similarity index 100%
rename from src/plugins/value/utils/red_statuses.ml
rename to src/plugins/eva/utils/red_statuses.ml
diff --git a/src/plugins/value/utils/red_statuses.mli b/src/plugins/eva/utils/red_statuses.mli
similarity index 100%
rename from src/plugins/value/utils/red_statuses.mli
rename to src/plugins/eva/utils/red_statuses.mli
diff --git a/src/plugins/value/utils/results.ml b/src/plugins/eva/utils/results.ml
similarity index 100%
rename from src/plugins/value/utils/results.ml
rename to src/plugins/eva/utils/results.ml
diff --git a/src/plugins/value/utils/results.mli b/src/plugins/eva/utils/results.mli
similarity index 100%
rename from src/plugins/value/utils/results.mli
rename to src/plugins/eva/utils/results.mli
diff --git a/src/plugins/value/utils/structure.ml b/src/plugins/eva/utils/structure.ml
similarity index 100%
rename from src/plugins/value/utils/structure.ml
rename to src/plugins/eva/utils/structure.ml
diff --git a/src/plugins/value/utils/structure.mli b/src/plugins/eva/utils/structure.mli
similarity index 100%
rename from src/plugins/value/utils/structure.mli
rename to src/plugins/eva/utils/structure.mli
diff --git a/src/plugins/value/utils/summary.ml b/src/plugins/eva/utils/summary.ml
similarity index 100%
rename from src/plugins/value/utils/summary.ml
rename to src/plugins/eva/utils/summary.ml
diff --git a/src/plugins/value/utils/summary.mli b/src/plugins/eva/utils/summary.mli
similarity index 100%
rename from src/plugins/value/utils/summary.mli
rename to src/plugins/eva/utils/summary.mli
diff --git a/src/plugins/value/utils/unit_tests.ml b/src/plugins/eva/utils/unit_tests.ml
similarity index 100%
rename from src/plugins/value/utils/unit_tests.ml
rename to src/plugins/eva/utils/unit_tests.ml
diff --git a/src/plugins/value/utils/unit_tests.mli b/src/plugins/eva/utils/unit_tests.mli
similarity index 100%
rename from src/plugins/value/utils/unit_tests.mli
rename to src/plugins/eva/utils/unit_tests.mli
diff --git a/src/plugins/value/utils/widen.ml b/src/plugins/eva/utils/widen.ml
similarity index 100%
rename from src/plugins/value/utils/widen.ml
rename to src/plugins/eva/utils/widen.ml
diff --git a/src/plugins/value/utils/widen.mli b/src/plugins/eva/utils/widen.mli
similarity index 100%
rename from src/plugins/value/utils/widen.mli
rename to src/plugins/eva/utils/widen.mli
diff --git a/src/plugins/value/utils/widen_hints_ext.ml b/src/plugins/eva/utils/widen_hints_ext.ml
similarity index 100%
rename from src/plugins/value/utils/widen_hints_ext.ml
rename to src/plugins/eva/utils/widen_hints_ext.ml
diff --git a/src/plugins/value/utils/widen_hints_ext.mli b/src/plugins/eva/utils/widen_hints_ext.mli
similarity index 100%
rename from src/plugins/value/utils/widen_hints_ext.mli
rename to src/plugins/eva/utils/widen_hints_ext.mli
diff --git a/src/plugins/value/values/abstract_location.ml b/src/plugins/eva/values/abstract_location.ml
similarity index 100%
rename from src/plugins/value/values/abstract_location.ml
rename to src/plugins/eva/values/abstract_location.ml
diff --git a/src/plugins/value/values/abstract_value.ml b/src/plugins/eva/values/abstract_value.ml
similarity index 100%
rename from src/plugins/value/values/abstract_value.ml
rename to src/plugins/eva/values/abstract_value.ml
diff --git a/src/plugins/value/values/cvalue_backward.ml b/src/plugins/eva/values/cvalue_backward.ml
similarity index 100%
rename from src/plugins/value/values/cvalue_backward.ml
rename to src/plugins/eva/values/cvalue_backward.ml
diff --git a/src/plugins/value/values/cvalue_backward.mli b/src/plugins/eva/values/cvalue_backward.mli
similarity index 100%
rename from src/plugins/value/values/cvalue_backward.mli
rename to src/plugins/eva/values/cvalue_backward.mli
diff --git a/src/plugins/value/values/cvalue_forward.ml b/src/plugins/eva/values/cvalue_forward.ml
similarity index 100%
rename from src/plugins/value/values/cvalue_forward.ml
rename to src/plugins/eva/values/cvalue_forward.ml
diff --git a/src/plugins/value/values/cvalue_forward.mli b/src/plugins/eva/values/cvalue_forward.mli
similarity index 100%
rename from src/plugins/value/values/cvalue_forward.mli
rename to src/plugins/eva/values/cvalue_forward.mli
diff --git a/src/plugins/value/values/location_lift.ml b/src/plugins/eva/values/location_lift.ml
similarity index 100%
rename from src/plugins/value/values/location_lift.ml
rename to src/plugins/eva/values/location_lift.ml
diff --git a/src/plugins/value/values/location_lift.mli b/src/plugins/eva/values/location_lift.mli
similarity index 100%
rename from src/plugins/value/values/location_lift.mli
rename to src/plugins/eva/values/location_lift.mli
diff --git a/src/plugins/value/values/main_locations.ml b/src/plugins/eva/values/main_locations.ml
similarity index 100%
rename from src/plugins/value/values/main_locations.ml
rename to src/plugins/eva/values/main_locations.ml
diff --git a/src/plugins/value/values/main_locations.mli b/src/plugins/eva/values/main_locations.mli
similarity index 100%
rename from src/plugins/value/values/main_locations.mli
rename to src/plugins/eva/values/main_locations.mli
diff --git a/src/plugins/value/values/main_values.ml b/src/plugins/eva/values/main_values.ml
similarity index 100%
rename from src/plugins/value/values/main_values.ml
rename to src/plugins/eva/values/main_values.ml
diff --git a/src/plugins/value/values/main_values.mli b/src/plugins/eva/values/main_values.mli
similarity index 100%
rename from src/plugins/value/values/main_values.mli
rename to src/plugins/eva/values/main_values.mli
diff --git a/src/plugins/value/values/numerors/numerors_arithmetics.ml b/src/plugins/eva/values/numerors/numerors_arithmetics.ml
similarity index 100%
rename from src/plugins/value/values/numerors/numerors_arithmetics.ml
rename to src/plugins/eva/values/numerors/numerors_arithmetics.ml
diff --git a/src/plugins/value/values/numerors/numerors_arithmetics.mli b/src/plugins/eva/values/numerors/numerors_arithmetics.mli
similarity index 100%
rename from src/plugins/value/values/numerors/numerors_arithmetics.mli
rename to src/plugins/eva/values/numerors/numerors_arithmetics.mli
diff --git a/src/plugins/value/values/numerors/numerors_float.ml b/src/plugins/eva/values/numerors/numerors_float.ml
similarity index 100%
rename from src/plugins/value/values/numerors/numerors_float.ml
rename to src/plugins/eva/values/numerors/numerors_float.ml
diff --git a/src/plugins/value/values/numerors/numerors_float.mli b/src/plugins/eva/values/numerors/numerors_float.mli
similarity index 100%
rename from src/plugins/value/values/numerors/numerors_float.mli
rename to src/plugins/eva/values/numerors/numerors_float.mli
diff --git a/src/plugins/value/values/numerors/numerors_interval.ml b/src/plugins/eva/values/numerors/numerors_interval.ml
similarity index 100%
rename from src/plugins/value/values/numerors/numerors_interval.ml
rename to src/plugins/eva/values/numerors/numerors_interval.ml
diff --git a/src/plugins/value/values/numerors/numerors_interval.mli b/src/plugins/eva/values/numerors/numerors_interval.mli
similarity index 100%
rename from src/plugins/value/values/numerors/numerors_interval.mli
rename to src/plugins/eva/values/numerors/numerors_interval.mli
diff --git a/src/plugins/value/values/numerors/numerors_utils.ml b/src/plugins/eva/values/numerors/numerors_utils.ml
similarity index 100%
rename from src/plugins/value/values/numerors/numerors_utils.ml
rename to src/plugins/eva/values/numerors/numerors_utils.ml
diff --git a/src/plugins/value/values/numerors/numerors_utils.mli b/src/plugins/eva/values/numerors/numerors_utils.mli
similarity index 100%
rename from src/plugins/value/values/numerors/numerors_utils.mli
rename to src/plugins/eva/values/numerors/numerors_utils.mli
diff --git a/src/plugins/value/values/numerors/numerors_value.ml b/src/plugins/eva/values/numerors/numerors_value.ml
similarity index 100%
rename from src/plugins/value/values/numerors/numerors_value.ml
rename to src/plugins/eva/values/numerors/numerors_value.ml
diff --git a/src/plugins/value/values/numerors/numerors_value.mli b/src/plugins/eva/values/numerors/numerors_value.mli
similarity index 100%
rename from src/plugins/value/values/numerors/numerors_value.mli
rename to src/plugins/eva/values/numerors/numerors_value.mli
diff --git a/src/plugins/value/values/offsm_value.ml b/src/plugins/eva/values/offsm_value.ml
similarity index 100%
rename from src/plugins/value/values/offsm_value.ml
rename to src/plugins/eva/values/offsm_value.ml
diff --git a/src/plugins/value/values/offsm_value.mli b/src/plugins/eva/values/offsm_value.mli
similarity index 100%
rename from src/plugins/value/values/offsm_value.mli
rename to src/plugins/eva/values/offsm_value.mli
diff --git a/src/plugins/value/values/sign_value.ml b/src/plugins/eva/values/sign_value.ml
similarity index 100%
rename from src/plugins/value/values/sign_value.ml
rename to src/plugins/eva/values/sign_value.ml
diff --git a/src/plugins/value/values/sign_value.mli b/src/plugins/eva/values/sign_value.mli
similarity index 100%
rename from src/plugins/value/values/sign_value.mli
rename to src/plugins/eva/values/sign_value.mli
diff --git a/src/plugins/value/values/value_product.ml b/src/plugins/eva/values/value_product.ml
similarity index 100%
rename from src/plugins/value/values/value_product.ml
rename to src/plugins/eva/values/value_product.ml
diff --git a/src/plugins/value/values/value_product.mli b/src/plugins/eva/values/value_product.mli
similarity index 100%
rename from src/plugins/value/values/value_product.mli
rename to src/plugins/eva/values/value_product.mli
diff --git a/src/plugins/value/vtests.sh b/src/plugins/eva/vtests.sh
similarity index 100%
rename from src/plugins/value/vtests.sh
rename to src/plugins/eva/vtests.sh