Releases · toolCHAINZ/crackers

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

Assets 2

Releases: toolCHAINZ/crackers