crackers_python-v0.6.0
·
21 commits
to main
since this release
Added
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)