chore: release v0.8.0

[toolCHAINZ]

🤖 New release

• crackers: 0.7.0 -> 0.8.0 (⚠ API breaking changes)
• crackers_python: 0.7.0 -> 0.8.0

⚠ crackers breaking changes

--- failure function_missing: pub fn removed or renamed ---

Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.45.0/src/lints/function_missing.ron

Failed in:
  function crackers::bench::bench, previously in file /tmp/.tmpM2OqU3/crackers/src/bench/mod.rs:22

--- failure module_missing: pub module removed or renamed ---

Description:
A publicly-visible module cannot be imported by its prior path. A `pub use` may have been removed, or the module may have been renamed, removed, or made non-public.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.45.0/src/lints/module_missing.ron

Failed in:
  mod crackers::bench, previously in file /tmp/.tmpM2OqU3/crackers/src/bench/mod.rs:1

--- failure struct_missing: pub struct removed or renamed ---

Description:
A publicly-visible struct cannot be imported by its prior path. A `pub use` may have been removed, or the struct itself may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.45.0/src/lints/struct_missing.ron

Failed in:
  struct crackers::bench::BenchCommand, previously in file /tmp/.tmpM2OqU3/crackers/src/bench/mod.rs:16

Changelog

crackers

0.8.0 - 2025-12-22

Added

• add simple model printing to CLI (#91)

Other

• update readme (#95)
• revert readme to libc example (#92)

crackers_python

0.8.0 - 2025-12-22

Added

• [breaking] Allow providing reference programs as raw pcode (#89)
• python package refactor (#75)
• use release-plz (#45)

Fixed

• prevent unnecessary pyo3 build step and fix cargo workspace build (#85)
• tweak some schemas and serializations (#77)
• threading changes (#62)
• revert to single threaded (#61)
• verify reference program operations against blacklist (#51)

Other

• add GitHub PAT support for API requests in CI setup (#94)
• release v0.7.0 (#90)
• release v0.6.4 (#86)
• Revise BibTeX citation in PYTHON_README.md (#88)
• release v0.6.3 (#84)
• warn on duplicate register constraint (#82)
• release v0.6.2 (#81)
• bump z3 (#80)
• release v0.6.1 (#78)
• release v0.6.0 (#73)
• update jingle APIs (#72)
• release v0.5.4 (#71)
• bump pyo3 (#69)
• release v0.5.3 (#67)
• bump deps (#66)
• release v0.5.2 (#65)
• bump z3 and jingle (#64)
• release v0.5.1 (#63)
• release v0.5.0 (#60)
• bump z3 (#59)
• release v0.4.0 (#58)
• bump deps (#57)
• release v0.3.0 (#56)
• [breaking] bump jingle and z3 (#55)
• release v0.2.1 (#54)
• release v0.2.0 (#52)
• release v0.1.3 (#50)
• release (#46)
• Update refs (#41)
• Add import for mac OS wheel (#40)
• Fix Linux Z3 Dynamic Linking (#38)
• Re-enable ARM linux wheel (#37)
• Add JSON de/serialization to python (#36)
• Update Python Type Annotations (#35)
• Add Python Type Annotations (#34)
• Enhanced Python Constraint Support (#27)
• Rust 2024 Edition (#26)
• Add Python CI (#25)
• pyo3 bindings (#21)

---

This PR was generated with release-plz.