Skip to content

Commit

Permalink
Switch to using rustc dataflow engine
Browse files Browse the repository at this point in the history
  • Loading branch information
JonasAlaif committed Apr 18, 2023
1 parent 18a6a0e commit fe1ea45
Show file tree
Hide file tree
Showing 37 changed files with 1,572 additions and 2,455 deletions.
33 changes: 16 additions & 17 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ members = [
"prusti-common",
"prusti-utils",
"tracing",
"micromir",
"mir-state-analysis",
"prusti-interface",
"prusti-viper",
"prusti-server",
Expand Down
136 changes: 0 additions & 136 deletions micromir/src/check/checker.rs

This file was deleted.

143 changes: 0 additions & 143 deletions micromir/src/defs/body.rs

This file was deleted.

Loading

0 comments on commit fe1ea45

Please sign in to comment.