Bound fixed-word centre gauges and exhibit the full-frame cost counterexample - #4725

Bound fixed-word centre gauges and exhibit the full-frame cost counterexample#4725

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

aliromman:codex/fixed-word-gauge-limits-publicationaliromman/integer-mult-bounds:codex/fixed-word-gauge-limits-publicationCopy head branch name to clipboard