Switch to using rustc dataflow engine

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

Hide file tree

Showing 37 changed files with 1,570 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