Skip to content

Conversation

@toolCHAINZ
Copy link
Owner

🤖 New release

  • crackers: 0.8.0 -> 0.8.1 (✓ API compatible changes)
  • crackers_python: 0.8.0 -> 0.8.1
Changelog

crackers

0.8.1 - 2025-12-24

Added

  • refactor and correct formatting for printing on the CLI (#96)

crackers_python

0.8.1 - 2025-12-24

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

  • release v0.8.0 (#93)
  • 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.

@toolCHAINZ toolCHAINZ enabled auto-merge (squash) December 24, 2025 11:34
@toolCHAINZ toolCHAINZ merged commit 971cdc1 into main Dec 24, 2025
17 checks passed
@toolCHAINZ toolCHAINZ mentioned this pull request Dec 25, 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