Decoder floors, case (b): excess 3 is paid (≥ 64 with ≤ 4 non-full corrections; E8 lifts ≥ 68; no κ claim) - #2862

Decoder floors, case (b): excess 3 is paid (≥ 64 with ≤ 4 non-full corrections; E8 lifts ≥ 68; no κ claim)#2862

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/one-sided-excess-threeDreamingOfClouds/integer-mult-bounds:research/one-sided-excess-threeCopy head branch name to clipboard