diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 4ffa141037d5d100a64fb5f0d26533095b308ff5..0e4ca8c9bb2c2a828b8de118b3d1431e3a5fde9d 100644 --- a/headers/header_spec.txt +++ b/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