Batch Gaussian boundary right-hand sides to reduce their cost - #481

Batch Gaussian boundary right-hand sides to reduce their cost#481

chafreaky wants to merge 11 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

chafreaky:research/batched-gaussian-boundarychafreaky/integer-mult-bounds:research/batched-gaussian-boundaryCopy head branch name to clipboard