Skip to content

feat(verify): re-land native i64 rem value model behind a per-query solver deadline (closes #848) - #868

Merged
avrabe merged 10 commits into
mainfrom
feat/i64-rem-deadline-848
Jul 29, 2026
Merged

feat(verify): re-land native i64 rem value model behind a per-query solver deadline (closes #848)#868
avrabe merged 10 commits into
mainfrom
feat/i64-rem-deadline-848

test(verify): pin the i64-rem value model on the ARITHMETIC, not just…

7f6d579
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 29, 2026 in 0s

94.54% of diff hit (target 86.98%)

View this Pull Request on Codecov

94.54% of diff hit (target 86.98%)

View more details on Codecov