Independently check #4436 expanded compiler counts (no new κ) - #4521

Independently check #4436 expanded compiler counts (no new κ)#4521

Mister-Meeseeks merged 4 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

dillona:research/direct-flow-expanded-auditdillona/integer-mult-bounds:research/direct-flow-expanded-auditCopy head branch name to clipboard