Rename src/solvers -> src/solver

goblint · Dec 28, 2023 · e9c0cc3 · e9c0cc3
1 parent 834df31
commit e9c0cc3
Show file tree

Hide file tree

Showing 19 changed files with 1 addition and 1 deletion.
diff --git a/scripts/goblint-lib-modules.py b/scripts/goblint-lib-modules.py
@@ -8,7 +8,7 @@
 
 goblint_lib_paths = [
     src_root_path / "goblint_lib.ml",
-    src_root_path / "solvers" / "goblint_solver.ml",
+    src_root_path / "solver" / "goblint_solver.ml",
     src_root_path / "util" / "std" / "goblint_std.ml",
 ]
 goblint_lib_modules = set()

diff --git a/src/solvers/dune → src/solver/dune b/src/solvers/dune → src/solver/dune
diff --git a/src/solvers/effectWConEq.ml → src/solver/effectWConEq.ml b/src/solvers/effectWConEq.ml → src/solver/effectWConEq.ml
diff --git a/src/solvers/generic.ml → src/solver/generic.ml b/src/solvers/generic.ml → src/solver/generic.ml
diff --git a/src/solvers/goblint_solver.ml → src/solver/goblint_solver.ml b/src/solvers/goblint_solver.ml → src/solver/goblint_solver.ml
diff --git a/src/solvers/localFixpoint.ml → src/solver/localFixpoint.ml b/src/solvers/localFixpoint.ml → src/solver/localFixpoint.ml
diff --git a/src/solvers/postSolver.ml → src/solver/postSolver.ml b/src/solvers/postSolver.ml → src/solver/postSolver.ml
diff --git a/src/solvers/sLR.ml → src/solver/sLR.ml b/src/solvers/sLR.ml → src/solver/sLR.ml
diff --git a/src/solvers/sLRphased.ml → src/solver/sLRphased.ml b/src/solvers/sLRphased.ml → src/solver/sLRphased.ml
diff --git a/src/solvers/sLRterm.ml → src/solver/sLRterm.ml b/src/solvers/sLRterm.ml → src/solver/sLRterm.ml
diff --git a/src/solvers/selector.ml → src/solver/selector.ml b/src/solvers/selector.ml → src/solver/selector.ml
diff --git a/src/solvers/solverBox.ml → src/solver/solverBox.ml b/src/solvers/solverBox.ml → src/solver/solverBox.ml
diff --git a/src/solvers/solverStats.ml → src/solver/solverStats.ml b/src/solvers/solverStats.ml → src/solver/solverStats.ml
diff --git a/src/solvers/td3.ml → src/solver/td3.ml b/src/solvers/td3.ml → src/solver/td3.ml
diff --git a/src/solvers/topDown.ml → src/solver/topDown.ml b/src/solvers/topDown.ml → src/solver/topDown.ml
diff --git a/src/solvers/topDown_deprecated.ml → src/solver/topDown_deprecated.ml b/src/solvers/topDown_deprecated.ml → src/solver/topDown_deprecated.ml
diff --git a/src/solvers/topDown_space_cache_term.ml → src/solver/topDown_space_cache_term.ml b/src/solvers/topDown_space_cache_term.ml → src/solver/topDown_space_cache_term.ml
diff --git a/src/solvers/topDown_term.ml → src/solver/topDown_term.ml b/src/solvers/topDown_term.ml → src/solver/topDown_term.ml
diff --git a/src/solvers/worklist.ml → src/solver/worklist.ml b/src/solvers/worklist.ml → src/solver/worklist.ml