Skip to content

Prove and export production carry and 32-bit adder families in Clean - #596

Closed
kevaundray wants to merge 2 commits into
leanEthereum:riscv-explorationfrom
kevaundray:kw/clean-circuits-adder-family-20261010
Closed

Prove and export production carry and 32-bit adder families in Clean#596
kevaundray wants to merge 2 commits into
leanEthereum:riscv-explorationfrom
kevaundray:kw/clean-circuits-adder-family-20261010

Export and prove production 32-bit and carry-in adder families

3436a54
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
aggregate-leanxmss-100-2to1-4thread (x86-64)
succeeded Oct 10, 2026 in 2m 19s