Skip to content

Prove the joint G20 exchange floor: 18 ADDs even with cross-component gates - #6081

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
JoyboyBrian:brian/r18-task03-bit-algebra
Oct 28, 2026
Merged

Prove the joint G20 exchange floor: 18 ADDs even with cross-component gates#6081
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
JoyboyBrian:brian/r18-task03-bit-algebra

Prove source-bound joint G20 exchange floor with attributed connectiv…

2f258ab
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 28, 2026 in 5m 52s