-
Notifications
You must be signed in to change notification settings - Fork 126
Pull requests: boogie-org/boogie
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore: replace the
%T substitution, which lit has removed
#1160
opened Sep 1, 2026 by
fabiomadge
Contributor
Loading…
fix: Unsound interval rules for
*, div, mod, / and **
#1159
opened Aug 31, 2026 by
fabiomadge
Contributor
•
Draft
fix:
{:builtin} accepts a definition, or a symbol Boogie emits itself
#1158
opened Aug 31, 2026 by
fabiomadge
Contributor
•
Draft
fix: Abstract interpretation proves false assertions about floats
#1157
opened Aug 31, 2026 by
fabiomadge
Contributor
•
Draft
fix:
!(x < y) is rewritten to y <= x even for floats
#1156
opened Aug 31, 2026 by
fabiomadge
Contributor
•
Draft
fix: Crash in abstract interpretation on a bool measure
#1155
opened Aug 31, 2026 by
fabiomadge
Contributor
•
Draft
Document the contract of Boogie's float type
#1154
opened Aug 31, 2026 by
fabiomadge
Contributor
•
Draft
fix: exact string representation of
BigFloats
#1151
opened Aug 23, 2026 by
fabiomadge
Contributor
Loading…
Fix interval transfer functions that report unreachable bounds
#1144
opened Aug 7, 2026 by
shaobo-he
Contributor
Loading…
Fix crash on arithmetic over a nullary map select
#1143
opened Aug 7, 2026 by
shaobo-he
Contributor
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.