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

wants to merge 47 commits into from

Commits on May 18, 2023

  1. Initial spec

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    e1c59a0 View commit details
    Browse the repository at this point in the history

  2. call_dps_packed is not yet implemented

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    1bd7f8e View commit details
    Browse the repository at this point in the history

  3. Many shape mechanics are still unimplemented

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    59a0e6f View commit details
    Browse the repository at this point in the history

  4. Indicate datatype in AST diagram

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    de63d6d View commit details
    Browse the repository at this point in the history

  5. Add text about variable shadowing

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    ce7c76b View commit details
    Browse the repository at this point in the history

  6. Discuss differences from Relay

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    5d04bdc View commit details
    Browse the repository at this point in the history

  7. Correct typo

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    6cab2cb View commit details
    Browse the repository at this point in the history

  8. Add description of PackedFuncType

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    b766e91 View commit details
    Browse the repository at this point in the history

  9. Add a couple of missed references to PackedFuncType

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    91ecf52 View commit details
    Browse the repository at this point in the history

  10. Add forward pointer to the type-checking rule for local functions

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    002a7aa View commit details
    Browse the repository at this point in the history

  11. Describe normal form in the spec

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    58d70f8 View commit details
    Browse the repository at this point in the history

  12. Specify consolidating empty binding blocks

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    53a2eb7 View commit details
    Browse the repository at this point in the history

  13. Add ndim parameter to ShapeType

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    0dd7e86 View commit details
    Browse the repository at this point in the history

  14. StructInfo update

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    c2b242e View commit details
    Browse the repository at this point in the history

  15. Further StructInfo revisions

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    9e1997a View commit details
    Browse the repository at this point in the history

  16. Make PackedFunc first-class

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    c11ece0 View commit details
    Browse the repository at this point in the history

  17. erase_to_well_defined should handle unbound shape vars in FuncStructInfo

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    9c55433 View commit details
    Browse the repository at this point in the history

  18. Include sinfo_args, greatly condense discussion of types

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    e5eab8d View commit details
    Browse the repository at this point in the history

  19. First draft of PrimValues

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    b2a54e8 View commit details
    Browse the repository at this point in the history

  20. Example of what DataTypeImm is used for

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    37f9bdd View commit details
    Browse the repository at this point in the history

  21. Restrictions on PrimValue and PrimStructInfo

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    6e0578f View commit details
    Browse the repository at this point in the history

  22. Unify the notation used for TIR dtypes and Relax dtypes

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    398c46f View commit details
    Browse the repository at this point in the history

  23. Note immutability of tuples and shapes and possibility of interning

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    db68fcb View commit details
    Browse the repository at this point in the history

  24. Fix numbering in expression summary

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    2173b9f View commit details
    Browse the repository at this point in the history

  25. Update the description of call_tir

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    d9a57fd View commit details
    Browse the repository at this point in the history

  26. Specify invariants for TensorStructInfo

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    c718203 View commit details
    Browse the repository at this point in the history

  27. PrimValue, StringImm, DataTypeImm are leaf nodes

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    88ab0e9 View commit details
    Browse the repository at this point in the history

  28. Tuples are represented using Arrays, not ADTs now

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    3971f7c View commit details
    Browse the repository at this point in the history

  29. Fix typo

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    356ddf1 View commit details
    Browse the repository at this point in the history

  30. Add mention of null value

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    4f8bdb4 View commit details
    Browse the repository at this point in the history

  31. Clarify scoping for vars and dataflow vars in a seqexpr

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    3437b33 View commit details
    Browse the repository at this point in the history

  32. Correct the definition of Void.

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    575c1cd View commit details
    Browse the repository at this point in the history

  33. Grammar fix

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    de6d26b View commit details
    Browse the repository at this point in the history

  34. Correct typos

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    ccafbc8 View commit details
    Browse the repository at this point in the history

  35. Fix formatting

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    581685f View commit details
    Browse the repository at this point in the history

  36. Update the spec to account for call_dps_packed

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    6bb6f20 View commit details
    Browse the repository at this point in the history

  37. Correct typo

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    43f0b1e View commit details
    Browse the repository at this point in the history

  38. Clarify phrasing related to the StructInfo derivation for Call nodes

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    1e896ea View commit details
    Browse the repository at this point in the history

  39. Include specification for purity tracking

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    22ca164 View commit details
    Browse the repository at this point in the history

  40. Indicate that is_pure will correspond to purity field for FuncStructInfo

    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    8742b5f View commit details
    Browse the repository at this point in the history

  41. Restore definition of check_compatibility (must have been removed acc… 

    …identally), update to account for purity tracking
    @slyubomirsky
    slyubomirsky committed May 18, 2023
    Configuration menu
    Copy the full SHA
    dd4fd83 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2023

  1. Assign a FuncStructInfo to PrimFuncs, specify direct calls to PrimFuncs

    @slyubomirsky
    slyubomirsky committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    8fede62 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2023

  1. Add value field to PrimStructInfo, allow shape vars to appear in func… 

    …tion signature in any order
    @slyubomirsky
    slyubomirsky committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    4827f9d View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2023

  1. Note that purity also prohibits references to external state

    @slyubomirsky
    slyubomirsky committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    47a2f36 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. Add mention of operator-specific normalization rules

    @slyubomirsky
    slyubomirsky committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    c0a1f4e View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2023

  1. Minor changes and add heterogeneous semantics

    @slyubomirsky
    slyubomirsky committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    27296b9 View commit details
    Browse the repository at this point in the history

  2. Typo

    @slyubomirsky
    slyubomirsky committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    d231e88 View commit details
    Browse the repository at this point in the history