Commit ea1d71ec authored by David Bühler's avatar David Bühler
Browse files

[Eva] Moves "split_return" into the "partitioning" directory.

parent a7f84fd5
......@@ -860,7 +860,7 @@ PLUGIN_CMO:= partitioning/split_strategy value_parameters \
utils/value_perf utils/value_util utils/red_statuses \
utils/mark_noresults \
utils/widen_hints_ext utils/widen utils/partitioning_annots \
engine/split_return \
partitioning/split_return \
partitioning/per_stmt_slevel \
utils/library_functions \
utils/eval_typ utils/backward_formals \
......
......@@ -1227,8 +1227,6 @@ src/plugins/value/engine/partitioning_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/partitioning_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/recursion.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/recursion.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/split_return.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/split_return.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/subdivided_evaluation.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/subdivided_evaluation.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/trace_partitioning.ml: CEA_LGPL_OR_PROPRIETARY
......@@ -1265,6 +1263,8 @@ src/plugins/value/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/register.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/per_stmt_slevel.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/per_stmt_slevel.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/split_return.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/split_return.mli: CEA_LGPL_OR_PROPRIETARY
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/test.assert.sh: .ignore
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment