Skip to content

Fix a soundness issue due to arithmetic overflow#170

Open
Shnatsel wants to merge 2 commits into
ejmahler:masterfrom
Shnatsel:soundness
Open

Fix a soundness issue due to arithmetic overflow#170
Shnatsel wants to merge 2 commits into
ejmahler:masterfrom
Shnatsel:soundness

Commits

Commits on May 5, 2026