From 6dca63b0ea20b186fa9b7221accb99bd66cf72b8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 18 Jul 2022 23:27:12 -0400 Subject: [PATCH] renamings --- src/{ => algos}/lra/dune | 0 src/{ => algos}/lra/sidekick_arith_lra.ml | 0 src/{ => algos}/simplex/binary_op.ml | 0 src/{ => algos}/simplex/dune | 0 src/{ => algos}/simplex/linear_expr.ml | 0 src/{ => algos}/simplex/linear_expr.mli | 0 src/{ => algos}/simplex/linear_expr_intf.ml | 0 src/{ => algos}/simplex/predicate.ml | 0 src/{ => algos}/simplex/sidekick_simplex.ml | 0 src/{ => algos}/simplex/tests/dune | 0 src/{ => algos}/simplex/tests/test_simplex.real.ml | 0 src/{ => base}/proof-trace/Storage.ml | 0 src/{ => base}/proof-trace/Storage.mli | 0 src/{ => base}/proof-trace/dune | 0 src/{ => base}/proof-trace/proof_ser.bare | 0 src/{ => base}/proof-trace/proof_ser.ml | 0 src/{ => base}/proof-trace/sidekick_base_proof_trace.ml | 0 src/{base-solver => base/solver}/dune | 0 src/{base-solver => base/solver}/sidekick_base_solver.ml | 0 src/{mini-cc => cc/mini}/Sidekick_mini_cc.ml | 0 src/{mini-cc => cc/mini}/Sidekick_mini_cc.mli | 0 src/{mini-cc => cc/mini}/dune | 0 src/{mini-cc => cc/mini}/tests/dune | 0 src/{mini-cc => cc/mini}/tests/sidekick_test_minicc.ml | 0 src/{proof-trace-dump => proof-trace/bare/dump}/dune | 0 .../bare/dump}/proof_trace_dump.ml | 0 26 files changed, 0 insertions(+), 0 deletions(-) rename src/{ => algos}/lra/dune (100%) rename src/{ => algos}/lra/sidekick_arith_lra.ml (100%) rename src/{ => algos}/simplex/binary_op.ml (100%) rename src/{ => algos}/simplex/dune (100%) rename src/{ => algos}/simplex/linear_expr.ml (100%) rename src/{ => algos}/simplex/linear_expr.mli (100%) rename src/{ => algos}/simplex/linear_expr_intf.ml (100%) rename src/{ => algos}/simplex/predicate.ml (100%) rename src/{ => algos}/simplex/sidekick_simplex.ml (100%) rename src/{ => algos}/simplex/tests/dune (100%) rename src/{ => algos}/simplex/tests/test_simplex.real.ml (100%) rename src/{ => base}/proof-trace/Storage.ml (100%) rename src/{ => base}/proof-trace/Storage.mli (100%) rename src/{ => base}/proof-trace/dune (100%) rename src/{ => base}/proof-trace/proof_ser.bare (100%) rename src/{ => base}/proof-trace/proof_ser.ml (100%) rename src/{ => base}/proof-trace/sidekick_base_proof_trace.ml (100%) rename src/{base-solver => base/solver}/dune (100%) rename src/{base-solver => base/solver}/sidekick_base_solver.ml (100%) rename src/{mini-cc => cc/mini}/Sidekick_mini_cc.ml (100%) rename src/{mini-cc => cc/mini}/Sidekick_mini_cc.mli (100%) rename src/{mini-cc => cc/mini}/dune (100%) rename src/{mini-cc => cc/mini}/tests/dune (100%) rename src/{mini-cc => cc/mini}/tests/sidekick_test_minicc.ml (100%) rename src/{proof-trace-dump => proof-trace/bare/dump}/dune (100%) rename src/{proof-trace-dump => proof-trace/bare/dump}/proof_trace_dump.ml (100%) diff --git a/src/lra/dune b/src/algos/lra/dune similarity index 100% rename from src/lra/dune rename to src/algos/lra/dune diff --git a/src/lra/sidekick_arith_lra.ml b/src/algos/lra/sidekick_arith_lra.ml similarity index 100% rename from src/lra/sidekick_arith_lra.ml rename to src/algos/lra/sidekick_arith_lra.ml diff --git a/src/simplex/binary_op.ml b/src/algos/simplex/binary_op.ml similarity index 100% rename from src/simplex/binary_op.ml rename to src/algos/simplex/binary_op.ml diff --git a/src/simplex/dune b/src/algos/simplex/dune similarity index 100% rename from src/simplex/dune rename to src/algos/simplex/dune diff --git a/src/simplex/linear_expr.ml b/src/algos/simplex/linear_expr.ml similarity index 100% rename from src/simplex/linear_expr.ml rename to src/algos/simplex/linear_expr.ml diff --git a/src/simplex/linear_expr.mli b/src/algos/simplex/linear_expr.mli similarity index 100% rename from src/simplex/linear_expr.mli rename to src/algos/simplex/linear_expr.mli diff --git a/src/simplex/linear_expr_intf.ml b/src/algos/simplex/linear_expr_intf.ml similarity index 100% rename from src/simplex/linear_expr_intf.ml rename to src/algos/simplex/linear_expr_intf.ml diff --git a/src/simplex/predicate.ml b/src/algos/simplex/predicate.ml similarity index 100% rename from src/simplex/predicate.ml rename to src/algos/simplex/predicate.ml diff --git a/src/simplex/sidekick_simplex.ml b/src/algos/simplex/sidekick_simplex.ml similarity index 100% rename from src/simplex/sidekick_simplex.ml rename to src/algos/simplex/sidekick_simplex.ml diff --git a/src/simplex/tests/dune b/src/algos/simplex/tests/dune similarity index 100% rename from src/simplex/tests/dune rename to src/algos/simplex/tests/dune diff --git a/src/simplex/tests/test_simplex.real.ml b/src/algos/simplex/tests/test_simplex.real.ml similarity index 100% rename from src/simplex/tests/test_simplex.real.ml rename to src/algos/simplex/tests/test_simplex.real.ml diff --git a/src/proof-trace/Storage.ml b/src/base/proof-trace/Storage.ml similarity index 100% rename from src/proof-trace/Storage.ml rename to src/base/proof-trace/Storage.ml diff --git a/src/proof-trace/Storage.mli b/src/base/proof-trace/Storage.mli similarity index 100% rename from src/proof-trace/Storage.mli rename to src/base/proof-trace/Storage.mli diff --git a/src/proof-trace/dune b/src/base/proof-trace/dune similarity index 100% rename from src/proof-trace/dune rename to src/base/proof-trace/dune diff --git a/src/proof-trace/proof_ser.bare b/src/base/proof-trace/proof_ser.bare similarity index 100% rename from src/proof-trace/proof_ser.bare rename to src/base/proof-trace/proof_ser.bare diff --git a/src/proof-trace/proof_ser.ml b/src/base/proof-trace/proof_ser.ml similarity index 100% rename from src/proof-trace/proof_ser.ml rename to src/base/proof-trace/proof_ser.ml diff --git a/src/proof-trace/sidekick_base_proof_trace.ml b/src/base/proof-trace/sidekick_base_proof_trace.ml similarity index 100% rename from src/proof-trace/sidekick_base_proof_trace.ml rename to src/base/proof-trace/sidekick_base_proof_trace.ml diff --git a/src/base-solver/dune b/src/base/solver/dune similarity index 100% rename from src/base-solver/dune rename to src/base/solver/dune diff --git a/src/base-solver/sidekick_base_solver.ml b/src/base/solver/sidekick_base_solver.ml similarity index 100% rename from src/base-solver/sidekick_base_solver.ml rename to src/base/solver/sidekick_base_solver.ml diff --git a/src/mini-cc/Sidekick_mini_cc.ml b/src/cc/mini/Sidekick_mini_cc.ml similarity index 100% rename from src/mini-cc/Sidekick_mini_cc.ml rename to src/cc/mini/Sidekick_mini_cc.ml diff --git a/src/mini-cc/Sidekick_mini_cc.mli b/src/cc/mini/Sidekick_mini_cc.mli similarity index 100% rename from src/mini-cc/Sidekick_mini_cc.mli rename to src/cc/mini/Sidekick_mini_cc.mli diff --git a/src/mini-cc/dune b/src/cc/mini/dune similarity index 100% rename from src/mini-cc/dune rename to src/cc/mini/dune diff --git a/src/mini-cc/tests/dune b/src/cc/mini/tests/dune similarity index 100% rename from src/mini-cc/tests/dune rename to src/cc/mini/tests/dune diff --git a/src/mini-cc/tests/sidekick_test_minicc.ml b/src/cc/mini/tests/sidekick_test_minicc.ml similarity index 100% rename from src/mini-cc/tests/sidekick_test_minicc.ml rename to src/cc/mini/tests/sidekick_test_minicc.ml diff --git a/src/proof-trace-dump/dune b/src/proof-trace/bare/dump/dune similarity index 100% rename from src/proof-trace-dump/dune rename to src/proof-trace/bare/dump/dune diff --git a/src/proof-trace-dump/proof_trace_dump.ml b/src/proof-trace/bare/dump/proof_trace_dump.ml similarity index 100% rename from src/proof-trace-dump/proof_trace_dump.ml rename to src/proof-trace/bare/dump/proof_trace_dump.ml