Steven S. Lyubomirsky

[Rendered view.](https://github.com/slyubomirsky/tvm-rfcs/blob/relax-spec/rfcs/0106-relax-spec.md) Now that Unity has been merged into TVM's main branch, I have written an RFC to make my [unofficial Relax specification](https://github.com/apache/tvm/pull/14148) an official one, akin to the [TIR...

[RFC] TIR Language Specification

3

[Rendered view.](https://github.com/slyubomirsky/tvm-rfcs/blob/tir-spec/rfcs/0101-tir-spec.md) This RFC proposes including a language specification ([draft included](https://github.com/slyubomirsky/tvm-rfcs/blob/tir-spec/rfcs/assets/0101/spec.md)) for TIR in TVM's documentation. Many thanks to all who reviewed and commented on earlier drafts (see the acknowledgements...

[Bug][Parsing] Mutual recursion fails to parse inside an if branch

21

I encounter a parse error on the following test case: ```python import tvm from tvm.script import relax as R @tvm.script.ir_module class ControlFlowExample: @R.function def a(x: R.Object) -> R.Object: y: R.Tensor((),...

[Proposal][IR] Tracking Purity in Relax

2

This issue was raised earlier in #344. I think that given the fact we have recently made a lot of changes to the IR, this might be a good time...

[Design] Use of `derive_func` for `PackedFunc` type checking and tracking purity

2

The recent `StructInfo` changes have been very exciting because of the possibility of doing further analysis. Upon revisiting the draft specification in light of these changes, a couple of questions...