Merge pull request #520 from AeneasVerif/son/cfg1

Improve the CFG reconstruction
AeneasVerif · Jan 13, 2025 · fd47c64 · fd47c64
2 parents df3b7fd + fe9d7d8
commit fd47c64
Show file tree

Hide file tree

Showing 7 changed files with 430 additions and 169 deletions.
diff --git a/charon/Cargo.lock b/charon/Cargo.lock
diff --git a/charon/Cargo.toml b/charon/Cargo.toml
@@ -59,6 +59,8 @@ lazy_static = "1.4.0"
 log = "0.4.17"
 nom = "7.1.3"
 nom-supreme = "0.8.0"
+num-bigint="0.4.6"
+num-rational="0.4"
 petgraph = "0.6.2"
 reqwest = { version = "0.12.8", optional = true }
 rustc_version = "0.4"