Skip to content
This repository has been archived by the owner on May 22, 2023. It is now read-only.

[Draft][WIP] Relax language specification #273

Closed
wants to merge 30 commits into from
Closed

[Draft][WIP] Relax language specification #273

Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
4eab6fc
Initial spec
slyubomirsky Oct 20, 2022
1c570e1
call_dps_packed is not yet implemented
slyubomirsky Oct 25, 2022
3946c2a
Many shape mechanics are still unimplemented
slyubomirsky Oct 25, 2022
a914e28
Indicate datatype in AST diagram
slyubomirsky Oct 25, 2022
b9aa684
Add text about variable shadowing
slyubomirsky Oct 25, 2022
548adc5
Discuss differences from Relay
slyubomirsky Nov 23, 2022
ca3b792
Correct typo
slyubomirsky Nov 23, 2022
928533c
Add description of PackedFuncType
slyubomirsky Dec 2, 2022
c710e60
Add a couple of missed references to PackedFuncType
slyubomirsky Dec 7, 2022
c92b301
Add forward pointer to the type-checking rule for local functions
slyubomirsky Dec 7, 2022
be02660
Describe normal form in the spec
slyubomirsky Dec 15, 2022
e4ad832
Specify consolidating empty binding blocks
slyubomirsky Dec 21, 2022
1075ce6
Add ndim parameter to ShapeType
slyubomirsky Jan 5, 2023
8fd4008
StructInfo update
slyubomirsky Jan 8, 2023
0d89b8f
Further StructInfo revisions
slyubomirsky Jan 8, 2023
76cb10c
Make PackedFunc first-class
slyubomirsky Jan 8, 2023
3f368a0
erase_to_well_defined should handle unbound shape vars in FuncStructInfo
slyubomirsky Jan 9, 2023
8387ef0
Include `sinfo_args`, greatly condense discussion of types
slyubomirsky Feb 1, 2023
6272880
First draft of PrimValues
slyubomirsky Feb 1, 2023
b88ce9e
Example of what DataTypeImm is used for
slyubomirsky Feb 1, 2023
1d219e5
Restrictions on PrimValue and PrimStructInfo
slyubomirsky Feb 1, 2023
eae9f7d
Unify the notation used for TIR dtypes and Relax dtypes
slyubomirsky Feb 1, 2023
17cdd29
Note immutability of tuples and shapes and possibility of interning
slyubomirsky Feb 1, 2023
7c87f32
Fix numbering in expression summary
slyubomirsky Feb 1, 2023
491ba4a
Update the description of call_tir
slyubomirsky Feb 2, 2023
47ab40b
Specify invariants for TensorStructInfo
slyubomirsky Feb 6, 2023
2336452
PrimValue, StringImm, DataTypeImm are leaf nodes
slyubomirsky Feb 10, 2023
613b840
Tuples are represented using Arrays, not ADTs now
slyubomirsky Feb 10, 2023
7ebc082
Fix typo
slyubomirsky Feb 13, 2023
4071b9b
Add mention of null value
slyubomirsky Feb 15, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading