Skip to content

Conversation

@toolCHAINZ
Copy link
Owner

🤖 New release

  • crackers: 0.5.2 -> 0.5.3 (✓ API compatible changes)
  • crackers_python: 0.5.2 -> 0.5.3
Changelog

crackers

0.5.3 - 2025-09-14

Other

  • bump deps (#66)

crackers_python

0.5.3 - 2025-09-14

Added

  • use release-plz (#45)

Fixed

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

Other

  • 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 enabled auto-merge (squash) September 14, 2025 12:03
@toolCHAINZ toolCHAINZ merged commit caeba95 into main Sep 14, 2025
10 checks passed
This was referenced Sep 17, 2025
@toolCHAINZ toolCHAINZ deleted the release-plz-2025-09-14T12-03-15Z branch September 21, 2025 20:46
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