[RFC] Relax Language Specification - #106

Open

slyubomirsky wants to merge 7 commits into

apache:mainfrom

slyubomirsky:relax-spec

Commits on Jan 23, 2024

Relax specification initial commit
slyubomirsky
committed
338611b

Commits on Mar 14, 2024

Add the unit tuple values are inlined during normalization
slyubomirsky
committed
01e4308

Commits on Mar 28, 2024

Define purity derivation rule for PrimFunc
slyubomirsky
committed
bb774bf
Allow PrimFuncs to be used as the condition in If nodes
slyubomirsky
committed
b528956
Update StructInfo inference rule for PrimFuncs
slyubomirsky
committed
8c9c70a

Commits on Apr 2, 2024

Allow for using PrimExprs in if node conditions
slyubomirsky
committed
0457019

Commits on Apr 5, 2024

Make attrs on Functions mandatory, improve description of attrs
slyubomirsky
committed
04f40cf