Skip to content

feat(verify): model i64.rem_u/rem_s with native BvTerm::Urem/bvsrem (was havoc)#844

Merged
avrabe merged 2 commits into
mainfrom
feat/50-native-remu
Jul 22, 2026
Merged

feat(verify): model i64.rem_u/rem_s with native BvTerm::Urem/bvsrem (was havoc)#844
avrabe merged 2 commits into
mainfrom
feat/50-native-remu

test(verify): non-vacuity gate for i64.rem value model — wrong-dest r…

6d9cab8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar