From e9c0cc3b757e1f5904c4c1f2de70d2baba02c8e8 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Thu, 28 Dec 2023 15:54:47 +0200 Subject: [PATCH] Rename src/solvers -> src/solver --- scripts/goblint-lib-modules.py | 2 +- src/{solvers => solver}/dune | 0 src/{solvers => solver}/effectWConEq.ml | 0 src/{solvers => solver}/generic.ml | 0 src/{solvers => solver}/goblint_solver.ml | 0 src/{solvers => solver}/localFixpoint.ml | 0 src/{solvers => solver}/postSolver.ml | 0 src/{solvers => solver}/sLR.ml | 0 src/{solvers => solver}/sLRphased.ml | 0 src/{solvers => solver}/sLRterm.ml | 0 src/{solvers => solver}/selector.ml | 0 src/{solvers => solver}/solverBox.ml | 0 src/{solvers => solver}/solverStats.ml | 0 src/{solvers => solver}/td3.ml | 0 src/{solvers => solver}/topDown.ml | 0 src/{solvers => solver}/topDown_deprecated.ml | 0 src/{solvers => solver}/topDown_space_cache_term.ml | 0 src/{solvers => solver}/topDown_term.ml | 0 src/{solvers => solver}/worklist.ml | 0 19 files changed, 1 insertion(+), 1 deletion(-) rename src/{solvers => solver}/dune (100%) rename src/{solvers => solver}/effectWConEq.ml (100%) rename src/{solvers => solver}/generic.ml (100%) rename src/{solvers => solver}/goblint_solver.ml (100%) rename src/{solvers => solver}/localFixpoint.ml (100%) rename src/{solvers => solver}/postSolver.ml (100%) rename src/{solvers => solver}/sLR.ml (100%) rename src/{solvers => solver}/sLRphased.ml (100%) rename src/{solvers => solver}/sLRterm.ml (100%) rename src/{solvers => solver}/selector.ml (100%) rename src/{solvers => solver}/solverBox.ml (100%) rename src/{solvers => solver}/solverStats.ml (100%) rename src/{solvers => solver}/td3.ml (100%) rename src/{solvers => solver}/topDown.ml (100%) rename src/{solvers => solver}/topDown_deprecated.ml (100%) rename src/{solvers => solver}/topDown_space_cache_term.ml (100%) rename src/{solvers => solver}/topDown_term.ml (100%) rename src/{solvers => solver}/worklist.ml (100%) diff --git a/scripts/goblint-lib-modules.py b/scripts/goblint-lib-modules.py index 95ac9b268e..8ae3b4b3eb 100755 --- 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 b/src/solver/dune similarity index 100% rename from src/solvers/dune rename to src/solver/dune diff --git a/src/solvers/effectWConEq.ml b/src/solver/effectWConEq.ml similarity index 100% rename from src/solvers/effectWConEq.ml rename to src/solver/effectWConEq.ml diff --git a/src/solvers/generic.ml b/src/solver/generic.ml similarity index 100% rename from src/solvers/generic.ml rename to src/solver/generic.ml diff --git a/src/solvers/goblint_solver.ml b/src/solver/goblint_solver.ml similarity index 100% rename from src/solvers/goblint_solver.ml rename to src/solver/goblint_solver.ml diff --git a/src/solvers/localFixpoint.ml b/src/solver/localFixpoint.ml similarity index 100% rename from src/solvers/localFixpoint.ml rename to src/solver/localFixpoint.ml diff --git a/src/solvers/postSolver.ml b/src/solver/postSolver.ml similarity index 100% rename from src/solvers/postSolver.ml rename to src/solver/postSolver.ml diff --git a/src/solvers/sLR.ml b/src/solver/sLR.ml similarity index 100% rename from src/solvers/sLR.ml rename to src/solver/sLR.ml diff --git a/src/solvers/sLRphased.ml b/src/solver/sLRphased.ml similarity index 100% rename from src/solvers/sLRphased.ml rename to src/solver/sLRphased.ml diff --git a/src/solvers/sLRterm.ml b/src/solver/sLRterm.ml similarity index 100% rename from src/solvers/sLRterm.ml rename to src/solver/sLRterm.ml diff --git a/src/solvers/selector.ml b/src/solver/selector.ml similarity index 100% rename from src/solvers/selector.ml rename to src/solver/selector.ml diff --git a/src/solvers/solverBox.ml b/src/solver/solverBox.ml similarity index 100% rename from src/solvers/solverBox.ml rename to src/solver/solverBox.ml diff --git a/src/solvers/solverStats.ml b/src/solver/solverStats.ml similarity index 100% rename from src/solvers/solverStats.ml rename to src/solver/solverStats.ml diff --git a/src/solvers/td3.ml b/src/solver/td3.ml similarity index 100% rename from src/solvers/td3.ml rename to src/solver/td3.ml diff --git a/src/solvers/topDown.ml b/src/solver/topDown.ml similarity index 100% rename from src/solvers/topDown.ml rename to src/solver/topDown.ml diff --git a/src/solvers/topDown_deprecated.ml b/src/solver/topDown_deprecated.ml similarity index 100% rename from src/solvers/topDown_deprecated.ml rename to src/solver/topDown_deprecated.ml diff --git a/src/solvers/topDown_space_cache_term.ml b/src/solver/topDown_space_cache_term.ml similarity index 100% rename from src/solvers/topDown_space_cache_term.ml rename to src/solver/topDown_space_cache_term.ml diff --git a/src/solvers/topDown_term.ml b/src/solver/topDown_term.ml similarity index 100% rename from src/solvers/topDown_term.ml rename to src/solver/topDown_term.ml diff --git a/src/solvers/worklist.ml b/src/solver/worklist.ml similarity index 100% rename from src/solvers/worklist.ml rename to src/solver/worklist.ml