Skip to content

Selected PR1094: one neutral move opens a strict two-step packing gain - #1819

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
1337isnot1337:research/cycle7-neutral-path-893dae84
Oct 14, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
1337isnot1337:research/cycle7-neutral-path-893dae84

Add selected neutral-path packing witness

eb519ed
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.14)
succeeded Oct 15, 2026 in 4m 51s