[Eva] Reorders header_spec.txt.

headers/header_spec.txt

@@ -1319,6 +1319,17 @@ src/plugins/value/Changelog_non_free: .ignore
 src/plugins/value/Eva.mli: .ignore
 src/plugins/value/alarmset.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/alarmset.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/eval.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/eval.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/gen-api.sh: .ignore
+src/plugins/value/parameters.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/parameters.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/register.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/register.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/self.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/self.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/test.assert.sh: .ignore
+src/plugins/value/test.sh: .ignore
 src/plugins/value/api/general_requests.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/api/general_requests.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/api/values_request.ml: CEA_LGPL_OR_PROPRIETARY
@@ -1427,9 +1438,6 @@ src/plugins/value/engine/transfer_specification.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/engine/transfer_specification.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/engine/transfer_stmt.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/engine/transfer_stmt.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/eval.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/eval.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/gen-api.sh: .ignore
 src/plugins/value/gui_files/gui_callstacks_filters.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/gui_files/gui_callstacks_filters.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/gui_files/gui_callstacks_manager.ml: CEA_LGPL_OR_PROPRIETARY
@@ -1450,10 +1458,6 @@ src/plugins/value/legacy/eval_terms.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/legacy/eval_terms.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/legacy/function_args.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/legacy/function_args.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/register.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/register.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/results.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/results.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/auto_loop_unroll.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/auto_loop_unroll.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/partition.ml: CEA_LGPL_OR_PROPRIETARY
@@ -1470,12 +1474,22 @@ src/plugins/value/partitioning/split_strategy.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/split_strategy.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/trace_partitioning.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/trace_partitioning.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/test.assert.sh: .ignore
-src/plugins/value/test.sh: .ignore
 src/plugins/value/utils/abstract.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/abstract.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/backward_formals.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/backward_formals.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_annotations.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_annotations.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_audit.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_audit.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_dynamic.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_dynamic.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_perf.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_perf.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_results.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_results.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_utils.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/eva_utils.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/eval_typ.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/eval_typ.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/red_statuses.ml: CEA_LGPL_OR_PROPRIETARY
@@ -1484,32 +1498,18 @@ src/plugins/value/utils/library_functions.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/library_functions.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/mark_noresults.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/mark_noresults.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_annotations.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_annotations.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_audit.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_audit.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_dynamic.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_dynamic.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/results.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/results.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/structure.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/structure.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/summary.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/summary.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/unit_tests.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/unit_tests.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_perf.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_perf.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_results.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_results.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_utils.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/utils/eva_utils.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/widen.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/widen.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/widen_hints_ext.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/utils/widen_hints_ext.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/parameters.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/parameters.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/self.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/self.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/values/abstract_location.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/values/abstract_value.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/values/cvalue_backward.ml: CEA_LGPL_OR_PROPRIETARY