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

wants to merge 30 commits into from

Commits on Feb 13, 2023

  1. Initial spec

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    4eab6fc View commit details
    Browse the repository at this point in the history

  2. call_dps_packed is not yet implemented

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    1c570e1 View commit details
    Browse the repository at this point in the history

  3. Many shape mechanics are still unimplemented

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    3946c2a View commit details
    Browse the repository at this point in the history

  4. Indicate datatype in AST diagram

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    a914e28 View commit details
    Browse the repository at this point in the history

  5. Add text about variable shadowing

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    b9aa684 View commit details
    Browse the repository at this point in the history

  6. Discuss differences from Relay

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    548adc5 View commit details
    Browse the repository at this point in the history

  7. Correct typo

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    ca3b792 View commit details
    Browse the repository at this point in the history

  8. Add description of PackedFuncType

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    928533c View commit details
    Browse the repository at this point in the history

  9. Add a couple of missed references to PackedFuncType

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    c710e60 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 Feb 13, 2023
    Configuration menu
    Copy the full SHA
    c92b301 View commit details
    Browse the repository at this point in the history

  11. Describe normal form in the spec

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    be02660 View commit details
    Browse the repository at this point in the history

  12. Specify consolidating empty binding blocks

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    e4ad832 View commit details
    Browse the repository at this point in the history

  13. Add ndim parameter to ShapeType

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    1075ce6 View commit details
    Browse the repository at this point in the history

  14. StructInfo update

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    8fd4008 View commit details
    Browse the repository at this point in the history

  15. Further StructInfo revisions

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    0d89b8f View commit details
    Browse the repository at this point in the history

  16. Make PackedFunc first-class

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    76cb10c 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 Feb 13, 2023
    Configuration menu
    Copy the full SHA
    3f368a0 View commit details
    Browse the repository at this point in the history

  18. Include sinfo_args, greatly condense discussion of types

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    8387ef0 View commit details
    Browse the repository at this point in the history

  19. First draft of PrimValues

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    6272880 View commit details
    Browse the repository at this point in the history

  20. Example of what DataTypeImm is used for

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    b88ce9e View commit details
    Browse the repository at this point in the history

  21. Restrictions on PrimValue and PrimStructInfo

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    1d219e5 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 Feb 13, 2023
    Configuration menu
    Copy the full SHA
    eae9f7d 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 Feb 13, 2023
    Configuration menu
    Copy the full SHA
    17cdd29 View commit details
    Browse the repository at this point in the history

  24. Fix numbering in expression summary

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    7c87f32 View commit details
    Browse the repository at this point in the history

  25. Update the description of call_tir

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    491ba4a View commit details
    Browse the repository at this point in the history

  26. Specify invariants for TensorStructInfo

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    47ab40b View commit details
    Browse the repository at this point in the history

  27. PrimValue, StringImm, DataTypeImm are leaf nodes

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    2336452 View commit details
    Browse the repository at this point in the history

  28. Tuples are represented using Arrays, not ADTs now

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    613b840 View commit details
    Browse the repository at this point in the history

  29. Fix typo

    @slyubomirsky
    slyubomirsky committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    7ebc082 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2023

  1. Add mention of null value

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