bump baa to 0.14.0 (#2320)

This reduces the size of BitVecValue from 32 bytes to 24 bytes.
calyxir · Oct 29, 2024 · 2f1af6f · 2f1af6f
1 parent 1323502
commit 2f1af6f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/interp/Cargo.toml b/interp/Cargo.toml
@@ -46,7 +46,7 @@ calyx-frontend = { path = "../calyx-frontend" }
 btor2i = { path = "../tools/btor2/btor2i" }
 
 ciborium = "0.2.2"
-baa = { version = "0.6.0", features = ["bigint", "serde1", "fraction1"] }
+baa = { version = "0.14.0", features = ["bigint", "serde1", "fraction1"] }
 fst-writer = "0.2.1"
 bon = "2.3"