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/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_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