Certify exact paid costs for compressed-word single-level drops (no new κ) - #6475

Certify exact paid costs for compressed-word single-level drops (no new κ)#6475

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

aliromman:codex/hundred-consecutive-resultsaliromman/integer-mult-bounds:codex/hundred-consecutive-resultsCopy head branch name to clipboard