[sledge] Rename lib to src

Reviewed By: jvillard Differential Revision: D21107643 fbshipit-source-id: 862a2d8c1
5 years ago · de20da4fb6
parent 8b59dc58fc
commit de20da4fb6
71 changed files with 0 additions and 0 deletions
--- a/sledge/src/control.ml
+++ b/sledge/src/control.ml
--- a/sledge/src/control.mli
+++ b/sledge/src/control.mli
--- a/sledge/src/domain_intf.ml
+++ b/sledge/src/domain_intf.ml
--- a/sledge/src/domain_relation.ml
+++ b/sledge/src/domain_relation.ml
--- a/sledge/src/domain_relation.mli
+++ b/sledge/src/domain_relation.mli
--- a/sledge/src/domain_sh.ml
+++ b/sledge/src/domain_sh.ml
--- a/sledge/src/domain_sh.mli
+++ b/sledge/src/domain_sh.mli
--- a/sledge/src/domain_unit.ml
+++ b/sledge/src/domain_unit.ml
--- a/sledge/src/domain_unit.mli
+++ b/sledge/src/domain_unit.mli
--- a/sledge/src/domain_used_globals.ml
+++ b/sledge/src/domain_used_globals.ml
--- a/sledge/src/domain_used_globals.mli
+++ b/sledge/src/domain_used_globals.mli
--- a/sledge/src/dune
+++ b/sledge/src/dune
--- a/sledge/src/equality.ml
+++ b/sledge/src/equality.ml
--- a/sledge/src/equality.mli
+++ b/sledge/src/equality.mli
--- a/sledge/src/equality_test.ml
+++ b/sledge/src/equality_test.ml
--- a/sledge/src/equality_test.mli
+++ b/sledge/src/equality_test.mli
--- a/sledge/src/exec.ml
+++ b/sledge/src/exec.ml
--- a/sledge/src/exec.mli
+++ b/sledge/src/exec.mli
--- a/sledge/src/exp.ml
+++ b/sledge/src/exp.ml
--- a/sledge/src/exp.mli
+++ b/sledge/src/exp.mli
--- a/sledge/src/exp_test.ml
+++ b/sledge/src/exp_test.ml
--- a/sledge/src/exp_test.mli
+++ b/sledge/src/exp_test.mli
--- a/sledge/src/global.ml
+++ b/sledge/src/global.ml
--- a/sledge/src/global.mli
+++ b/sledge/src/global.mli
--- a/sledge/src/import/dune
+++ b/sledge/src/import/dune
--- a/sledge/src/import/iArray.ml
+++ b/sledge/src/import/iArray.ml
--- a/sledge/src/import/iArray.mli
+++ b/sledge/src/import/iArray.mli
--- a/sledge/src/import/import.ml
+++ b/sledge/src/import/import.ml
--- a/sledge/src/import/import.mli
+++ b/sledge/src/import/import.mli
--- a/sledge/src/import/import0.ml
+++ b/sledge/src/import/import0.ml
--- a/sledge/src/import/list.ml
+++ b/sledge/src/import/list.ml
--- a/sledge/src/import/list.mli
+++ b/sledge/src/import/list.mli
--- a/sledge/src/import/map.ml
+++ b/sledge/src/import/map.ml
--- a/sledge/src/import/map.mli
+++ b/sledge/src/import/map.mli
--- a/sledge/src/import/map_intf.ml
+++ b/sledge/src/import/map_intf.ml
--- a/sledge/src/import/option.ml
+++ b/sledge/src/import/option.ml
--- a/sledge/src/import/option.mli
+++ b/sledge/src/import/option.mli
--- a/sledge/src/import/qset.ml
+++ b/sledge/src/import/qset.ml
--- a/sledge/src/import/qset.mli
+++ b/sledge/src/import/qset.mli
--- a/sledge/src/import/qset_intf.ml
+++ b/sledge/src/import/qset_intf.ml
--- a/sledge/src/import/set.ml
+++ b/sledge/src/import/set.ml
--- a/sledge/src/import/set.mli
+++ b/sledge/src/import/set.mli
--- a/sledge/src/import/set_intf.ml
+++ b/sledge/src/import/set_intf.ml
--- a/sledge/src/llair.ml
+++ b/sledge/src/llair.ml
--- a/sledge/src/llair.mli
+++ b/sledge/src/llair.mli
--- a/sledge/src/loc.ml
+++ b/sledge/src/loc.ml
--- a/sledge/src/loc.mli
+++ b/sledge/src/loc.mli
--- a/sledge/src/reg.ml
+++ b/sledge/src/reg.ml
--- a/sledge/src/reg.mli
+++ b/sledge/src/reg.mli
--- a/sledge/src/report.ml
+++ b/sledge/src/report.ml
--- a/sledge/src/report.mli
+++ b/sledge/src/report.mli
--- a/sledge/src/sh.ml
+++ b/sledge/src/sh.ml
--- a/sledge/src/sh.mli
+++ b/sledge/src/sh.mli
--- a/sledge/src/sh_test.ml
+++ b/sledge/src/sh_test.ml
--- a/sledge/src/sh_test.mli
+++ b/sledge/src/sh_test.mli
--- a/sledge/src/solver.ml
+++ b/sledge/src/solver.ml
--- a/sledge/src/solver.mli
+++ b/sledge/src/solver.mli
--- a/sledge/src/solver_test.ml
+++ b/sledge/src/solver_test.ml
--- a/sledge/src/solver_test.mli
+++ b/sledge/src/solver_test.mli
--- a/sledge/src/stop.ml
+++ b/sledge/src/stop.ml
--- a/sledge/src/stop.mli
+++ b/sledge/src/stop.mli
--- a/sledge/src/term.ml
+++ b/sledge/src/term.ml
--- a/sledge/src/term.mli
+++ b/sledge/src/term.mli
--- a/sledge/src/term_test.ml
+++ b/sledge/src/term_test.ml
--- a/sledge/src/term_test.mli
+++ b/sledge/src/term_test.mli
--- a/sledge/src/timer.ml
+++ b/sledge/src/timer.ml
--- a/sledge/src/timer.mli
+++ b/sledge/src/timer.mli
--- a/sledge/src/typ.ml
+++ b/sledge/src/typ.ml
--- a/sledge/src/typ.mli
+++ b/sledge/src/typ.mli
--- a/sledge/src/var.ml
+++ b/sledge/src/var.ml
--- a/sledge/src/var.mli
+++ b/sledge/src/var.mli