Research: exact selected idle-axis relaxation and stream counterexample (no new kappa) - #1387

Research: exact selected idle-axis relaxation and stream counterexample (no new kappa)#1387

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

bitplane:research/pass27-randombitplane/integer-mult-bounds:research/pass27-randomCopy head branch name to clipboard