Switch to using rustc dataflow engine

viperproject · Apr 18, 2023 · fe1ea45 · fe1ea45
1 parent 18a6a0e
commit fe1ea45
Show file tree

Hide file tree

Showing 37 changed files with 1,572 additions and 2,455 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -7,7 +7,7 @@ members = [
     "prusti-common",
     "prusti-utils",
     "tracing",
-    "micromir",
+    "mir-state-analysis",
     "prusti-interface",
     "prusti-viper",
     "prusti-server",

diff --git a/micromir/src/check/checker.rs b/micromir/src/check/checker.rs
diff --git a/micromir/src/defs/body.rs b/micromir/src/defs/body.rs