chore: release v0.1.2

[toolCHAINZ]

🤖 New release

• crackers: 0.1.1 -> 0.1.2 (✓ API compatible changes)
• crackers_python: 0.1.1 -> 0.1.2

Changelog

crackers

0.1.2 - 2025-07-11

Added

• use release-plz (#45)

Other

• build issues (#47)
• Reference program refactor (#44)
• Add logo (#43)
• Found some missing #[cfg] guards. Oops! (#42)
• Update refs (#41)
• Add Python Type Annotations (#34)
• Add link to usenix (#32)
• Update README.md (#31)
• Update README.md (#30)
• Enhanced Python Constraint Support (#27)
• Rust 2024 Edition (#26)
• pyo3 bindings (#21)
• Readme update
• Add readme
• Reorganize
• Gadget builder tweaks
• Blacklist
• Stuff
• Some library changes to allow more aggressive clause generation
• Merge branch 'main' of github-toolchainz-ssh:toolCHAINZ/crackers
• More invariant stuff
• Pointer invariant stuff
• Cargo fmt
• Playing with constraints
• Precondition and postcondition stuff
• More changes
• More builder stuff
• Tweaks
• Some config stuff
• Remove unneeded pubs
• Make outer layer use a trait and reorganize a bit
• Rename file
• Further penalize length
• Add optimization problem, change how we propagate conflicts
• Add better display for conflicts, make memory branching constraints more aggressive
• Start of better result display
• Account for instruction branching semantics
• Cover/overlap/refine stuff 2
• Cover/overlap/refine stuff
• Move slot assignments to its own file
• Stuff
• Fmt
• Some tweaks
• Rename isolated
• Stuff
• Lint fixes
• fmt
• Use tailored solvers, allow timeouts
• Make things converge slower
• Make things converge faster
• Added some output
• Some tracing
• Some cleanup
• Add stuff
• Add pairwise constraints
• Some sat/theory stuff
• Added some more SAT stuff, some Theory stuff, and a test or two
• Add test
• SAT problem stuff
• Shuffling some stuff around

crackers_python

0.1.2 - 2025-07-11

Added

• use release-plz (#45)

Other

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