Skip to content

Tooling: 3.18× faster production R420 xcheck.rref via integer elimination with identical receipts - #2263

Open
VictorLiwentao wants to merge 2 commits into
CrocSwap:mainfrom
VictorLiwentao:cursor/r420-rref-production-60b9
Open

VictorLiwentao wants to merge 2 commits into
CrocSwap:mainfrom
VictorLiwentao:cursor/r420-rref-production-60b9

Tooling: demote historical xcheck pin in r420-triple-bases-seed01 to …

99cb4fb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
exact-local (3.14)
failed Oct 16, 2026 in 25s