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

Variants in the type checker #1847

Merged
merged 28 commits into from
Jun 9, 2022
Merged

Variants in the type checker #1847

merged 28 commits into from
Jun 9, 2022

Commits on May 19, 2022

  1. add operators over variants and parse them

    @konnov
    konnov committed May 19, 2022
    Configuration menu
    Copy the full SHA
    c392d69 View commit details
    Browse the repository at this point in the history

  2. add the variant operators to the builder

    @konnov
    konnov committed May 19, 2022
    Configuration menu
    Copy the full SHA
    cd2fcd4 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2022

  1. work in progress

    @konnov
    konnov committed May 20, 2022
    Configuration menu
    Copy the full SHA
    8c28f0c View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2022

  1. add type transformation for MatchTag

    @konnov
    konnov committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    3f93b34 View commit details
    Browse the repository at this point in the history

  2. add type translation for MatchOnly

    @konnov
    konnov committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    cbd3b2a View commit details
    Browse the repository at this point in the history

  3. rename TestVariants

    @konnov
    konnov committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    13dd4ee View commit details
    Browse the repository at this point in the history

  4. complete rewrite of the variant types

    @konnov
    konnov committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    f0c9fc9 View commit details
    Browse the repository at this point in the history

  5. fix TestTlaType1

    @konnov
    konnov committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    c718712 View commit details
    Browse the repository at this point in the history

  6. fix TestAnnotationParser

    @konnov
    konnov committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    47f4c08 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'unstable' into ik/variants1777

    @konnov
    konnov committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    c3b3910 View commit details
    Browse the repository at this point in the history

  8. fix the parser tests

    @konnov
    konnov committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    0f7d007 View commit details
    Browse the repository at this point in the history

  9. update the TT1 api

    @konnov
    konnov committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    16f7923 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2022

  1. Merge branch 'unstable' into ik/variants1777

    @konnov
    konnov committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    a286b3d View commit details
    Browse the repository at this point in the history

  2. add integration tests for variants

    @konnov
    konnov committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    526cd34 View commit details
    Browse the repository at this point in the history

  3. add release notes

    @konnov
    konnov committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    b05aa66 View commit details
    Browse the repository at this point in the history

  4. change the parser priorities and add comments

    @konnov
    konnov committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    938bdbe View commit details
    Browse the repository at this point in the history

  5. fix TestUnifier with the new variants

    @konnov
    konnov committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    6022743 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'unstable' into ik/variants1777

    @konnov
    konnov committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    c34f6f3 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2022

  1. fix the comments in Variants.tla

    @konnov
    konnov committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    661d5af View commit details
    Browse the repository at this point in the history

  2. fix more things

    @konnov
    konnov committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    9d23ab5 View commit details
    Browse the repository at this point in the history

  3. s/tag/tagName/g

    @konnov
    konnov committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    6dbb1d0 View commit details
    Browse the repository at this point in the history

  4. Apply suggestions from code review 

    Co-authored-by: Shon Feder <shon@informal.systems>
Co-authored-by: Gabriela Moreira <gabrielamoreiramafra@gmail.com>
    @konnov @bugarela
    3 people committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    c1fa95f View commit details
    Browse the repository at this point in the history

  5. Merge branch 'ik/variants1777'

    @konnov
    konnov committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    4ce1abd View commit details
    Browse the repository at this point in the history

  6. address the reviews

    @konnov
    konnov committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    ef6ebec View commit details
    Browse the repository at this point in the history

  7. remove backticks

    @konnov
    konnov committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    66ffc4d View commit details
    Browse the repository at this point in the history

  8. remove outdated comments

    @konnov
    konnov committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    18fadba View commit details
    Browse the repository at this point in the history

  9. Merge branch 'unstable' into ik/variants1777

    @konnov
    konnov committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    6d8be53 View commit details
    Browse the repository at this point in the history

  10. rename the rec constructor

    @konnov
    konnov committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    59625d8 View commit details
    Browse the repository at this point in the history