Added mcm-udpate and xcfa-refactor files

ftsrg · Jul 23, 2023 · 060e3ac · 060e3ac
1 parent d26650e
commit 060e3ac
Show file tree

Hide file tree

Showing 118 changed files with 3,304 additions and 3,082 deletions.
diff --git a/settings.gradle.kts b/settings.gradle.kts
@@ -34,6 +34,7 @@ include(
 
     "xcfa/xcfa",
     "xcfa/cat",
+    "xcfa/exec-graph-cli",
     "xcfa/c2xcfa",
     "xcfa/litmus2xcfa",
     "xcfa/xcfa-analysis",
@@ -51,7 +52,8 @@ include(
     "solver/solver",
     "solver/solver-z3",
     "solver/solver-smtlib",
-    "solver/solver-smtlib-cli"
+    "solver/solver-smtlib-cli",
+    "solver/graph-solver",
 )
 
 for (project in rootProject.children) {

diff --git a/subprojects/common/analysis/build.gradle.kts b/subprojects/common/analysis/build.gradle.kts
@@ -22,5 +22,6 @@ dependencies {
     implementation(project(":theta-common"))
     implementation(project(":theta-core"))
     implementation(project(":theta-solver"))
+    implementation(project(":theta-graph-solver"))
     testImplementation(project(":theta-solver-z3"))
 }
diff --git a/...common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mcm/ExecutionGraph.java b/...common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mcm/ExecutionGraph.java
diff --git a/...analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mcm/ExecutionGraphBuilder.java b/...analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mcm/ExecutionGraphBuilder.java