Repository navigation
Author leanVM circuits in Clean, prove them, and export them to Rust - #595
Open
kevaundray wants to merge 86 commits into
Open
kevaundray wants to merge 86 commits into
kevaundray wants to merge 86 commits into
Commits
Commits on Oct 10, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 11, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge Clean ALU, clock and bus circuits; reuse BooleanAny and drop word helpers left without callers
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 12, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Oct 14, 2026
