Skip to content

Prove the downward rounding contract for across-cell Gaussian entries - #4449

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
mihir-s-05:research/gaussian-cross-rounding
Oct 22, 2026
Merged

Prove the downward rounding contract for across-cell Gaussian entries#4449
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
mihir-s-05:research/gaussian-cross-rounding

Bind across-cell Gaussian rounding to its exponential contract

1fb77b3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 21, 2026 in 2m 19s