crackers-v0.1.2
·
48 commits
to main
since this release
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