Skip to content

fix: Unsound interval rules for *, div, mod, / and ** - #1159

Draft
fabiomadge wants to merge 2 commits into
masterfrom
fix/interval-arithmetic-rules
Draft

fix: Unsound interval rules for *, div, mod, / and **#1159
fabiomadge wants to merge 2 commits into
masterfrom
fix/interval-arithmetic-rules

Address review feedback

06b7c5f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Boogie CI (Debug, batch_mode=True)
succeeded Sep 21, 2026 in 5m 26s