From 8af73e0151b4d98fd604e2445159e8a4c499b5f2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= Date: Wed, 11 Dec 2024 16:25:03 -0500 Subject: [PATCH] bump version to 0.29.0 --- patronus/Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/patronus/Cargo.toml b/patronus/Cargo.toml index 82ff19b..aa6c63e 100644 --- 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"]