Skip to content

Rule out four-read retiming after removing helper 584 - #3594

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
RossRichardson:research/direct584-commuting-retiming-cover
Oct 20, 2026
Merged

Rule out four-read retiming after removing helper 584#3594
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
RossRichardson:research/direct584-commuting-retiming-cover

Record exact publication and Git-free validation

e3dc9c1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 18, 2026 in 2m 3s