Skip to content

Commit ddd2686

Browse files
szdan97szdan97
committed
renamed subprojects/core to subprojects/common
1 parent 45488b8 commit ddd2686

File tree

539 files changed

+13
-13
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

539 files changed

+13
-13
lines changed

‎README.md

+4-4

‎settings.gradle.kts

+5-5
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
rootProject.name = "theta"
22

33
include(
4-
"core/analysis",
5-
"core/common",
6-
"core/core",
7-
"core/solver",
8-
"core/solver-z3",
4+
"common/analysis",
5+
"common/common",
6+
"common/core",
7+
"common/solver",
8+
"common/solver-z3",
99

1010
"cfa/cfa",
1111
"cfa/cfa-analysis",

‎subprojects/cfa/cfa-analysis/README.md

+1-1

‎subprojects/core/analysis/README.md ‎subprojects/common/analysis/README.md

‎subprojects/core/analysis/bin/.gitignore ‎subprojects/common/analysis/bin/.gitignore

File renamed without changes.

‎subprojects/core/analysis/build.gradle.kts ‎subprojects/common/analysis/build.gradle.kts

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/Action.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/Action.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/Analysis.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/Analysis.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/InitFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/InitFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/LTS.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/LTS.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/PartialOrd.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/PartialOrd.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/Prec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/Prec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/State.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/State.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/Trace.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/Trace.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/TransFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/TransFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ARG.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ARG.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgBuilder.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgBuilder.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgChecker.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgChecker.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgEdge.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgEdge.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgNode.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgNode.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgNodeComparators.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgNodeComparators.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgTrace.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgTrace.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgUtils.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/ArgUtils.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/SafetyChecker.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/SafetyChecker.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/SafetyResult.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/SafetyResult.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/SearchStrategy.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/SearchStrategy.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/Statistics.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/Statistics.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/Abstractor.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/Abstractor.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/AbstractorResult.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/AbstractorResult.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/BasicAbstractor.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/BasicAbstractor.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/CegarChecker.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/CegarChecker.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/CegarStatistics.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/CegarStatistics.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/Refiner.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/Refiner.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/RefinerResult.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/RefinerResult.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/abstractor/StopCriterion.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/abstractor/StopCriterion.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/abstractor/StopCriterions.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/abstractor/StopCriterions.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplAnalysis.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplAnalysis.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplInitFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplInitFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplOrd.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplOrd.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplPrec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplPrec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplState.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplState.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStatePredicate.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStatePredicate.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStmtAnalysis.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStmtAnalysis.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStmtTransFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStmtTransFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplTransFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplTransFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ItpRefToExplPrec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ItpRefToExplPrec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/StmtApplier.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/StmtApplier.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/VarsRefToExplPrec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/VarsRefToExplPrec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/BasicExprState.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/BasicExprState.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprAction.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprAction.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprOrd.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprOrd.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprState.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprState.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprStatePredicate.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprStatePredicate.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprStateUtils.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprStateUtils.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprStates.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprStates.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprTraceUtils.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/ExprTraceUtils.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/StmtAction.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/StmtAction.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceBwBinItpChecker.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceBwBinItpChecker.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceChecker.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceChecker.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceCombinedChecker.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceCombinedChecker.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceCombinedCheckers.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceCombinedCheckers.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceFwBinItpChecker.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceFwBinItpChecker.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceNewtonChecker.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceNewtonChecker.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceSeqItpChecker.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceSeqItpChecker.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceStatus.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceStatus.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceStatusMerger.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceStatusMerger.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceStatusMergers.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceStatusMergers.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceUCBChecker.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceUCBChecker.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceUnsatCoreChecker.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ExprTraceUnsatCoreChecker.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ItpRefutation.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/ItpRefutation.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/JoiningPrecRefiner.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/JoiningPrecRefiner.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/MultiExprTraceRefiner.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/MultiExprTraceRefiner.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/PrecRefiner.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/PrecRefiner.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/PruneStrategy.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/PruneStrategy.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/Refutation.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/Refutation.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/RefutationToPrec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/RefutationToPrec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/SingleExprTraceRefiner.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/SingleExprTraceRefiner.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/VarsRefutation.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/expr/refinement/VarsRefutation.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/impl/PrecMappingAnalysis.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/impl/PrecMappingAnalysis.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/impl/PrecMappingInitFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/impl/PrecMappingInitFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/impl/PrecMappingTransFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/impl/PrecMappingTransFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/package-info.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/package-info.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/ExprSplitters.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/ExprSplitters.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/ItpRefToPredPrec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/ItpRefToPredPrec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredAbstractors.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredAbstractors.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredAnalysis.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredAnalysis.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredInitFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredInitFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredOrd.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredOrd.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredPrec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredPrec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredState.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredState.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredTransFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/pred/PredTransFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/DefaultPreStrengtheningOperator.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/DefaultPreStrengtheningOperator.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/PreStrengtheningOperator.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/PreStrengtheningOperator.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2Analysis.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2Analysis.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2InitFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2InitFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2Ord.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2Ord.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2Prec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2Prec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2State.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2State.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2TransFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2TransFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/StrengtheningOperator.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/StrengtheningOperator.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/prod2explpred/AutomaticItpRefToProd2ExplPredPrec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/prod2explpred/AutomaticItpRefToProd2ExplPredPrec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/prod2explpred/ItpRefToProd2ExplPredPrec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/prod2explpred/ItpRefToProd2ExplPredPrec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/prod2explpred/Prod2ExplPredPreStrengtheningOperator.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/prod2explpred/Prod2ExplPredPreStrengtheningOperator.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/prod2explpred/Prod2ExplPredStrengtheningOperator.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/prod2explpred/Prod2ExplPredStrengtheningOperator.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3Analysis.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3Analysis.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3InitFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3InitFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3Ord.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3Ord.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3Prec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3Prec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3State.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3State.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3TransFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3TransFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4Analysis.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4Analysis.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4InitFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4InitFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4Ord.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4Ord.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4Prec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4Prec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4State.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4State.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4TransFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4TransFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/reachedset/Partition.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/reachedset/Partition.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/reachedset/ReachedSet.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/reachedset/ReachedSet.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitAnalysis.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitAnalysis.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitInitFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitInitFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitOrd.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitOrd.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitPrec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitPrec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitState.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitState.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitTransFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/unit/UnitTransFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/utils/ArgVisualizer.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/utils/ArgVisualizer.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/utils/TraceVisualizer.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/utils/TraceVisualizer.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/FifoWaitlist.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/FifoWaitlist.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/LifoWaitlist.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/LifoWaitlist.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/PriorityWaitlist.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/PriorityWaitlist.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/RandomWaitlist.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/RandomWaitlist.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/Waitlist.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/Waitlist.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/package-info.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/waitlist/package-info.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/BasicDbm.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/BasicDbm.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/BoundFunc.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/BoundFunc.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/DBM.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/DBM.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/DbmRelation.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/DbmRelation.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/DbmSignature.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/DbmSignature.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/DiffBounds.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/DiffBounds.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/ZeroVar.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/ZeroVar.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/ZoneOrd.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/ZoneOrd.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/ZonePrec.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/ZonePrec.java

File renamed without changes.

‎subprojects/core/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/ZoneState.java ‎subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/zone/ZoneState.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/TraceTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/TraceTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/ArgCexTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/ArgCexTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/ArgNodeComparatorsTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/ArgNodeComparatorsTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/ArgPruningTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/ArgPruningTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplInitFuncTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplInitFuncTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplOrdTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplOrdTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplPrecTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplPrecTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplStatePredicateTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplStatePredicateTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplStateTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplStateTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplStmtTransFuncTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplStmtTransFuncTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplTransFuncTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/ExplTransFuncTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/StmtApplierTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/expl/StmtApplierTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/expr/ExprOrdLeqTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/expr/ExprOrdLeqTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/expr/ExprStatesTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/expr/ExprStatesTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/expr/ExprTraceCheckersTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/expr/ExprTraceCheckersTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/pred/ExplSplittersTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/pred/ExplSplittersTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/pred/PredInitFuncTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/pred/PredInitFuncTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/pred/PredOrdTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/pred/PredOrdTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/pred/PredPrecTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/pred/PredPrecTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/pred/PredTransFuncTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/pred/PredTransFuncTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/stubs/ActionStub.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/stubs/ActionStub.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/stubs/PartialOrdStub.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/stubs/PartialOrdStub.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/stubs/PrecStub.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/stubs/PrecStub.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/stubs/StateStub.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/stubs/StateStub.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/waitlist/WaitlistTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/waitlist/WaitlistTest.java

File renamed without changes.

‎subprojects/core/analysis/src/test/java/hu/bme/mit/theta/analysis/zone/DiffBoundTest.java ‎subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/zone/DiffBoundTest.java

File renamed without changes.

‎subprojects/core/common/README.md ‎subprojects/common/common/README.md

‎subprojects/core/common/bin/.gitignore ‎subprojects/common/common/bin/.gitignore

File renamed without changes.

‎subprojects/core/common/build.gradle.kts ‎subprojects/common/common/build.gradle.kts

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/CliUtils.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/CliUtils.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/DispatchTable.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/DispatchTable.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/DispatchTable2.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/DispatchTable2.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/Either.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/Either.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/IntMatrix.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/IntMatrix.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/LispStringBuilder.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/LispStringBuilder.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/OsHelper.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/OsHelper.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/TernaryOperator.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/TernaryOperator.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/TriFunction.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/TriFunction.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/Try.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/Try.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/Tuple.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/Tuple.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/Tuple2.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/Tuple2.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/Tuple3.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/Tuple3.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/Tuple4.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/Tuple4.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/Tuple5.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/Tuple5.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/Tuple6.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/Tuple6.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/Tuple7.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/Tuple7.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/Unit.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/Unit.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/Utils.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/Utils.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/dsl/BasicScope.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/dsl/BasicScope.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/dsl/BasicScopedSymbol.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/dsl/BasicScopedSymbol.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/dsl/Env.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/dsl/Env.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/dsl/Scope.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/dsl/Scope.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/dsl/ScopedSymbol.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/dsl/ScopedSymbol.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/dsl/Symbol.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/dsl/Symbol.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/dsl/SymbolTable.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/dsl/SymbolTable.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/logging/BaseLogger.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/logging/BaseLogger.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/logging/ConsoleLogger.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/logging/ConsoleLogger.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/logging/FileLogger.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/logging/FileLogger.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/logging/Logger.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/logging/Logger.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/logging/NullLogger.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/logging/NullLogger.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/logging/package-info.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/logging/package-info.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/parser/LexerException.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/parser/LexerException.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/parser/LispLexer.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/parser/LispLexer.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/parser/LispParser.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/parser/LispParser.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/parser/ParserException.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/parser/ParserException.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/parser/SExpr.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/parser/SExpr.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/parser/Token.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/parser/Token.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/parser/TokenType.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/parser/TokenType.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/table/BasicTableWriter.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/table/BasicTableWriter.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/table/HtmlTableWriter.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/table/HtmlTableWriter.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/table/TableWriter.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/table/TableWriter.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/table/package-info.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/table/package-info.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/Alignment.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/Alignment.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/CompositeNode.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/CompositeNode.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/Edge.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/Edge.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/EdgeAttributes.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/EdgeAttributes.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/Graph.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/Graph.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/LineStyle.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/LineStyle.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/Node.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/Node.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/NodeAttributes.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/NodeAttributes.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/Shape.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/Shape.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/package-info.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/package-info.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/writer/AbstractGraphWriter.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/writer/AbstractGraphWriter.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/writer/GraphWriter.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/writer/GraphWriter.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/writer/GraphvizWriter.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/writer/GraphvizWriter.java

File renamed without changes.

‎subprojects/core/common/src/main/java/hu/bme/mit/theta/common/visualization/writer/YedWriter.java ‎subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/writer/YedWriter.java

File renamed without changes.

‎subprojects/core/common/src/test/java/hu/bme/mit/theta/common/parser/LispLexerTest.java ‎subprojects/common/common/src/test/java/hu/bme/mit/theta/common/parser/LispLexerTest.java

File renamed without changes.

‎subprojects/core/common/src/test/java/hu/bme/mit/theta/common/parser/SExpTest.java ‎subprojects/common/common/src/test/java/hu/bme/mit/theta/common/parser/SExpTest.java

File renamed without changes.

‎subprojects/core/common/src/test/java/hu/bme/mit/theta/common/table/TableWriterTest.java ‎subprojects/common/common/src/test/java/hu/bme/mit/theta/common/table/TableWriterTest.java

File renamed without changes.

‎subprojects/core/common/src/test/java/hu/bme/mit/theta/common/visualization/VisualizationTest.java ‎subprojects/common/common/src/test/java/hu/bme/mit/theta/common/visualization/VisualizationTest.java

File renamed without changes.

‎subprojects/core/core/README.md ‎subprojects/common/core/README.md

‎subprojects/core/core/bin/.gitignore ‎subprojects/common/core/bin/.gitignore

File renamed without changes.

‎subprojects/core/core/build.gradle.kts ‎subprojects/common/core/build.gradle.kts

File renamed without changes.

‎subprojects/core/core/src/main/antlr/CoreDsl.g4 ‎subprojects/common/core/src/main/antlr/CoreDsl.g4

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/AndConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/AndConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/AtomicConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/AtomicConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/ClockConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/ClockConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/ClockConstrVisitor.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/ClockConstrVisitor.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/ClockConstrs.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/ClockConstrs.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffEqConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffEqConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffGeqConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffGeqConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffGtConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffGtConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffLeqConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffLeqConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffLtConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/DiffLtConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/FailClockConstrVisitor.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/FailClockConstrVisitor.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/FalseConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/FalseConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/TrueConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/TrueConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitEqConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitEqConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitGeqConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitGeqConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitGtConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitGtConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitLeqConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitLeqConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitLtConstr.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/constr/UnitLtConstr.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/op/ClockOp.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/op/ClockOp.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/op/ClockOpVisitor.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/op/ClockOpVisitor.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/op/ClockOps.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/op/ClockOps.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/op/CopyOp.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/op/CopyOp.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/op/FailClockOpVisitor.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/op/FailClockOpVisitor.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/op/FreeOp.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/op/FreeOp.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/op/GuardOp.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/op/GuardOp.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/op/ResetOp.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/op/ResetOp.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/op/ShiftOp.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/op/ShiftOp.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/clock/package-info.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/clock/package-info.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/decl/BasicConstDecl.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/decl/BasicConstDecl.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/decl/ConstDecl.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/decl/ConstDecl.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/decl/Decl.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/decl/Decl.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/decl/Decls.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/decl/Decls.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/decl/IndexedConstDecl.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/decl/IndexedConstDecl.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/decl/ParamDecl.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/decl/ParamDecl.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/decl/VarDecl.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/decl/VarDecl.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/decl/package-info.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/decl/package-info.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/dsl/CoreDslManager.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/dsl/CoreDslManager.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/dsl/DeclSymbol.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/dsl/DeclSymbol.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/dsl/ParamBinding.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/dsl/ParamBinding.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/dsl/ParseException.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/dsl/ParseException.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/CoreDslHelper.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/CoreDslHelper.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/ExprCreatorVisitor.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/ExprCreatorVisitor.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/ExprWriter.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/ExprWriter.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/StmtCreatorVisitor.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/StmtCreatorVisitor.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/StmtWriter.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/StmtWriter.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/TypeCreatorVisitor.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/TypeCreatorVisitor.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/dsl/package-info.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/dsl/package-info.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/model/BasicSubstitution.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/model/BasicSubstitution.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/model/ImmutableValuation.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/model/ImmutableValuation.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/model/MutableValuation.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/model/MutableValuation.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/model/NestedSubstitution.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/model/NestedSubstitution.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/model/Substitution.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/model/Substitution.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/model/Valuation.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/model/Valuation.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/model/package-info.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/model/package-info.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/parser/CoreInterpreter.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/parser/CoreInterpreter.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/parser/CoreParser.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/parser/CoreParser.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/parser/Env.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/parser/Env.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/stmt/AssignStmt.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/stmt/AssignStmt.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/stmt/AssumeStmt.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/stmt/AssumeStmt.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/stmt/HavocStmt.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/stmt/HavocStmt.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/stmt/NonDetStmt.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/stmt/NonDetStmt.java

File renamed without changes.

‎subprojects/core/core/src/main/java/hu/bme/mit/theta/core/stmt/OrtStmt.java ‎subprojects/common/core/src/main/java/hu/bme/mit/theta/core/stmt/OrtStmt.java

File renamed without changes.

0 commit comments

Comments
 (0)