bump to 0.34.0

ekiwi · ekiwi · commit c4d8fc35fe68 · 2025-06-10T10:50:20.000-04:00
diff --git a/patronus/Cargo.toml b/patronus/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "patronus"
-version = "0.33.0"
+version = "0.34.0"
 description = "Hardware bug-finding toolkit."
 homepage = "https://kevinlaeufer.com"
 keywords = ["RTL", "btor", "model-checking", "SMT", "bit-vector"]
