Code

[RFC] Relax Language Specification#106

Code

Open

slyubomirsky wants to merge 7 commits intoapache:mainapache/tvm-rfcs:mainfrom slyubomirsky:relax-specslyubomirsky/tvm-rfcs:relax-specCopy head branch name to clipboard

+1,059

Commits

Commits on Jan 23, 2024

• Relax specification initial commit

  slyubomirsky

  committed
  338611b

  Copy full SHA for 338611b

Commits on Mar 14, 2024

• Add the unit tuple values are inlined during normalization

  slyubomirsky

  committed
  01e4308

  Copy full SHA for 01e4308

Commits on Mar 28, 2024

• Define purity derivation rule for PrimFunc

  slyubomirsky

  committed
  bb774bf

  Copy full SHA for bb774bf

• Allow PrimFuncs to be used as the condition in If nodes

  slyubomirsky

  committed
  b528956

  Copy full SHA for b528956

• Update StructInfo inference rule for PrimFuncs

  slyubomirsky

  committed
  8c9c70a

  Copy full SHA for 8c9c70a

Commits on Apr 2, 2024

• Allow for using PrimExprs in if node conditions

  slyubomirsky

  committed
  0457019

  Copy full SHA for 0457019

Commits on Apr 5, 2024

• Make attrs on Functions mandatory, improve description of attrs

  slyubomirsky

  committed
  04f40cf

  Copy full SHA for 04f40cf