Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Unity][Draft][WIP] Relax language specification #14148

Closed
wants to merge 47 commits into from
Closed

[Unity][Draft][WIP] Relax language specification #14148

Changes from all commits
Commits
Show all changes
47 commits
Select commit Hold shift + click to select a range
e1c59a0
Initial spec
slyubomirsky Oct 20, 2022
1bd7f8e
call_dps_packed is not yet implemented
slyubomirsky Oct 25, 2022
59a0e6f
Many shape mechanics are still unimplemented
slyubomirsky Oct 25, 2022
de63d6d
Indicate datatype in AST diagram
slyubomirsky Oct 25, 2022
ce7c76b
Add text about variable shadowing
slyubomirsky Oct 25, 2022
5d04bdc
Discuss differences from Relay
slyubomirsky Nov 23, 2022
6cab2cb
Correct typo
slyubomirsky Nov 23, 2022
b766e91
Add description of PackedFuncType
slyubomirsky Dec 2, 2022
91ecf52
Add a couple of missed references to PackedFuncType
slyubomirsky Dec 7, 2022
002a7aa
Add forward pointer to the type-checking rule for local functions
slyubomirsky Dec 7, 2022
58d70f8
Describe normal form in the spec
slyubomirsky Dec 15, 2022
53a2eb7
Specify consolidating empty binding blocks
slyubomirsky Dec 21, 2022
0dd7e86
Add ndim parameter to ShapeType
slyubomirsky Jan 5, 2023
c2b242e
StructInfo update
slyubomirsky Jan 8, 2023
9e1997a
Further StructInfo revisions
slyubomirsky Jan 8, 2023
c11ece0
Make PackedFunc first-class
slyubomirsky Jan 8, 2023
9c55433
erase_to_well_defined should handle unbound shape vars in FuncStructInfo
slyubomirsky Jan 9, 2023
e5eab8d
Include `sinfo_args`, greatly condense discussion of types
slyubomirsky Feb 1, 2023
b2a54e8
First draft of PrimValues
slyubomirsky Feb 1, 2023
37f9bdd
Example of what DataTypeImm is used for
slyubomirsky Feb 1, 2023
6e0578f
Restrictions on PrimValue and PrimStructInfo
slyubomirsky Feb 1, 2023
398c46f
Unify the notation used for TIR dtypes and Relax dtypes
slyubomirsky Feb 1, 2023
db68fcb
Note immutability of tuples and shapes and possibility of interning
slyubomirsky Feb 1, 2023
2173b9f
Fix numbering in expression summary
slyubomirsky Feb 1, 2023
d9a57fd
Update the description of call_tir
slyubomirsky Feb 2, 2023
c718203
Specify invariants for TensorStructInfo
slyubomirsky Feb 6, 2023
88ab0e9
PrimValue, StringImm, DataTypeImm are leaf nodes
slyubomirsky Feb 10, 2023
3971f7c
Tuples are represented using Arrays, not ADTs now
slyubomirsky Feb 10, 2023
356ddf1
Fix typo
slyubomirsky Feb 13, 2023
4f8bdb4
Add mention of null value
slyubomirsky Feb 15, 2023
3437b33
Clarify scoping for vars and dataflow vars in a seqexpr
slyubomirsky Mar 2, 2023
575c1cd
Correct the definition of `Void`.
slyubomirsky Mar 2, 2023
de6d26b
Grammar fix
slyubomirsky Mar 3, 2023
ccafbc8
Correct typos
slyubomirsky Mar 3, 2023
581685f
Fix formatting
slyubomirsky Mar 8, 2023
6bb6f20
Update the spec to account for call_dps_packed
slyubomirsky Mar 10, 2023
43f0b1e
Correct typo
slyubomirsky Mar 14, 2023
1e896ea
Clarify phrasing related to the StructInfo derivation for Call nodes
slyubomirsky Mar 31, 2023
22ca164
Include specification for purity tracking
slyubomirsky May 18, 2023
8742b5f
Indicate that is_pure will correspond to purity field for FuncStructInfo
slyubomirsky May 18, 2023
dd4fd83
Restore definition of check_compatibility (must have been removed acc…
slyubomirsky May 18, 2023
8fede62
Assign a FuncStructInfo to PrimFuncs, specify direct calls to PrimFuncs
slyubomirsky Jul 10, 2023
4827f9d
Add value field to PrimStructInfo, allow shape vars to appear in func…
slyubomirsky Sep 8, 2023
47a2f36
Note that purity also prohibits references to external state
slyubomirsky Sep 20, 2023
c0a1f4e
Add mention of operator-specific normalization rules
slyubomirsky Nov 15, 2023
27296b9
Minor changes and add heterogeneous semantics
slyubomirsky Dec 20, 2023
d231e88
Typo
slyubomirsky Dec 20, 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
Loading