chore: release v0.5.0

[toolCHAINZ]

🤖 New release

• crackers: 0.4.0 -> 0.5.0 (⚠ API breaking changes)
• crackers_python: 0.4.0 -> 0.5.0

⚠ crackers breaking changes

--- failure function_parameter_count_changed: pub fn parameter count changed ---

Description:
A publicly-visible function now takes a different number of parameters.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#fn-change-arity
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.43.0/src/lints/function_parameter_count_changed.ron

Failed in:
  crackers::synthesis::pcode_theory::pcode_assignment::assert_concat now takes 1 parameters instead of 2, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/pcode_theory/pcode_assignment.rs:84
  crackers::assert_concat now takes 1 parameters instead of 2, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/pcode_theory/pcode_assignment.rs:84
  crackers::synthesis::pcode_theory::pcode_assignment::assert_state_constraints now takes 3 parameters instead of 4, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/pcode_theory/pcode_assignment.rs:117
  crackers::assert_state_constraints now takes 3 parameters instead of 4, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/pcode_theory/pcode_assignment.rs:117
  crackers::synthesis::pcode_theory::pcode_assignment::assert_compatible_semantics now takes 3 parameters instead of 4, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/pcode_theory/pcode_assignment.rs:93
  crackers::assert_compatible_semantics now takes 3 parameters instead of 4, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/pcode_theory/pcode_assignment.rs:93

--- failure method_parameter_count_changed: pub method parameter count changed ---

Description:
A publicly-visible method now takes a different number of parameters.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#fn-change-arity
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.43.0/src/lints/method_parameter_count_changed.ron

Failed in:
  crackers::synthesis::builder::SynthesisParams::build_single now takes 1 parameters instead of 2, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/builder.rs:63
  crackers::synthesis::builder::SynthesisParams::build_combined now takes 1 parameters instead of 2, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/builder.rs:68
  crackers::synthesis::pcode_theory::theory_worker::TheoryWorker::new now takes 4 parameters instead of 5, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/pcode_theory/theory_worker.rs:26
  crackers::synthesis::pcode_theory::builder::PcodeTheoryBuilder::build now takes 1 parameters instead of 2, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/pcode_theory/builder.rs:39
  crackers::synthesis::AssignmentSynthesis::new now takes 1 parameters instead of 2, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/mod.rs:66
  crackers::synthesis::assignment_model::builder::AssignmentModelBuilder::build now takes 1 parameters instead of 2, in /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/assignment_model/builder.rs:59

--- failure trait_method_parameter_count_changed: pub trait method parameter count changed ---

Description:
A trait method now takes a different number of parameters.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#major-any-change-to-trait-item-signatures
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.43.0/src/lints/trait_method_parameter_count_changed.ron

Failed in:
  SelectionStrategy::initialize now takes 1 instead of 2 parameters, in file /tmp/.tmp9BAb6P/crackers/crackers/src/synthesis/selection_strategy/mod.rs:60

Changelog

crackers

0.5.0 - 2025-08-21

Other

• bump z3 (#59)

crackers_python

0.5.0 - 2025-08-21

Added

• use release-plz (#45)

Fixed

• verify reference program operations against blacklist (#51)

Other

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