Add eisenstein-phase-cost-screen: certified necessary cost screen for the F4/Eisenstein decoder route - #1794

Add eisenstein-phase-cost-screen: certified necessary cost screen for the F4/Eisenstein decoder route#1794

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Maximooch:eisenstein-phase-cost-screenMaximooch/integer-mult-bounds:eisenstein-phase-cost-screenCopy head branch name to clipboard