Skip to content

fix(verify): i64 local widths in Z3 encoder + vacuum const+drop peephole (closes #98)#99

Merged
avrabe merged 3 commits into
mainfrom
release/v0.6.0-pr-d-i64-inline-fix
May 12, 2026
Merged

fix(verify): i64 local widths in Z3 encoder + vacuum const+drop peephole (closes #98)#99
avrabe merged 3 commits into
mainfrom
release/v0.6.0-pr-d-i64-inline-fix

docs(research): evaluate arXiv 2604.13693 (WarpL) — adopt later

9c61657
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar