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

Commits on Jul 21, 2026

fix(type-system): resolve verifier nullability and monomorphization filtering for optional types
SSL-ACTX
committed
d5698f9
feat(compiler): implement portable inline clif blocks support
SSL-ACTX
committed
134a30f

Commits on Jul 22, 2026

fix(compiler): resolve custom generic struct/ADT monomorphization and built-in type name clashes
SSL-ACTX
committed
06d7b52
fix(compiler): support string literal register mappings in CLIF blocks
SSL-ACTX
committed
6b232c5
feat(type-system): implement automatic monomorphization for generic functions
SSL-ACTX
committed
6648707

Commits on Jul 23, 2026