Skip to content

Bind one selected Toom candidate to its dirty-input interface - #3992

Merged
Mister-Meeseeks merged 4 commits into
CrocSwap:mainfrom
Clear1nsight:research/selected-toom3-typed-block-20261019
Oct 20, 2026
Merged

Bind one selected Toom candidate to its dirty-input interface#3992
Mister-Meeseeks merged 4 commits into
CrocSwap:mainfrom
Clear1nsight:research/selected-toom3-typed-block-20261019

Extend the selected Toom interface obstruction to rational encodings …

251aba3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 19, 2026 in 2m 12s