try vecmap, doesnt realy work, moving on from there

LizardWizzard · Feb 10, 2024 · a7c4427 · a7c4427
1 parent f283ccc
commit a7c4427
Show file tree

Hide file tree

Showing 14 changed files with 846 additions and 597 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -7,6 +7,15 @@ edition = "2021"
 hashbrown = { version = "0.14.3", features = ["raw"] }
 tracing = "0.1.40"
 
+# dev dependencies are not allowed to be optional
+# kani doesnt use dev-dependencies :(
+# https://github.com/model-checking/kani/issues/585
+# vector-map = { version = "1.0.1", optional = true }
+vector-map = { path = "vec-map-rs", optional = true }
+
 [dev-dependencies]
 once_cell = "1.19.0"
 tracing-subscriber = "0.3.18"
+
+[features]
+verification = ["vector-map"]
diff --git a/clippy.toml b/clippy.toml
@@ -0,0 +1,6 @@
+disallowed-types = [
+    { path = "std::collections::HashMap", reason = "Unsuitable for verification use crate::collections:Map that cfg's into the right version" },
+    { path = "std::collections::HashSet", reason = "Unsuitable for verification use crate::collections:Set that cfg's into the right version" },
+    { path = "hashbrown::HashMap", reason = "Unsuitable for verification use crate::collections:Map that cfg's into the right version" },
+    { path = "hashbrown::HashSet", reason = "Unsuitable for verification use crate::collections:Set that cfg's into the right version" },
+]