Skip to content

feat(codegen): a pure arithmetic tree is exact and narrowed only at its root (SPEC-wide-intermediates task 1) - #342

Merged
xzawed merged 3 commits into
mainfrom
feat/wide-intermediates
Sep 26, 2026
Merged

feat(codegen): a pure arithmetic tree is exact and narrowed only at its root (SPEC-wide-intermediates task 1)#342
xzawed merged 3 commits into
mainfrom
feat/wide-intermediates

test(oracle): pin len as a leaf and narrowing at assignment, argument…

10fe91f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar