ContextQMD
Back to Foundry

Symbolic Saturating Mul

.changelog/symbolic-saturating-mul.md

1.8.194 B
Original Source

Improved symbolic proofs for branchless saturating multiplication and checked-multiply guards.