Close local improvements on #4470: shear rewrites (128 windows, 88 nonadjacent, len 6, |c|<=3) and 1- and 2-contact retiming - all 0 (no new κ) - #4567

Close local improvements on #4470: shear rewrites (128 windows, 88 nonadjacent, len 6, |c|<=3) and 1- and 2-contact retiming - all 0 (no new κ)#4567

Mister-Meeseeks merged 10 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:pr4546-extended-ceilingspinterbanget/integer-mult-bounds:pr4546-extended-ceilingsCopy head branch name to clipboard