bump version to 0.33.0

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