From 753ab8257e9b4251e7d1e6fda53575557d2cc953 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 11 Jul 2022 14:26:13 +0200
Subject: [PATCH] [Eva] Renames plugin directory from value to eva.

---
 .gitignore                                                    | 2 +-
 nix/frama-c.nix                                               | 4 ++--
 nix/internal-tests.nix                                        | 4 ++--
 src/kernel_services/ast_queries/logic_typing.ml               | 2 +-
 src/plugins/{value => eva}/.gitattributes                     | 0
 src/plugins/{value => eva}/Changelog_non_free                 | 0
 src/plugins/{value => eva}/Eva.ml.in                          | 0
 src/plugins/{value => eva}/Eva.mli.in                         | 0
 src/plugins/{value => eva}/alarmset.ml                        | 0
 src/plugins/{value => eva}/alarmset.mli                       | 0
 src/plugins/{value => eva}/api/general_requests.ml            | 0
 src/plugins/{value => eva}/api/general_requests.mli           | 0
 src/plugins/{value => eva}/api/values_request.ml              | 0
 src/plugins/{value => eva}/api/values_request.mli             | 0
 src/plugins/{value => eva}/domains/abstract_domain.ml         | 0
 src/plugins/{value => eva}/domains/apron/apron_domain.ml      | 0
 src/plugins/{value => eva}/domains/apron/apron_domain.mli     | 0
 src/plugins/{value => eva}/domains/cvalue/builtins.ml         | 0
 src/plugins/{value => eva}/domains/cvalue/builtins.mli        | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_float.ml   | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_float.mli  | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_malloc.ml  | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_malloc.mli | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_memory.ml  | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_memory.mli | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_misc.ml    | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_misc.mli   | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_print_c.ml | 0
 .../{value => eva}/domains/cvalue/builtins_print_c.mli        | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_split.ml   | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_split.mli  | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_string.ml  | 0
 src/plugins/{value => eva}/domains/cvalue/builtins_string.mli | 0
 .../{value => eva}/domains/cvalue/builtins_watchpoint.ml      | 0
 .../{value => eva}/domains/cvalue/builtins_watchpoint.mli     | 0
 src/plugins/{value => eva}/domains/cvalue/cvalue_domain.ml    | 0
 src/plugins/{value => eva}/domains/cvalue/cvalue_domain.mli   | 0
 src/plugins/{value => eva}/domains/cvalue/cvalue_init.ml      | 0
 src/plugins/{value => eva}/domains/cvalue/cvalue_init.mli     | 0
 src/plugins/{value => eva}/domains/cvalue/cvalue_offsetmap.ml | 0
 .../{value => eva}/domains/cvalue/cvalue_offsetmap.mli        | 0
 .../{value => eva}/domains/cvalue/cvalue_specification.ml     | 0
 .../{value => eva}/domains/cvalue/cvalue_specification.mli    | 0
 src/plugins/{value => eva}/domains/cvalue/cvalue_transfer.ml  | 0
 src/plugins/{value => eva}/domains/cvalue/cvalue_transfer.mli | 0
 src/plugins/{value => eva}/domains/cvalue/locals_scoping.ml   | 0
 src/plugins/{value => eva}/domains/cvalue/locals_scoping.mli  | 0
 src/plugins/{value => eva}/domains/cvalue/warn.ml             | 0
 src/plugins/{value => eva}/domains/cvalue/warn.mli            | 0
 src/plugins/{value => eva}/domains/domain_builder.ml          | 0
 src/plugins/{value => eva}/domains/domain_builder.mli         | 0
 src/plugins/{value => eva}/domains/domain_lift.ml             | 0
 src/plugins/{value => eva}/domains/domain_lift.mli            | 0
 src/plugins/{value => eva}/domains/domain_mode.ml             | 0
 src/plugins/{value => eva}/domains/domain_mode.mli            | 0
 src/plugins/{value => eva}/domains/domain_product.ml          | 0
 src/plugins/{value => eva}/domains/domain_product.mli         | 0
 src/plugins/{value => eva}/domains/domain_store.ml            | 0
 src/plugins/{value => eva}/domains/domain_store.mli           | 0
 src/plugins/{value => eva}/domains/equality/equality.ml       | 0
 src/plugins/{value => eva}/domains/equality/equality.mli      | 0
 .../{value => eva}/domains/equality/equality_domain.ml        | 0
 .../{value => eva}/domains/equality/equality_domain.mli       | 0
 src/plugins/{value => eva}/domains/gauges/gauges_domain.ml    | 0
 src/plugins/{value => eva}/domains/gauges/gauges_domain.mli   | 0
 src/plugins/{value => eva}/domains/hcexprs.ml                 | 0
 src/plugins/{value => eva}/domains/hcexprs.mli                | 0
 src/plugins/{value => eva}/domains/inout_domain.ml            | 0
 src/plugins/{value => eva}/domains/inout_domain.mli           | 0
 .../{value => eva}/domains/multidim/abstract_memory.ml        | 0
 .../{value => eva}/domains/multidim/abstract_memory.mli       | 0
 .../{value => eva}/domains/multidim/abstract_offset.ml        | 0
 .../{value => eva}/domains/multidim/abstract_offset.mli       | 0
 .../{value => eva}/domains/multidim/abstract_structure.ml     | 0
 .../{value => eva}/domains/multidim/abstract_structure.mli    | 0
 src/plugins/{value => eva}/domains/multidim/multidim.ml       | 0
 src/plugins/{value => eva}/domains/multidim/multidim.mli      | 0
 .../{value => eva}/domains/multidim/multidim_domain.ml        | 0
 .../{value => eva}/domains/multidim/multidim_domain.mli       | 0
 src/plugins/{value => eva}/domains/multidim/pretty_memory.ml  | 0
 src/plugins/{value => eva}/domains/multidim/pretty_memory.mli | 0
 src/plugins/{value => eva}/domains/multidim/segmentation.ml   | 0
 src/plugins/{value => eva}/domains/multidim/segmentation.mli  | 0
 src/plugins/{value => eva}/domains/multidim/typed_memory.ml   | 0
 src/plugins/{value => eva}/domains/multidim/typed_memory.mli  | 0
 .../{value => eva}/domains/numerors/numerors_domain.ml        | 0
 .../{value => eva}/domains/numerors/numerors_domain.mli       | 0
 src/plugins/{value => eva}/domains/octagons.ml                | 0
 src/plugins/{value => eva}/domains/octagons.mli               | 0
 src/plugins/{value => eva}/domains/offsm_domain.ml            | 0
 src/plugins/{value => eva}/domains/offsm_domain.mli           | 0
 src/plugins/{value => eva}/domains/powerset.ml                | 0
 src/plugins/{value => eva}/domains/powerset.mli               | 0
 src/plugins/{value => eva}/domains/printer_domain.ml          | 0
 src/plugins/{value => eva}/domains/printer_domain.mli         | 0
 src/plugins/{value => eva}/domains/sign_domain.ml             | 0
 src/plugins/{value => eva}/domains/sign_domain.mli            | 0
 src/plugins/{value => eva}/domains/simple_memory.ml           | 0
 src/plugins/{value => eva}/domains/simple_memory.mli          | 0
 src/plugins/{value => eva}/domains/simpler_domains.ml         | 0
 src/plugins/{value => eva}/domains/symbolic_locs.ml           | 0
 src/plugins/{value => eva}/domains/symbolic_locs.mli          | 0
 src/plugins/{value => eva}/domains/taint_domain.ml            | 0
 src/plugins/{value => eva}/domains/taint_domain.mli           | 0
 src/plugins/{value => eva}/domains/traces_domain.ml           | 0
 src/plugins/{value => eva}/domains/traces_domain.mli          | 0
 src/plugins/{value => eva}/domains/unit_domain.ml             | 0
 src/plugins/{value => eva}/domains/unit_domain.mli            | 0
 src/plugins/{value => eva}/dune                               | 0
 src/plugins/{value => eva}/dune-project                       | 0
 src/plugins/{value => eva}/engine/abstractions.ml             | 0
 src/plugins/{value => eva}/engine/abstractions.mli            | 0
 src/plugins/{value => eva}/engine/analysis.ml                 | 0
 src/plugins/{value => eva}/engine/analysis.mli                | 0
 src/plugins/{value => eva}/engine/compute_functions.ml        | 0
 src/plugins/{value => eva}/engine/compute_functions.mli       | 0
 src/plugins/{value => eva}/engine/evaluation.ml               | 0
 src/plugins/{value => eva}/engine/evaluation.mli              | 0
 src/plugins/{value => eva}/engine/function_calls.ml           | 0
 src/plugins/{value => eva}/engine/function_calls.mli          | 0
 src/plugins/{value => eva}/engine/initialization.ml           | 0
 src/plugins/{value => eva}/engine/initialization.mli          | 0
 src/plugins/{value => eva}/engine/iterator.ml                 | 0
 src/plugins/{value => eva}/engine/iterator.mli                | 0
 src/plugins/{value => eva}/engine/mem_exec.ml                 | 0
 src/plugins/{value => eva}/engine/mem_exec.mli                | 0
 src/plugins/{value => eva}/engine/recursion.ml                | 0
 src/plugins/{value => eva}/engine/recursion.mli               | 0
 src/plugins/{value => eva}/engine/subdivided_evaluation.ml    | 0
 src/plugins/{value => eva}/engine/subdivided_evaluation.mli   | 0
 src/plugins/{value => eva}/engine/transfer_logic.ml           | 0
 src/plugins/{value => eva}/engine/transfer_logic.mli          | 0
 src/plugins/{value => eva}/engine/transfer_specification.ml   | 0
 src/plugins/{value => eva}/engine/transfer_specification.mli  | 0
 src/plugins/{value => eva}/engine/transfer_stmt.ml            | 0
 src/plugins/{value => eva}/engine/transfer_stmt.mli           | 0
 src/plugins/{value => eva}/eval.ml                            | 0
 src/plugins/{value => eva}/eval.mli                           | 0
 src/plugins/{value => eva}/frama-c-eva.opam                   | 0
 src/plugins/{value => eva}/gen-api.sh                         | 0
 src/plugins/{value => eva}/gen_test_config.sh                 | 0
 .../{value => eva}/gui_files/gui_callstacks_filters.ml        | 0
 .../{value => eva}/gui_files/gui_callstacks_filters.mli       | 0
 .../{value => eva}/gui_files/gui_callstacks_manager.ml        | 0
 .../{value => eva}/gui_files/gui_callstacks_manager.mli       | 0
 src/plugins/{value => eva}/gui_files/gui_eval.ml              | 0
 src/plugins/{value => eva}/gui_files/gui_eval.mli             | 0
 src/plugins/{value => eva}/gui_files/gui_red.ml               | 0
 src/plugins/{value => eva}/gui_files/gui_red.mli              | 0
 src/plugins/{value => eva}/gui_files/gui_types.ml             | 0
 src/plugins/{value => eva}/gui_files/gui_types.mli            | 0
 src/plugins/{value => eva}/gui_files/register_gui.ml          | 0
 src/plugins/{value => eva}/gui_files/register_gui.mli         | 0
 src/plugins/{value => eva}/legacy/TOREMOVE                    | 0
 src/plugins/{value => eva}/legacy/eval_annots.ml              | 0
 src/plugins/{value => eva}/legacy/eval_annots.mli             | 0
 src/plugins/{value => eva}/legacy/eval_op.ml                  | 0
 src/plugins/{value => eva}/legacy/eval_op.mli                 | 0
 src/plugins/{value => eva}/legacy/eval_terms.ml               | 0
 src/plugins/{value => eva}/legacy/eval_terms.mli              | 0
 src/plugins/{value => eva}/legacy/function_args.ml            | 0
 src/plugins/{value => eva}/legacy/function_args.mli           | 0
 src/plugins/{value => eva}/parameters.ml                      | 0
 src/plugins/{value => eva}/parameters.mli                     | 0
 src/plugins/{value => eva}/partitioning/auto_loop_unroll.ml   | 0
 src/plugins/{value => eva}/partitioning/auto_loop_unroll.mli  | 0
 src/plugins/{value => eva}/partitioning/partition.ml          | 0
 src/plugins/{value => eva}/partitioning/partition.mli         | 0
 src/plugins/{value => eva}/partitioning/partitioning_index.ml | 0
 .../{value => eva}/partitioning/partitioning_index.mli        | 0
 .../{value => eva}/partitioning/partitioning_parameters.ml    | 0
 .../{value => eva}/partitioning/partitioning_parameters.mli   | 0
 src/plugins/{value => eva}/partitioning/per_stmt_slevel.ml    | 0
 src/plugins/{value => eva}/partitioning/per_stmt_slevel.mli   | 0
 src/plugins/{value => eva}/partitioning/split_return.ml       | 0
 src/plugins/{value => eva}/partitioning/split_return.mli      | 0
 src/plugins/{value => eva}/partitioning/split_strategy.ml     | 0
 src/plugins/{value => eva}/partitioning/split_strategy.mli    | 0
 src/plugins/{value => eva}/partitioning/trace_partitioning.ml | 0
 .../{value => eva}/partitioning/trace_partitioning.mli        | 0
 src/plugins/{value => eva}/register.ml                        | 0
 src/plugins/{value => eva}/register.mli                       | 0
 src/plugins/{value => eva}/self.ml                            | 0
 src/plugins/{value => eva}/self.mli                           | 0
 src/plugins/{value => eva}/test.assert.sh                     | 0
 src/plugins/{value => eva}/test.sh                            | 0
 src/plugins/{value => eva}/utils/abstract.ml                  | 0
 src/plugins/{value => eva}/utils/abstract.mli                 | 0
 src/plugins/{value => eva}/utils/active_behaviors.ml          | 0
 src/plugins/{value => eva}/utils/active_behaviors.mli         | 0
 src/plugins/{value => eva}/utils/backward_formals.ml          | 0
 src/plugins/{value => eva}/utils/backward_formals.mli         | 0
 src/plugins/{value => eva}/utils/cvalue_callbacks.ml          | 0
 src/plugins/{value => eva}/utils/cvalue_callbacks.mli         | 0
 src/plugins/{value => eva}/utils/eva_annotations.ml           | 0
 src/plugins/{value => eva}/utils/eva_annotations.mli          | 0
 src/plugins/{value => eva}/utils/eva_audit.ml                 | 0
 src/plugins/{value => eva}/utils/eva_audit.mli                | 0
 src/plugins/{value => eva}/utils/eva_dynamic.ml               | 0
 src/plugins/{value => eva}/utils/eva_dynamic.mli              | 0
 src/plugins/{value => eva}/utils/eva_perf.ml                  | 0
 src/plugins/{value => eva}/utils/eva_perf.mli                 | 0
 src/plugins/{value => eva}/utils/eva_results.ml               | 0
 src/plugins/{value => eva}/utils/eva_results.mli              | 0
 src/plugins/{value => eva}/utils/eva_utils.ml                 | 0
 src/plugins/{value => eva}/utils/eva_utils.mli                | 0
 src/plugins/{value => eva}/utils/eval_typ.ml                  | 0
 src/plugins/{value => eva}/utils/eval_typ.mli                 | 0
 src/plugins/{value => eva}/utils/library_functions.ml         | 0
 src/plugins/{value => eva}/utils/library_functions.mli        | 0
 src/plugins/{value => eva}/utils/red_statuses.ml              | 0
 src/plugins/{value => eva}/utils/red_statuses.mli             | 0
 src/plugins/{value => eva}/utils/results.ml                   | 0
 src/plugins/{value => eva}/utils/results.mli                  | 0
 src/plugins/{value => eva}/utils/structure.ml                 | 0
 src/plugins/{value => eva}/utils/structure.mli                | 0
 src/plugins/{value => eva}/utils/summary.ml                   | 0
 src/plugins/{value => eva}/utils/summary.mli                  | 0
 src/plugins/{value => eva}/utils/unit_tests.ml                | 0
 src/plugins/{value => eva}/utils/unit_tests.mli               | 0
 src/plugins/{value => eva}/utils/widen.ml                     | 0
 src/plugins/{value => eva}/utils/widen.mli                    | 0
 src/plugins/{value => eva}/utils/widen_hints_ext.ml           | 0
 src/plugins/{value => eva}/utils/widen_hints_ext.mli          | 0
 src/plugins/{value => eva}/values/abstract_location.ml        | 0
 src/plugins/{value => eva}/values/abstract_value.ml           | 0
 src/plugins/{value => eva}/values/cvalue_backward.ml          | 0
 src/plugins/{value => eva}/values/cvalue_backward.mli         | 0
 src/plugins/{value => eva}/values/cvalue_forward.ml           | 0
 src/plugins/{value => eva}/values/cvalue_forward.mli          | 0
 src/plugins/{value => eva}/values/location_lift.ml            | 0
 src/plugins/{value => eva}/values/location_lift.mli           | 0
 src/plugins/{value => eva}/values/main_locations.ml           | 0
 src/plugins/{value => eva}/values/main_locations.mli          | 0
 src/plugins/{value => eva}/values/main_values.ml              | 0
 src/plugins/{value => eva}/values/main_values.mli             | 0
 .../{value => eva}/values/numerors/numerors_arithmetics.ml    | 0
 .../{value => eva}/values/numerors/numerors_arithmetics.mli   | 0
 src/plugins/{value => eva}/values/numerors/numerors_float.ml  | 0
 src/plugins/{value => eva}/values/numerors/numerors_float.mli | 0
 .../{value => eva}/values/numerors/numerors_interval.ml       | 0
 .../{value => eva}/values/numerors/numerors_interval.mli      | 0
 src/plugins/{value => eva}/values/numerors/numerors_utils.ml  | 0
 src/plugins/{value => eva}/values/numerors/numerors_utils.mli | 0
 src/plugins/{value => eva}/values/numerors/numerors_value.ml  | 0
 src/plugins/{value => eva}/values/numerors/numerors_value.mli | 0
 src/plugins/{value => eva}/values/offsm_value.ml              | 0
 src/plugins/{value => eva}/values/offsm_value.mli             | 0
 src/plugins/{value => eva}/values/sign_value.ml               | 0
 src/plugins/{value => eva}/values/sign_value.mli              | 0
 src/plugins/{value => eva}/values/value_product.ml            | 0
 src/plugins/{value => eva}/values/value_product.mli           | 0
 src/plugins/{value => eva}/vtests.sh                          | 0
 253 files changed, 6 insertions(+), 6 deletions(-)
 rename src/plugins/{value => eva}/.gitattributes (100%)
 rename src/plugins/{value => eva}/Changelog_non_free (100%)
 rename src/plugins/{value => eva}/Eva.ml.in (100%)
 rename src/plugins/{value => eva}/Eva.mli.in (100%)
 rename src/plugins/{value => eva}/alarmset.ml (100%)
 rename src/plugins/{value => eva}/alarmset.mli (100%)
 rename src/plugins/{value => eva}/api/general_requests.ml (100%)
 rename src/plugins/{value => eva}/api/general_requests.mli (100%)
 rename src/plugins/{value => eva}/api/values_request.ml (100%)
 rename src/plugins/{value => eva}/api/values_request.mli (100%)
 rename src/plugins/{value => eva}/domains/abstract_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/apron/apron_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/apron/apron_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_float.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_float.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_malloc.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_malloc.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_memory.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_memory.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_misc.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_misc.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_print_c.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_print_c.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_split.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_split.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_string.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_string.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_watchpoint.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/builtins_watchpoint.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/cvalue_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/cvalue_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/cvalue_init.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/cvalue_init.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/cvalue_offsetmap.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/cvalue_offsetmap.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/cvalue_specification.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/cvalue_specification.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/cvalue_transfer.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/cvalue_transfer.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/locals_scoping.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/locals_scoping.mli (100%)
 rename src/plugins/{value => eva}/domains/cvalue/warn.ml (100%)
 rename src/plugins/{value => eva}/domains/cvalue/warn.mli (100%)
 rename src/plugins/{value => eva}/domains/domain_builder.ml (100%)
 rename src/plugins/{value => eva}/domains/domain_builder.mli (100%)
 rename src/plugins/{value => eva}/domains/domain_lift.ml (100%)
 rename src/plugins/{value => eva}/domains/domain_lift.mli (100%)
 rename src/plugins/{value => eva}/domains/domain_mode.ml (100%)
 rename src/plugins/{value => eva}/domains/domain_mode.mli (100%)
 rename src/plugins/{value => eva}/domains/domain_product.ml (100%)
 rename src/plugins/{value => eva}/domains/domain_product.mli (100%)
 rename src/plugins/{value => eva}/domains/domain_store.ml (100%)
 rename src/plugins/{value => eva}/domains/domain_store.mli (100%)
 rename src/plugins/{value => eva}/domains/equality/equality.ml (100%)
 rename src/plugins/{value => eva}/domains/equality/equality.mli (100%)
 rename src/plugins/{value => eva}/domains/equality/equality_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/equality/equality_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/gauges/gauges_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/gauges/gauges_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/hcexprs.ml (100%)
 rename src/plugins/{value => eva}/domains/hcexprs.mli (100%)
 rename src/plugins/{value => eva}/domains/inout_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/inout_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/multidim/abstract_memory.ml (100%)
 rename src/plugins/{value => eva}/domains/multidim/abstract_memory.mli (100%)
 rename src/plugins/{value => eva}/domains/multidim/abstract_offset.ml (100%)
 rename src/plugins/{value => eva}/domains/multidim/abstract_offset.mli (100%)
 rename src/plugins/{value => eva}/domains/multidim/abstract_structure.ml (100%)
 rename src/plugins/{value => eva}/domains/multidim/abstract_structure.mli (100%)
 rename src/plugins/{value => eva}/domains/multidim/multidim.ml (100%)
 rename src/plugins/{value => eva}/domains/multidim/multidim.mli (100%)
 rename src/plugins/{value => eva}/domains/multidim/multidim_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/multidim/multidim_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/multidim/pretty_memory.ml (100%)
 rename src/plugins/{value => eva}/domains/multidim/pretty_memory.mli (100%)
 rename src/plugins/{value => eva}/domains/multidim/segmentation.ml (100%)
 rename src/plugins/{value => eva}/domains/multidim/segmentation.mli (100%)
 rename src/plugins/{value => eva}/domains/multidim/typed_memory.ml (100%)
 rename src/plugins/{value => eva}/domains/multidim/typed_memory.mli (100%)
 rename src/plugins/{value => eva}/domains/numerors/numerors_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/numerors/numerors_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/octagons.ml (100%)
 rename src/plugins/{value => eva}/domains/octagons.mli (100%)
 rename src/plugins/{value => eva}/domains/offsm_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/offsm_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/powerset.ml (100%)
 rename src/plugins/{value => eva}/domains/powerset.mli (100%)
 rename src/plugins/{value => eva}/domains/printer_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/printer_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/sign_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/sign_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/simple_memory.ml (100%)
 rename src/plugins/{value => eva}/domains/simple_memory.mli (100%)
 rename src/plugins/{value => eva}/domains/simpler_domains.ml (100%)
 rename src/plugins/{value => eva}/domains/symbolic_locs.ml (100%)
 rename src/plugins/{value => eva}/domains/symbolic_locs.mli (100%)
 rename src/plugins/{value => eva}/domains/taint_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/taint_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/traces_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/traces_domain.mli (100%)
 rename src/plugins/{value => eva}/domains/unit_domain.ml (100%)
 rename src/plugins/{value => eva}/domains/unit_domain.mli (100%)
 rename src/plugins/{value => eva}/dune (100%)
 rename src/plugins/{value => eva}/dune-project (100%)
 rename src/plugins/{value => eva}/engine/abstractions.ml (100%)
 rename src/plugins/{value => eva}/engine/abstractions.mli (100%)
 rename src/plugins/{value => eva}/engine/analysis.ml (100%)
 rename src/plugins/{value => eva}/engine/analysis.mli (100%)
 rename src/plugins/{value => eva}/engine/compute_functions.ml (100%)
 rename src/plugins/{value => eva}/engine/compute_functions.mli (100%)
 rename src/plugins/{value => eva}/engine/evaluation.ml (100%)
 rename src/plugins/{value => eva}/engine/evaluation.mli (100%)
 rename src/plugins/{value => eva}/engine/function_calls.ml (100%)
 rename src/plugins/{value => eva}/engine/function_calls.mli (100%)
 rename src/plugins/{value => eva}/engine/initialization.ml (100%)
 rename src/plugins/{value => eva}/engine/initialization.mli (100%)
 rename src/plugins/{value => eva}/engine/iterator.ml (100%)
 rename src/plugins/{value => eva}/engine/iterator.mli (100%)
 rename src/plugins/{value => eva}/engine/mem_exec.ml (100%)
 rename src/plugins/{value => eva}/engine/mem_exec.mli (100%)
 rename src/plugins/{value => eva}/engine/recursion.ml (100%)
 rename src/plugins/{value => eva}/engine/recursion.mli (100%)
 rename src/plugins/{value => eva}/engine/subdivided_evaluation.ml (100%)
 rename src/plugins/{value => eva}/engine/subdivided_evaluation.mli (100%)
 rename src/plugins/{value => eva}/engine/transfer_logic.ml (100%)
 rename src/plugins/{value => eva}/engine/transfer_logic.mli (100%)
 rename src/plugins/{value => eva}/engine/transfer_specification.ml (100%)
 rename src/plugins/{value => eva}/engine/transfer_specification.mli (100%)
 rename src/plugins/{value => eva}/engine/transfer_stmt.ml (100%)
 rename src/plugins/{value => eva}/engine/transfer_stmt.mli (100%)
 rename src/plugins/{value => eva}/eval.ml (100%)
 rename src/plugins/{value => eva}/eval.mli (100%)
 rename src/plugins/{value => eva}/frama-c-eva.opam (100%)
 rename src/plugins/{value => eva}/gen-api.sh (100%)
 rename src/plugins/{value => eva}/gen_test_config.sh (100%)
 rename src/plugins/{value => eva}/gui_files/gui_callstacks_filters.ml (100%)
 rename src/plugins/{value => eva}/gui_files/gui_callstacks_filters.mli (100%)
 rename src/plugins/{value => eva}/gui_files/gui_callstacks_manager.ml (100%)
 rename src/plugins/{value => eva}/gui_files/gui_callstacks_manager.mli (100%)
 rename src/plugins/{value => eva}/gui_files/gui_eval.ml (100%)
 rename src/plugins/{value => eva}/gui_files/gui_eval.mli (100%)
 rename src/plugins/{value => eva}/gui_files/gui_red.ml (100%)
 rename src/plugins/{value => eva}/gui_files/gui_red.mli (100%)
 rename src/plugins/{value => eva}/gui_files/gui_types.ml (100%)
 rename src/plugins/{value => eva}/gui_files/gui_types.mli (100%)
 rename src/plugins/{value => eva}/gui_files/register_gui.ml (100%)
 rename src/plugins/{value => eva}/gui_files/register_gui.mli (100%)
 rename src/plugins/{value => eva}/legacy/TOREMOVE (100%)
 rename src/plugins/{value => eva}/legacy/eval_annots.ml (100%)
 rename src/plugins/{value => eva}/legacy/eval_annots.mli (100%)
 rename src/plugins/{value => eva}/legacy/eval_op.ml (100%)
 rename src/plugins/{value => eva}/legacy/eval_op.mli (100%)
 rename src/plugins/{value => eva}/legacy/eval_terms.ml (100%)
 rename src/plugins/{value => eva}/legacy/eval_terms.mli (100%)
 rename src/plugins/{value => eva}/legacy/function_args.ml (100%)
 rename src/plugins/{value => eva}/legacy/function_args.mli (100%)
 rename src/plugins/{value => eva}/parameters.ml (100%)
 rename src/plugins/{value => eva}/parameters.mli (100%)
 rename src/plugins/{value => eva}/partitioning/auto_loop_unroll.ml (100%)
 rename src/plugins/{value => eva}/partitioning/auto_loop_unroll.mli (100%)
 rename src/plugins/{value => eva}/partitioning/partition.ml (100%)
 rename src/plugins/{value => eva}/partitioning/partition.mli (100%)
 rename src/plugins/{value => eva}/partitioning/partitioning_index.ml (100%)
 rename src/plugins/{value => eva}/partitioning/partitioning_index.mli (100%)
 rename src/plugins/{value => eva}/partitioning/partitioning_parameters.ml (100%)
 rename src/plugins/{value => eva}/partitioning/partitioning_parameters.mli (100%)
 rename src/plugins/{value => eva}/partitioning/per_stmt_slevel.ml (100%)
 rename src/plugins/{value => eva}/partitioning/per_stmt_slevel.mli (100%)
 rename src/plugins/{value => eva}/partitioning/split_return.ml (100%)
 rename src/plugins/{value => eva}/partitioning/split_return.mli (100%)
 rename src/plugins/{value => eva}/partitioning/split_strategy.ml (100%)
 rename src/plugins/{value => eva}/partitioning/split_strategy.mli (100%)
 rename src/plugins/{value => eva}/partitioning/trace_partitioning.ml (100%)
 rename src/plugins/{value => eva}/partitioning/trace_partitioning.mli (100%)
 rename src/plugins/{value => eva}/register.ml (100%)
 rename src/plugins/{value => eva}/register.mli (100%)
 rename src/plugins/{value => eva}/self.ml (100%)
 rename src/plugins/{value => eva}/self.mli (100%)
 rename src/plugins/{value => eva}/test.assert.sh (100%)
 rename src/plugins/{value => eva}/test.sh (100%)
 rename src/plugins/{value => eva}/utils/abstract.ml (100%)
 rename src/plugins/{value => eva}/utils/abstract.mli (100%)
 rename src/plugins/{value => eva}/utils/active_behaviors.ml (100%)
 rename src/plugins/{value => eva}/utils/active_behaviors.mli (100%)
 rename src/plugins/{value => eva}/utils/backward_formals.ml (100%)
 rename src/plugins/{value => eva}/utils/backward_formals.mli (100%)
 rename src/plugins/{value => eva}/utils/cvalue_callbacks.ml (100%)
 rename src/plugins/{value => eva}/utils/cvalue_callbacks.mli (100%)
 rename src/plugins/{value => eva}/utils/eva_annotations.ml (100%)
 rename src/plugins/{value => eva}/utils/eva_annotations.mli (100%)
 rename src/plugins/{value => eva}/utils/eva_audit.ml (100%)
 rename src/plugins/{value => eva}/utils/eva_audit.mli (100%)
 rename src/plugins/{value => eva}/utils/eva_dynamic.ml (100%)
 rename src/plugins/{value => eva}/utils/eva_dynamic.mli (100%)
 rename src/plugins/{value => eva}/utils/eva_perf.ml (100%)
 rename src/plugins/{value => eva}/utils/eva_perf.mli (100%)
 rename src/plugins/{value => eva}/utils/eva_results.ml (100%)
 rename src/plugins/{value => eva}/utils/eva_results.mli (100%)
 rename src/plugins/{value => eva}/utils/eva_utils.ml (100%)
 rename src/plugins/{value => eva}/utils/eva_utils.mli (100%)
 rename src/plugins/{value => eva}/utils/eval_typ.ml (100%)
 rename src/plugins/{value => eva}/utils/eval_typ.mli (100%)
 rename src/plugins/{value => eva}/utils/library_functions.ml (100%)
 rename src/plugins/{value => eva}/utils/library_functions.mli (100%)
 rename src/plugins/{value => eva}/utils/red_statuses.ml (100%)
 rename src/plugins/{value => eva}/utils/red_statuses.mli (100%)
 rename src/plugins/{value => eva}/utils/results.ml (100%)
 rename src/plugins/{value => eva}/utils/results.mli (100%)
 rename src/plugins/{value => eva}/utils/structure.ml (100%)
 rename src/plugins/{value => eva}/utils/structure.mli (100%)
 rename src/plugins/{value => eva}/utils/summary.ml (100%)
 rename src/plugins/{value => eva}/utils/summary.mli (100%)
 rename src/plugins/{value => eva}/utils/unit_tests.ml (100%)
 rename src/plugins/{value => eva}/utils/unit_tests.mli (100%)
 rename src/plugins/{value => eva}/utils/widen.ml (100%)
 rename src/plugins/{value => eva}/utils/widen.mli (100%)
 rename src/plugins/{value => eva}/utils/widen_hints_ext.ml (100%)
 rename src/plugins/{value => eva}/utils/widen_hints_ext.mli (100%)
 rename src/plugins/{value => eva}/values/abstract_location.ml (100%)
 rename src/plugins/{value => eva}/values/abstract_value.ml (100%)
 rename src/plugins/{value => eva}/values/cvalue_backward.ml (100%)
 rename src/plugins/{value => eva}/values/cvalue_backward.mli (100%)
 rename src/plugins/{value => eva}/values/cvalue_forward.ml (100%)
 rename src/plugins/{value => eva}/values/cvalue_forward.mli (100%)
 rename src/plugins/{value => eva}/values/location_lift.ml (100%)
 rename src/plugins/{value => eva}/values/location_lift.mli (100%)
 rename src/plugins/{value => eva}/values/main_locations.ml (100%)
 rename src/plugins/{value => eva}/values/main_locations.mli (100%)
 rename src/plugins/{value => eva}/values/main_values.ml (100%)
 rename src/plugins/{value => eva}/values/main_values.mli (100%)
 rename src/plugins/{value => eva}/values/numerors/numerors_arithmetics.ml (100%)
 rename src/plugins/{value => eva}/values/numerors/numerors_arithmetics.mli (100%)
 rename src/plugins/{value => eva}/values/numerors/numerors_float.ml (100%)
 rename src/plugins/{value => eva}/values/numerors/numerors_float.mli (100%)
 rename src/plugins/{value => eva}/values/numerors/numerors_interval.ml (100%)
 rename src/plugins/{value => eva}/values/numerors/numerors_interval.mli (100%)
 rename src/plugins/{value => eva}/values/numerors/numerors_utils.ml (100%)
 rename src/plugins/{value => eva}/values/numerors/numerors_utils.mli (100%)
 rename src/plugins/{value => eva}/values/numerors/numerors_value.ml (100%)
 rename src/plugins/{value => eva}/values/numerors/numerors_value.mli (100%)
 rename src/plugins/{value => eva}/values/offsm_value.ml (100%)
 rename src/plugins/{value => eva}/values/offsm_value.mli (100%)
 rename src/plugins/{value => eva}/values/sign_value.ml (100%)
 rename src/plugins/{value => eva}/values/sign_value.mli (100%)
 rename src/plugins/{value => eva}/values/value_product.ml (100%)
 rename src/plugins/{value => eva}/values/value_product.mli (100%)
 rename src/plugins/{value => eva}/vtests.sh (100%)

diff --git a/.gitignore b/.gitignore
index 29cae708d2d..49567453cf9 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 5616e9944a0..c82520a4ecf 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 2df01e54b16..637d1b86b89 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 4f9464ea586..abbb07b0022 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
-- 
GitLab