Skip to content

perf(ixvm): substitution sharing, Int primitives, projection def-eq; struct-eta scope fix - #583

Merged
arthurpaulino merged 5 commits into
mainfrom
ap/ixvm
Aug 20, 2026
Merged

perf(ixvm): substitution sharing, Int primitives, projection def-eq; struct-eta scope fix#583
arthurpaulino merged 5 commits into
mainfrom
ap/ixvm

test(ixvm): regen codegen and repin FFT costs

1e7b706
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar