From fb589ea4da47576a7269a8f9cdb26b410ccc7591 Mon Sep 17 00:00:00 2001 From: Mark DenHoed Date: Mon, 22 Dec 2025 18:05:42 +0000 Subject: [PATCH 1/2] chore: release v0.7.1 --- crackers/CHANGELOG.md | 11 +++++++ crackers/Cargo.toml | 2 +- crackers_python/CHANGELOG.md | 58 ++++++++++++++++++++++++++++++++++++ crackers_python/Cargo.toml | 4 +-- 4 files changed, 72 insertions(+), 3 deletions(-) diff --git a/crackers/CHANGELOG.md b/crackers/CHANGELOG.md index 7dd593e..814d9c2 100644 --- a/crackers/CHANGELOG.md +++ b/crackers/CHANGELOG.md @@ -7,6 +7,17 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ## [Unreleased] +## [0.8.0](https://github.com/toolCHAINZ/crackers/compare/crackers-v0.7.0...crackers-v0.8.0) - 2025-12-22 + +### Added + +- add simple model printing to CLI ([#91](https://github.com/toolCHAINZ/crackers/pull/91)) + +### Other + +- update readme ([#95](https://github.com/toolCHAINZ/crackers/pull/95)) +- revert readme to libc example ([#92](https://github.com/toolCHAINZ/crackers/pull/92)) + ## [0.7.0](https://github.com/toolCHAINZ/crackers/compare/crackers-v0.6.4...crackers-v0.7.0) - 2025-12-21 ### Added diff --git a/crackers/Cargo.toml b/crackers/Cargo.toml index d62bf41..c2732fe 100644 --- a/crackers/Cargo.toml +++ b/crackers/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "crackers" -version = "0.7.0" +version = "0.8.0" readme = "../README.md" authors = ["toolCHAINZ"] license = "MIT" diff --git a/crackers_python/CHANGELOG.md b/crackers_python/CHANGELOG.md index 2638cb0..62d08d8 100644 --- a/crackers_python/CHANGELOG.md +++ b/crackers_python/CHANGELOG.md @@ -7,6 +7,64 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ## [Unreleased] +## [0.8.0](https://github.com/toolCHAINZ/crackers/compare/crackers_python-v0.7.0...crackers_python-v0.8.0) - 2025-12-22 + +### Added + +- [**breaking**] Allow providing reference programs as raw pcode ([#89](https://github.com/toolCHAINZ/crackers/pull/89)) +- python package refactor ([#75](https://github.com/toolCHAINZ/crackers/pull/75)) +- use release-plz ([#45](https://github.com/toolCHAINZ/crackers/pull/45)) + +### Fixed + +- prevent unnecessary pyo3 build step and fix cargo workspace build ([#85](https://github.com/toolCHAINZ/crackers/pull/85)) +- tweak some schemas and serializations ([#77](https://github.com/toolCHAINZ/crackers/pull/77)) +- threading changes ([#62](https://github.com/toolCHAINZ/crackers/pull/62)) +- revert to single threaded ([#61](https://github.com/toolCHAINZ/crackers/pull/61)) +- verify reference program operations against blacklist ([#51](https://github.com/toolCHAINZ/crackers/pull/51)) + +### Other + +- add GitHub PAT support for API requests in CI setup ([#94](https://github.com/toolCHAINZ/crackers/pull/94)) +- release v0.7.0 ([#90](https://github.com/toolCHAINZ/crackers/pull/90)) +- release v0.6.4 ([#86](https://github.com/toolCHAINZ/crackers/pull/86)) +- Revise BibTeX citation in PYTHON_README.md ([#88](https://github.com/toolCHAINZ/crackers/pull/88)) +- release v0.6.3 ([#84](https://github.com/toolCHAINZ/crackers/pull/84)) +- warn on duplicate register constraint ([#82](https://github.com/toolCHAINZ/crackers/pull/82)) +- release v0.6.2 ([#81](https://github.com/toolCHAINZ/crackers/pull/81)) +- bump z3 ([#80](https://github.com/toolCHAINZ/crackers/pull/80)) +- release v0.6.1 ([#78](https://github.com/toolCHAINZ/crackers/pull/78)) +- release v0.6.0 ([#73](https://github.com/toolCHAINZ/crackers/pull/73)) +- update jingle APIs ([#72](https://github.com/toolCHAINZ/crackers/pull/72)) +- release v0.5.4 ([#71](https://github.com/toolCHAINZ/crackers/pull/71)) +- bump pyo3 ([#69](https://github.com/toolCHAINZ/crackers/pull/69)) +- release v0.5.3 ([#67](https://github.com/toolCHAINZ/crackers/pull/67)) +- bump deps ([#66](https://github.com/toolCHAINZ/crackers/pull/66)) +- release v0.5.2 ([#65](https://github.com/toolCHAINZ/crackers/pull/65)) +- bump z3 and jingle ([#64](https://github.com/toolCHAINZ/crackers/pull/64)) +- release v0.5.1 ([#63](https://github.com/toolCHAINZ/crackers/pull/63)) +- release v0.5.0 ([#60](https://github.com/toolCHAINZ/crackers/pull/60)) +- bump z3 ([#59](https://github.com/toolCHAINZ/crackers/pull/59)) +- release v0.4.0 ([#58](https://github.com/toolCHAINZ/crackers/pull/58)) +- bump deps ([#57](https://github.com/toolCHAINZ/crackers/pull/57)) +- release v0.3.0 ([#56](https://github.com/toolCHAINZ/crackers/pull/56)) +- [**breaking**] bump jingle and z3 ([#55](https://github.com/toolCHAINZ/crackers/pull/55)) +- release v0.2.1 ([#54](https://github.com/toolCHAINZ/crackers/pull/54)) +- release v0.2.0 ([#52](https://github.com/toolCHAINZ/crackers/pull/52)) +- release v0.1.3 ([#50](https://github.com/toolCHAINZ/crackers/pull/50)) +- release ([#46](https://github.com/toolCHAINZ/crackers/pull/46)) +- Update refs ([#41](https://github.com/toolCHAINZ/crackers/pull/41)) +- Add import for mac OS wheel ([#40](https://github.com/toolCHAINZ/crackers/pull/40)) +- Fix Linux Z3 Dynamic Linking ([#38](https://github.com/toolCHAINZ/crackers/pull/38)) +- Re-enable ARM linux wheel ([#37](https://github.com/toolCHAINZ/crackers/pull/37)) +- Add JSON de/serialization to python ([#36](https://github.com/toolCHAINZ/crackers/pull/36)) +- Update Python Type Annotations ([#35](https://github.com/toolCHAINZ/crackers/pull/35)) +- Add Python Type Annotations ([#34](https://github.com/toolCHAINZ/crackers/pull/34)) +- Enhanced Python Constraint Support ([#27](https://github.com/toolCHAINZ/crackers/pull/27)) +- Rust 2024 Edition ([#26](https://github.com/toolCHAINZ/crackers/pull/26)) +- Add Python CI ([#25](https://github.com/toolCHAINZ/crackers/pull/25)) +- pyo3 bindings ([#21](https://github.com/toolCHAINZ/crackers/pull/21)) + ## [0.7.0](https://github.com/toolCHAINZ/crackers/compare/crackers_python-v0.6.4...crackers_python-v0.7.0) - 2025-12-21 ### Added diff --git a/crackers_python/Cargo.toml b/crackers_python/Cargo.toml index 5a79488..c43124b 100644 --- a/crackers_python/Cargo.toml +++ b/crackers_python/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "crackers_python" -version = "0.7.0" +version = "0.8.0" license = "MIT" edition = "2024" description = "pyo3 bindings for crackers" @@ -11,7 +11,7 @@ crate-type = ["cdylib"] [dependencies] pyo3 = { version = "0.27.2", features = ["extension-module", "py-clone"] } -crackers = {path = "../crackers", features = ["pyo3"], version = "0.7.0" } +crackers = {path = "../crackers", features = ["pyo3"], version = "0.8.0" } jingle = { version = "0.4.2", features = ["pyo3"]} toml_edit = { version = "0.23.4", features = ["serde"] } z3 = "0.19.0" From 072231609539894d5da20c79bafb5785b56ca62c Mon Sep 17 00:00:00 2001 From: Mark DenHoed Date: Mon, 22 Dec 2025 18:06:48 +0000 Subject: [PATCH 2/2] Clean up CHANGELOG.md for version 0.8.0 Removed detailed entries for version 0.8.0 from the changelog. --- crackers_python/CHANGELOG.md | 51 ------------------------------------ 1 file changed, 51 deletions(-) diff --git a/crackers_python/CHANGELOG.md b/crackers_python/CHANGELOG.md index 62d08d8..96e1666 100644 --- a/crackers_python/CHANGELOG.md +++ b/crackers_python/CHANGELOG.md @@ -9,61 +9,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ## [0.8.0](https://github.com/toolCHAINZ/crackers/compare/crackers_python-v0.7.0...crackers_python-v0.8.0) - 2025-12-22 -### Added - -- [**breaking**] Allow providing reference programs as raw pcode ([#89](https://github.com/toolCHAINZ/crackers/pull/89)) -- python package refactor ([#75](https://github.com/toolCHAINZ/crackers/pull/75)) -- use release-plz ([#45](https://github.com/toolCHAINZ/crackers/pull/45)) - -### Fixed - -- prevent unnecessary pyo3 build step and fix cargo workspace build ([#85](https://github.com/toolCHAINZ/crackers/pull/85)) -- tweak some schemas and serializations ([#77](https://github.com/toolCHAINZ/crackers/pull/77)) -- threading changes ([#62](https://github.com/toolCHAINZ/crackers/pull/62)) -- revert to single threaded ([#61](https://github.com/toolCHAINZ/crackers/pull/61)) -- verify reference program operations against blacklist ([#51](https://github.com/toolCHAINZ/crackers/pull/51)) - ### Other - add GitHub PAT support for API requests in CI setup ([#94](https://github.com/toolCHAINZ/crackers/pull/94)) - release v0.7.0 ([#90](https://github.com/toolCHAINZ/crackers/pull/90)) -- release v0.6.4 ([#86](https://github.com/toolCHAINZ/crackers/pull/86)) -- Revise BibTeX citation in PYTHON_README.md ([#88](https://github.com/toolCHAINZ/crackers/pull/88)) -- release v0.6.3 ([#84](https://github.com/toolCHAINZ/crackers/pull/84)) -- warn on duplicate register constraint ([#82](https://github.com/toolCHAINZ/crackers/pull/82)) -- release v0.6.2 ([#81](https://github.com/toolCHAINZ/crackers/pull/81)) -- bump z3 ([#80](https://github.com/toolCHAINZ/crackers/pull/80)) -- release v0.6.1 ([#78](https://github.com/toolCHAINZ/crackers/pull/78)) -- release v0.6.0 ([#73](https://github.com/toolCHAINZ/crackers/pull/73)) -- update jingle APIs ([#72](https://github.com/toolCHAINZ/crackers/pull/72)) -- release v0.5.4 ([#71](https://github.com/toolCHAINZ/crackers/pull/71)) -- bump pyo3 ([#69](https://github.com/toolCHAINZ/crackers/pull/69)) -- release v0.5.3 ([#67](https://github.com/toolCHAINZ/crackers/pull/67)) -- bump deps ([#66](https://github.com/toolCHAINZ/crackers/pull/66)) -- release v0.5.2 ([#65](https://github.com/toolCHAINZ/crackers/pull/65)) -- bump z3 and jingle ([#64](https://github.com/toolCHAINZ/crackers/pull/64)) -- release v0.5.1 ([#63](https://github.com/toolCHAINZ/crackers/pull/63)) -- release v0.5.0 ([#60](https://github.com/toolCHAINZ/crackers/pull/60)) -- bump z3 ([#59](https://github.com/toolCHAINZ/crackers/pull/59)) -- release v0.4.0 ([#58](https://github.com/toolCHAINZ/crackers/pull/58)) -- bump deps ([#57](https://github.com/toolCHAINZ/crackers/pull/57)) -- release v0.3.0 ([#56](https://github.com/toolCHAINZ/crackers/pull/56)) -- [**breaking**] bump jingle and z3 ([#55](https://github.com/toolCHAINZ/crackers/pull/55)) -- release v0.2.1 ([#54](https://github.com/toolCHAINZ/crackers/pull/54)) -- release v0.2.0 ([#52](https://github.com/toolCHAINZ/crackers/pull/52)) -- release v0.1.3 ([#50](https://github.com/toolCHAINZ/crackers/pull/50)) -- release ([#46](https://github.com/toolCHAINZ/crackers/pull/46)) -- Update refs ([#41](https://github.com/toolCHAINZ/crackers/pull/41)) -- Add import for mac OS wheel ([#40](https://github.com/toolCHAINZ/crackers/pull/40)) -- Fix Linux Z3 Dynamic Linking ([#38](https://github.com/toolCHAINZ/crackers/pull/38)) -- Re-enable ARM linux wheel ([#37](https://github.com/toolCHAINZ/crackers/pull/37)) -- Add JSON de/serialization to python ([#36](https://github.com/toolCHAINZ/crackers/pull/36)) -- Update Python Type Annotations ([#35](https://github.com/toolCHAINZ/crackers/pull/35)) -- Add Python Type Annotations ([#34](https://github.com/toolCHAINZ/crackers/pull/34)) -- Enhanced Python Constraint Support ([#27](https://github.com/toolCHAINZ/crackers/pull/27)) -- Rust 2024 Edition ([#26](https://github.com/toolCHAINZ/crackers/pull/26)) -- Add Python CI ([#25](https://github.com/toolCHAINZ/crackers/pull/25)) -- pyo3 bindings ([#21](https://github.com/toolCHAINZ/crackers/pull/21)) ## [0.7.0](https://github.com/toolCHAINZ/crackers/compare/crackers_python-v0.6.4...crackers_python-v0.7.0) - 2025-12-21