Prepare renaming command libs

mbarbin · Feb 23, 2025 · 7b12924 · 7b12924
1 parent 0d2bf57
commit 7b12924
Show file tree

Hide file tree

Showing 34 changed files with 0 additions and 0 deletions.
diff --git a/...kit_bdd_command/src/bopkit_bdd_command.ml → lib/bopkit_bdd_cli/src/bopkit_bdd_command.ml b/...kit_bdd_command/src/bopkit_bdd_command.ml → lib/bopkit_bdd_cli/src/bopkit_bdd_command.ml
diff --git a/...it_bdd_command/src/bopkit_bdd_command.mli → ...bopkit_bdd_cli/src/bopkit_bdd_command.mli b/...it_bdd_command/src/bopkit_bdd_command.mli → ...bopkit_bdd_cli/src/bopkit_bdd_command.mli
diff --git a/lib/bopkit_bdd_command/src/cmd_bomber.ml → lib/bopkit_bdd_cli/src/cmd_bomber.ml b/lib/bopkit_bdd_command/src/cmd_bomber.ml → lib/bopkit_bdd_cli/src/cmd_bomber.ml
diff --git a/lib/bopkit_bdd_command/src/cmd_bomber.mli → lib/bopkit_bdd_cli/src/cmd_bomber.mli b/lib/bopkit_bdd_command/src/cmd_bomber.mli → lib/bopkit_bdd_cli/src/cmd_bomber.mli
diff --git a/lib/bopkit_bdd_command/src/cmd_checker.ml → lib/bopkit_bdd_cli/src/cmd_checker.ml b/lib/bopkit_bdd_command/src/cmd_checker.ml → lib/bopkit_bdd_cli/src/cmd_checker.ml
diff --git a/lib/bopkit_bdd_command/src/cmd_checker.mli → lib/bopkit_bdd_cli/src/cmd_checker.mli b/lib/bopkit_bdd_command/src/cmd_checker.mli → lib/bopkit_bdd_cli/src/cmd_checker.mli
diff --git a/lib/bopkit_bdd_command/src/cmd_synthesize.ml → lib/bopkit_bdd_cli/src/cmd_synthesize.ml b/lib/bopkit_bdd_command/src/cmd_synthesize.ml → lib/bopkit_bdd_cli/src/cmd_synthesize.ml
diff --git a/...bopkit_bdd_command/src/cmd_synthesize.mli → lib/bopkit_bdd_cli/src/cmd_synthesize.mli b/...bopkit_bdd_command/src/cmd_synthesize.mli → lib/bopkit_bdd_cli/src/cmd_synthesize.mli
diff --git a/lib/bopkit_bdd_command/src/dune → lib/bopkit_bdd_cli/src/dune b/lib/bopkit_bdd_command/src/dune → lib/bopkit_bdd_cli/src/dune
diff --git a/lib/bopkit_bdd_command/test/dune → lib/bopkit_bdd_cli/test/dune b/lib/bopkit_bdd_command/test/dune → lib/bopkit_bdd_cli/test/dune
diff --git a/lib/bopkit_command/src/bopkit_command.ml → lib/bopkit_cli/src/bopkit_command.ml b/lib/bopkit_command/src/bopkit_command.ml → lib/bopkit_cli/src/bopkit_command.ml
diff --git a/lib/bopkit_command/src/bopkit_command.mli → lib/bopkit_cli/src/bopkit_command.mli b/lib/bopkit_command/src/bopkit_command.mli → lib/bopkit_cli/src/bopkit_command.mli
diff --git a/lib/bopkit_command/src/cmd_bop2c.ml → lib/bopkit_cli/src/cmd_bop2c.ml b/lib/bopkit_command/src/cmd_bop2c.ml → lib/bopkit_cli/src/cmd_bop2c.ml
diff --git a/lib/bopkit_command/src/cmd_bop2c.mli → lib/bopkit_cli/src/cmd_bop2c.mli b/lib/bopkit_command/src/cmd_bop2c.mli → lib/bopkit_cli/src/cmd_bop2c.mli
diff --git a/lib/bopkit_command/src/cmd_check.ml → lib/bopkit_cli/src/cmd_check.ml b/lib/bopkit_command/src/cmd_check.ml → lib/bopkit_cli/src/cmd_check.ml
diff --git a/lib/bopkit_command/src/cmd_check.mli → lib/bopkit_cli/src/cmd_check.mli b/lib/bopkit_command/src/cmd_check.mli → lib/bopkit_cli/src/cmd_check.mli
diff --git a/lib/bopkit_command/src/cmd_echo.ml → lib/bopkit_cli/src/cmd_echo.ml b/lib/bopkit_command/src/cmd_echo.ml → lib/bopkit_cli/src/cmd_echo.ml
diff --git a/lib/bopkit_command/src/cmd_echo.mli → lib/bopkit_cli/src/cmd_echo.mli b/lib/bopkit_command/src/cmd_echo.mli → lib/bopkit_cli/src/cmd_echo.mli
diff --git a/lib/bopkit_command/src/cmd_simu.ml → lib/bopkit_cli/src/cmd_simu.ml b/lib/bopkit_command/src/cmd_simu.ml → lib/bopkit_cli/src/cmd_simu.ml
diff --git a/lib/bopkit_command/src/cmd_simu.mli → lib/bopkit_cli/src/cmd_simu.mli b/lib/bopkit_command/src/cmd_simu.mli → lib/bopkit_cli/src/cmd_simu.mli
diff --git a/lib/bopkit_command/src/dune → lib/bopkit_cli/src/dune b/lib/bopkit_command/src/dune → lib/bopkit_cli/src/dune
diff --git a/lib/bopkit_command/test/dune → lib/bopkit_cli/test/dune b/lib/bopkit_command/test/dune → lib/bopkit_cli/test/dune
diff --git a/...ess_command/src/bopkit_process_command.ml → ...process_cli/src/bopkit_process_command.ml b/...ess_command/src/bopkit_process_command.ml → ...process_cli/src/bopkit_process_command.ml
diff --git a/...ss_command/src/bopkit_process_command.mli → ...rocess_cli/src/bopkit_process_command.mli b/...ss_command/src/bopkit_process_command.mli → ...rocess_cli/src/bopkit_process_command.mli
diff --git a/lib/bopkit_process_command/src/dune → lib/bopkit_process_cli/src/dune b/lib/bopkit_process_command/src/dune → lib/bopkit_process_cli/src/dune
diff --git a/lib/bopkit_process_command/test/dune → lib/bopkit_process_cli/test/dune b/lib/bopkit_process_command/test/dune → lib/bopkit_process_cli/test/dune
diff --git a/project/subleq/lib/subleq_command/src/dune → project/subleq/lib/subleq_cli/src/dune b/project/subleq/lib/subleq_command/src/dune → project/subleq/lib/subleq_cli/src/dune
diff --git a/.../lib/subleq_command/src/subleq_command.ml → ...bleq/lib/subleq_cli/src/subleq_command.ml b/.../lib/subleq_command/src/subleq_command.ml → ...bleq/lib/subleq_cli/src/subleq_command.ml
diff --git a/...lib/subleq_command/src/subleq_command.mli → ...leq/lib/subleq_cli/src/subleq_command.mli b/...lib/subleq_command/src/subleq_command.mli → ...leq/lib/subleq_cli/src/subleq_command.mli
diff --git a/project/subleq/lib/subleq_command/test/dune → project/subleq/lib/subleq_cli/test/dune b/project/subleq/lib/subleq_command/test/dune → project/subleq/lib/subleq_cli/test/dune
diff --git a/project/visa/lib/visa_command/src/dune → project/visa/lib/visa_cli/src/dune b/project/visa/lib/visa_command/src/dune → project/visa/lib/visa_cli/src/dune
diff --git a/...visa/lib/visa_command/src/visa_command.ml → ...ect/visa/lib/visa_cli/src/visa_command.ml b/...visa/lib/visa_command/src/visa_command.ml → ...ect/visa/lib/visa_cli/src/visa_command.ml
diff --git a/...isa/lib/visa_command/src/visa_command.mli → ...ct/visa/lib/visa_cli/src/visa_command.mli b/...isa/lib/visa_command/src/visa_command.mli → ...ct/visa/lib/visa_cli/src/visa_command.mli
diff --git a/project/visa/lib/visa_command/test/dune → project/visa/lib/visa_cli/test/dune b/project/visa/lib/visa_command/test/dune → project/visa/lib/visa_cli/test/dune