Skip to content

Record the margins of one rounded LU perturbation - #3870

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jwr404:research/factor-perturbation-margin
Oct 20, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jwr404:research/factor-perturbation-margin

Record the margins of one rounded LU perturbation.

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