Skip to content

feat(legalization): make llvm.add widening proof width-generic (bounded) - #1471

Merged
naveen-seth merged 6 commits into
mainfrom
naveen/legalization-generic-widening
Sep 22, 2026
Merged

feat(legalization): make llvm.add widening proof width-generic (bounded)#1471
naveen-seth merged 6 commits into
mainfrom
naveen/legalization-generic-widening

Change to 64 bit wide

833be49
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar