|
| 1 | +# Changelog |
| 2 | + |
| 3 | +All notable changes to this project will be documented in this file. |
| 4 | + |
| 5 | +The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), |
| 6 | +and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). |
| 7 | + |
| 8 | +## [Unreleased] |
| 9 | + |
| 10 | +## [0.1.2](https://github.com/toolCHAINZ/crackers/compare/crackers-v0.1.1...crackers-v0.1.2) - 2025-07-11 |
| 11 | + |
| 12 | +### Added |
| 13 | + |
| 14 | +- use release-plz ([#45](https://github.com/toolCHAINZ/crackers/pull/45)) |
| 15 | + |
| 16 | +### Other |
| 17 | + |
| 18 | +- build issues ([#47](https://github.com/toolCHAINZ/crackers/pull/47)) |
| 19 | +- Reference program refactor ([#44](https://github.com/toolCHAINZ/crackers/pull/44)) |
| 20 | +- Add logo ([#43](https://github.com/toolCHAINZ/crackers/pull/43)) |
| 21 | +- Found some missing #[cfg] guards. Oops! ([#42](https://github.com/toolCHAINZ/crackers/pull/42)) |
| 22 | +- Update refs ([#41](https://github.com/toolCHAINZ/crackers/pull/41)) |
| 23 | +- Add Python Type Annotations ([#34](https://github.com/toolCHAINZ/crackers/pull/34)) |
| 24 | +- Add link to usenix ([#32](https://github.com/toolCHAINZ/crackers/pull/32)) |
| 25 | +- Update README.md ([#31](https://github.com/toolCHAINZ/crackers/pull/31)) |
| 26 | +- Update README.md ([#30](https://github.com/toolCHAINZ/crackers/pull/30)) |
| 27 | +- Enhanced Python Constraint Support ([#27](https://github.com/toolCHAINZ/crackers/pull/27)) |
| 28 | +- Rust 2024 Edition ([#26](https://github.com/toolCHAINZ/crackers/pull/26)) |
| 29 | +- pyo3 bindings ([#21](https://github.com/toolCHAINZ/crackers/pull/21)) |
| 30 | +- Readme update |
| 31 | +- Add readme |
| 32 | +- Reorganize |
| 33 | +- Gadget builder tweaks |
| 34 | +- Blacklist |
| 35 | +- Stuff |
| 36 | +- Some library changes to allow more aggressive clause generation |
| 37 | +- Merge branch 'main' of github-toolchainz-ssh:toolCHAINZ/crackers |
| 38 | +- More invariant stuff |
| 39 | +- Pointer invariant stuff |
| 40 | +- Cargo fmt |
| 41 | +- Playing with constraints |
| 42 | +- Precondition and postcondition stuff |
| 43 | +- More changes |
| 44 | +- More builder stuff |
| 45 | +- Tweaks |
| 46 | +- Some config stuff |
| 47 | +- Remove unneeded pubs |
| 48 | +- Make outer layer use a trait and reorganize a bit |
| 49 | +- Rename file |
| 50 | +- Further penalize length |
| 51 | +- Add optimization problem, change how we propagate conflicts |
| 52 | +- Add better display for conflicts, make memory branching constraints more aggressive |
| 53 | +- Start of better result display |
| 54 | +- Account for instruction branching semantics |
| 55 | +- Cover/overlap/refine stuff 2 |
| 56 | +- Cover/overlap/refine stuff |
| 57 | +- Move slot assignments to its own file |
| 58 | +- Stuff |
| 59 | +- Fmt |
| 60 | +- Some tweaks |
| 61 | +- Rename isolated |
| 62 | +- Stuff |
| 63 | +- Lint fixes |
| 64 | +- fmt |
| 65 | +- Use tailored solvers, allow timeouts |
| 66 | +- Make things converge slower |
| 67 | +- Make things converge faster |
| 68 | +- Added some output |
| 69 | +- Some tracing |
| 70 | +- Some cleanup |
| 71 | +- Add stuff |
| 72 | +- Add pairwise constraints |
| 73 | +- Some sat/theory stuff |
| 74 | +- Added some more SAT stuff, some Theory stuff, and a test or two |
| 75 | +- Add test |
| 76 | +- SAT problem stuff |
| 77 | +- Shuffling some stuff around |
0 commit comments