Skip to content

Conversation

@toolCHAINZ
Copy link
Owner

@toolCHAINZ toolCHAINZ commented Sep 19, 2025

🤖 New release

  • crackers: 0.5.4 -> 0.6.0 (⚠ API breaking changes)
  • crackers_python: 0.5.4 -> 0.6.0

crackers breaking changes

--- failure method_requires_different_generic_type_params: method now requires a different number of generic type parameters ---

Description:
A method now requires a different number of generic type parameters than it used to. Uses of this method that supplied the previous number of generic types will be broken.
        ref: https://doc.rust-lang.org/reference/items/generics.html
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.43.0/src/lints/method_requires_different_generic_type_params.ron

Failed in:
  crackers::gadget::candidates::Candidates::model takes 1 generic types instead of 0, in /tmp/.tmpN6sJoy/crackers/crackers/src/gadget/candidates.rs:61
  crackers::gadget::Gadget::model takes 1 generic types instead of 0, in /tmp/.tmpN6sJoy/crackers/crackers/src/gadget/mod.rs:52
  crackers::synthesis::pcode_theory::builder::PcodeTheoryBuilder::build_assignment takes 1 generic types instead of 0, in /tmp/.tmpN6sJoy/crackers/crackers/src/synthesis/pcode_theory/builder.rs:54
  crackers::synthesis::pcode_theory::PcodeTheory::new takes 1 generic types instead of 0, in /tmp/.tmpN6sJoy/crackers/crackers/src/synthesis/pcode_theory/mod.rs:43
  crackers::gadget::library::GadgetLibrary::get_random_candidates_for_trace takes 1 generic types instead of 0, in /tmp/.tmpN6sJoy/crackers/crackers/src/gadget/library/mod.rs:38
Changelog

crackers

0.6.0 - 2025-09-22

Added

  • python package refactor (#75)

Other

  • update jingle APIs (#72)

crackers_python

0.6.0 - 2025-09-22

Added

  • python package refactor (#75)
  • use release-plz (#45)

Fixed

  • threading changes (#62)
  • revert to single threaded (#61)
  • verify reference program operations against blacklist (#51)

Other

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

@toolCHAINZ toolCHAINZ force-pushed the release-plz-2025-09-19T09-46-06Z branch from a2f2043 to 7fdfd1a Compare September 19, 2025 10:12
@toolCHAINZ toolCHAINZ force-pushed the release-plz-2025-09-19T09-46-06Z branch from 7fdfd1a to 554dfc0 Compare September 22, 2025 16:18
@toolCHAINZ toolCHAINZ enabled auto-merge (squash) September 22, 2025 16:19
@toolCHAINZ toolCHAINZ merged commit f2ef4cb into main Sep 22, 2025
15 checks passed
@toolCHAINZ toolCHAINZ deleted the release-plz-2025-09-19T09-46-06Z branch September 22, 2025 16:22
This was referenced Sep 22, 2025
@toolCHAINZ toolCHAINZ mentioned this pull request Dec 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants