Independent verification: complete minimum-word census for dirty fanout stars (no new kappa) - #938

Independent verification: complete minimum-word census for dirty fanout stars (no new kappa)#938

Mister-Meeseeks merged 4 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

RossRichardson:research/independent-verification-seed79RossRichardson/integer-mult-bounds:research/independent-verification-seed79Copy head branch name to clipboard