Skip to content

Commit 1ad9645

Browse files
toolCHAINZtoolCHAINZ
authored
chore: release (#46)
1 parent 6438853 commit 1ad9645

File tree

4 files changed

+108
-3
lines changed

4 files changed

+108
-3
lines changed

‎crackers/CHANGELOG.md‎

Lines changed: 77 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,77 @@
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

‎crackers/Cargo.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "crackers"
3-
version = "0.1.1"
3+
version = "0.1.2"
44
readme = "../README.md"
55
authors = ["toolCHAINZ"]
66
license = "MIT"

‎crackers_python/CHANGELOG.md‎

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
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_python-v0.1.1...crackers_python-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+
- Update refs ([#41](https://github.com/toolCHAINZ/crackers/pull/41))
19+
- Add import for mac OS wheel ([#40](https://github.com/toolCHAINZ/crackers/pull/40))
20+
- Fix Linux Z3 Dynamic Linking ([#38](https://github.com/toolCHAINZ/crackers/pull/38))
21+
- Re-enable ARM linux wheel ([#37](https://github.com/toolCHAINZ/crackers/pull/37))
22+
- Add JSON de/serialization to python ([#36](https://github.com/toolCHAINZ/crackers/pull/36))
23+
- Update Python Type Annotations ([#35](https://github.com/toolCHAINZ/crackers/pull/35))
24+
- Add Python Type Annotations ([#34](https://github.com/toolCHAINZ/crackers/pull/34))
25+
- Enhanced Python Constraint Support ([#27](https://github.com/toolCHAINZ/crackers/pull/27))
26+
- Rust 2024 Edition ([#26](https://github.com/toolCHAINZ/crackers/pull/26))
27+
- Add Python CI ([#25](https://github.com/toolCHAINZ/crackers/pull/25))
28+
- pyo3 bindings ([#21](https://github.com/toolCHAINZ/crackers/pull/21))

‎crackers_python/Cargo.toml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "crackers_python"
3-
version = "0.1.1"
3+
version = "0.1.2"
44
license = "MIT"
55
edition = "2024"
66
description = "pyo3 bindings for crackers"
@@ -11,7 +11,7 @@ crate-type = ["cdylib"]
1111

1212
[dependencies]
1313
pyo3 = { version = "0.24", features = ["extension-module", "py-clone"] }
14-
crackers = {path = "../crackers", features = ["pyo3"], version = "0.1.1"}
14+
crackers = {path = "../crackers", features = ["pyo3"], version = "0.1.2" }
1515
jingle = {version = "0.1.2", features = ["pyo3"]}
1616
toml_edit = "0.22.22"
1717
z3 = "0.13.0"

0 commit comments

Comments
 (0)