Skip to content

feat: enhance type system, compiler, and verifier with new features and fixes - #4

Merged
SSL-ACTX merged 7 commits into
mainfrom
feat/loop-and-decoupled-tensor-verification
Jul 23, 2026
Merged

feat: enhance type system, compiler, and verifier with new features and fixes#4
SSL-ACTX merged 7 commits into
mainfrom
feat/loop-and-decoupled-tensor-verification

feat(verifier): implement dimension-decoupled tensor verification (rf…

0bd4273
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar