Reduce disjoint verifier peak traced allocation by 62% (no new κ) - #6135

Reduce disjoint verifier peak traced allocation by 62% (no new κ)#6135

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w15-1022aj-frontier-steppetalas/integer-mult-bounds:research/w15-1022aj-frontier-stepCopy head branch name to clipboard