bump version to 0.29.0

cucapra · Dec 11, 2024 · 8af73e0 · 8af73e0
1 parent faab7c8
commit 8af73e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/patronus/Cargo.toml b/patronus/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "patronus"
-version = "0.28.2"
+version = "0.29.0"
 description = "Hardware bug-finding toolkit."
 homepage = "https://kevinlaeufer.com"
 keywords = ["RTL", "btor", "model-checking", "SMT", "bit-vector"]