Rename lib -> src

formalsec · Jul 25, 2024 · a49dcae · a49dcae
1 parent 8c44053
commit a49dcae
Show file tree

Hide file tree

Showing 53 changed files with 0 additions and 0 deletions.
diff --git a/lib/ast.ml → src/ast.ml b/lib/ast.ml → src/ast.ml
diff --git a/lib/ast.mli → src/ast.mli b/lib/ast.mli → src/ast.mli
diff --git a/lib/axioms.ml → src/axioms.ml b/lib/axioms.ml → src/axioms.ml
diff --git a/lib/bisect.exclude → src/bisect.exclude b/lib/bisect.exclude → src/bisect.exclude
diff --git a/lib/bitwuzla_mappings.default.ml → src/bitwuzla_mappings.default.ml b/lib/bitwuzla_mappings.default.ml → src/bitwuzla_mappings.default.ml
diff --git a/lib/bitwuzla_mappings.mli → src/bitwuzla_mappings.mli b/lib/bitwuzla_mappings.mli → src/bitwuzla_mappings.mli
diff --git a/lib/cache.ml → src/cache.ml b/lib/cache.ml → src/cache.ml
diff --git a/lib/cache.mli → src/cache.mli b/lib/cache.mli → src/cache.mli
diff --git a/lib/cache_intf.ml → src/cache_intf.ml b/lib/cache_intf.ml → src/cache_intf.ml
diff --git a/lib/colibri2_mappings.default.ml → src/colibri2_mappings.default.ml b/lib/colibri2_mappings.default.ml → src/colibri2_mappings.default.ml
diff --git a/lib/colibri2_mappings.mli → src/colibri2_mappings.mli b/lib/colibri2_mappings.mli → src/colibri2_mappings.mli
diff --git a/lib/constructors_intf.ml → src/constructors_intf.ml b/lib/constructors_intf.ml → src/constructors_intf.ml
diff --git a/lib/cvc5_mappings.default.ml → src/cvc5_mappings.default.ml b/lib/cvc5_mappings.default.ml → src/cvc5_mappings.default.ml
diff --git a/lib/cvc5_mappings.mli → src/cvc5_mappings.mli b/lib/cvc5_mappings.mli → src/cvc5_mappings.mli
diff --git a/lib/dune → src/dune b/lib/dune → src/dune
diff --git a/lib/eval.ml → src/eval.ml b/lib/eval.ml → src/eval.ml
diff --git a/lib/eval.mli → src/eval.mli b/lib/eval.mli → src/eval.mli
diff --git a/lib/expr.ml → src/expr.ml b/lib/expr.ml → src/expr.ml
diff --git a/lib/expr.mli → src/expr.mli b/lib/expr.mli → src/expr.mli
diff --git a/lib/interpret.ml → src/interpret.ml b/lib/interpret.ml → src/interpret.ml
diff --git a/lib/interpret.mli → src/interpret.mli b/lib/interpret.mli → src/interpret.mli
diff --git a/lib/interpret_intf.ml → src/interpret_intf.ml b/lib/interpret_intf.ml → src/interpret_intf.ml
diff --git a/lib/lexer.mll → src/lexer.mll b/lib/lexer.mll → src/lexer.mll
diff --git a/lib/mappings.ml → src/mappings.ml b/lib/mappings.ml → src/mappings.ml
diff --git a/lib/mappings.nop.ml → src/mappings.nop.ml b/lib/mappings.nop.ml → src/mappings.nop.ml
diff --git a/lib/mappings_intf.ml → src/mappings_intf.ml b/lib/mappings_intf.ml → src/mappings_intf.ml
diff --git a/lib/model.ml → src/model.ml b/lib/model.ml → src/model.ml
diff --git a/lib/model.mli → src/model.mli b/lib/model.mli → src/model.mli
diff --git a/lib/num.ml → src/num.ml b/lib/num.ml → src/num.ml
diff --git a/lib/num.mli → src/num.mli b/lib/num.mli → src/num.mli
diff --git a/lib/op_intf.ml → src/op_intf.ml b/lib/op_intf.ml → src/op_intf.ml
diff --git a/lib/optimizer.ml → src/optimizer.ml b/lib/optimizer.ml → src/optimizer.ml
diff --git a/lib/optimizer.mli → src/optimizer.mli b/lib/optimizer.mli → src/optimizer.mli
diff --git a/lib/optimizer_intf.ml → src/optimizer_intf.ml b/lib/optimizer_intf.ml → src/optimizer_intf.ml
diff --git a/lib/params.ml → src/params.ml b/lib/params.ml → src/params.ml
diff --git a/lib/params.mli → src/params.mli b/lib/params.mli → src/params.mli
diff --git a/lib/parse.ml → src/parse.ml b/lib/parse.ml → src/parse.ml
diff --git a/lib/parse.mli → src/parse.mli b/lib/parse.mli → src/parse.mli
diff --git a/lib/parser.mly → src/parser.mly b/lib/parser.mly → src/parser.mly
diff --git a/lib/solver.ml → src/solver.ml b/lib/solver.ml → src/solver.ml
diff --git a/lib/solver.mli → src/solver.mli b/lib/solver.mli → src/solver.mli
diff --git a/lib/solver_dispatcher.ml → src/solver_dispatcher.ml b/lib/solver_dispatcher.ml → src/solver_dispatcher.ml
diff --git a/lib/solver_intf.ml → src/solver_intf.ml b/lib/solver_intf.ml → src/solver_intf.ml
diff --git a/lib/statistics.ml → src/statistics.ml b/lib/statistics.ml → src/statistics.ml
diff --git a/lib/symbol.ml → src/symbol.ml b/lib/symbol.ml → src/symbol.ml
diff --git a/lib/symbol.mli → src/symbol.mli b/lib/symbol.mli → src/symbol.mli
diff --git a/lib/ty.ml → src/ty.ml b/lib/ty.ml → src/ty.ml
diff --git a/lib/ty.mli → src/ty.mli b/lib/ty.mli → src/ty.mli
diff --git a/lib/utils.ml → src/utils.ml b/lib/utils.ml → src/utils.ml
diff --git a/lib/value.ml → src/value.ml b/lib/value.ml → src/value.ml
diff --git a/lib/value.mli → src/value.mli b/lib/value.mli → src/value.mli
diff --git a/lib/z3_mappings.default.ml → src/z3_mappings.default.ml b/lib/z3_mappings.default.ml → src/z3_mappings.default.ml
diff --git a/lib/z3_mappings.mli → src/z3_mappings.mli b/lib/z3_mappings.mli → src/z3_mappings.mli