chore: release v0.3.0

[toolCHAINZ]

🤖 New release

• crackers: 0.2.1 -> 0.3.0 (⚠ API breaking changes)
• crackers_python: 0.2.1 -> 0.3.0

⚠ crackers breaking changes

--- failure trait_mismatched_generic_lifetimes: trait now takes a different number of generic lifetimes ---

Description:
A trait now takes a different number of generic lifetime parameters. Uses of this trait that name the previous number of parameters, such as in trait bounds, will be broken.
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.41.0/src/lints/trait_mismatched_generic_lifetimes.ron
Failed in:
  trait SelectionStrategy (1 -> 0 lifetime params) in /tmp/.tmp7xWaj9/crackers/crackers/src/synthesis/selection_strategy/mod.rs:60

--- failure type_mismatched_generic_lifetimes: type now takes a different number of generic lifetimes ---

Description:
A type now takes a different number of generic lifetime parameters. Uses of this type that name the previous number of parameters will be broken.
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.41.0/src/lints/type_mismatched_generic_lifetimes.ron
Failed in:
  Struct AssignmentSynthesis (1 -> 0 lifetime params) in /tmp/.tmp7xWaj9/crackers/crackers/src/synthesis/mod.rs:53
  Struct PcodeAssignment (1 -> 0 lifetime params) in /tmp/.tmp7xWaj9/crackers/crackers/src/synthesis/pcode_theory/pcode_assignment.rs:12
  Struct AssignmentModel (1 -> 0 lifetime params) in /tmp/.tmp7xWaj9/crackers/crackers/src/synthesis/assignment_model/mod.rs:12
  Enum OuterProblem (1 -> 0 lifetime params) in /tmp/.tmp7xWaj9/crackers/crackers/src/synthesis/selection_strategy/mod.rs:72
  Struct PcodeTheory (1 -> 0 lifetime params) in /tmp/.tmp7xWaj9/crackers/crackers/src/synthesis/pcode_theory/mod.rs:30
  Struct OptimizationProblem (1 -> 0 lifetime params) in /tmp/.tmp7xWaj9/crackers/crackers/src/synthesis/selection_strategy/optimization_problem.rs:15
  Struct SatProblem (1 -> 0 lifetime params) in /tmp/.tmp7xWaj9/crackers/crackers/src/synthesis/selection_strategy/sat_problem.rs:13
  Struct TheoryWorker (1 -> 0 lifetime params) in /tmp/.tmp7xWaj9/crackers/crackers/src/synthesis/pcode_theory/theory_worker.rs:19

Changelog

crackers

0.3.0 - 2025-08-06

Other

• [breaking] bump jingle and z3 (#55)

crackers_python

0.3.0 - 2025-08-06

Added

• use release-plz (#45)

Fixed

• verify reference program operations against blacklist (#51)

Other

• [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.