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

updated files to support new tuple representation #1519

Open
wants to merge 15 commits into
base: main
Choose a base branch
from
Open

updated files to support new tuple representation #1519

wants to merge 15 commits into from

Commits on Sep 30, 2024

  1. updated files to support new tuple representation

    @MahtabNorouzi
    MahtabNorouzi committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    84ab414 View commit details
    Browse the repository at this point in the history

  2. added tests

    @MahtabNorouzi
    MahtabNorouzi committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    728fb38 View commit details
    Browse the repository at this point in the history

  3. Update README.md

    @MahtabNorouzi
    MahtabNorouzi authored Sep 30, 2024
    Configuration menu
    Copy the full SHA
    29ca7ee View commit details
    Browse the repository at this point in the history

  4. Update README.md

    @MahtabNorouzi
    MahtabNorouzi authored Sep 30, 2024
    Configuration menu
    Copy the full SHA
    d57a526 View commit details
    Browse the repository at this point in the history

  5. Delete quint/SuperSpec.json

    @MahtabNorouzi
    MahtabNorouzi authored Sep 30, 2024
    Configuration menu
    Copy the full SHA
    d72c33b View commit details
    Browse the repository at this point in the history

  6. Update README.md

    @MahtabNorouzi
    MahtabNorouzi authored Sep 30, 2024
    Configuration menu
    Copy the full SHA
    98dcce2 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. Update quint/src/ir/quintIr.ts 

    Co-authored-by: Gabriela Moreira <[email protected]>
    @MahtabNorouzi @bugarela
    MahtabNorouzi and bugarela authored Oct 3, 2024
    Configuration menu
    Copy the full SHA
    efa6c18 View commit details
    Browse the repository at this point in the history

  2. Update quint/src/runtime/impl/runtimeValue.ts 

    Co-authored-by: Gabriela Moreira <[email protected]>
    @MahtabNorouzi @bugarela
    MahtabNorouzi and bugarela authored Oct 3, 2024
    Configuration menu
    Copy the full SHA
    13b2ae4 View commit details
    Browse the repository at this point in the history

  3. Update quint/src/runtime/impl/runtimeValue.ts 

    Co-authored-by: Gabriela Moreira <[email protected]>
    @MahtabNorouzi @bugarela
    MahtabNorouzi and bugarela authored Oct 3, 2024
    Configuration menu
    Copy the full SHA
    3f2cdcd View commit details
    Browse the repository at this point in the history

  4. Update quint/src/runtime/impl/runtimeValue.ts 

    Co-authored-by: Gabriela Moreira <[email protected]>
    @MahtabNorouzi @bugarela
    MahtabNorouzi and bugarela authored Oct 3, 2024
    Configuration menu
    Copy the full SHA
    aa351cb View commit details
    Browse the repository at this point in the history

  5. Update quint/testFixture/SuperSpec.qnt 

    Co-authored-by: Gabriela Moreira <[email protected]>
    @MahtabNorouzi @bugarela
    MahtabNorouzi and bugarela authored Oct 3, 2024
    Configuration menu
    Copy the full SHA
    613912c View commit details
    Browse the repository at this point in the history

  6. Update quint/testFixture/SuperSpec.qnt 

    Co-authored-by: Gabriela Moreira <[email protected]>
    @MahtabNorouzi @bugarela
    MahtabNorouzi and bugarela authored Oct 3, 2024
    Configuration menu
    Copy the full SHA
    a052208 View commit details
    Browse the repository at this point in the history

  7. Update quint/src/ir/IRTransformer.ts 

    Co-authored-by: Gabriela Moreira <[email protected]>
    @MahtabNorouzi @bugarela
    MahtabNorouzi and bugarela authored Oct 3, 2024
    Configuration menu
    Copy the full SHA
    951e685 View commit details
    Browse the repository at this point in the history

  8. Update quint/src/effects/builtinSignatures.ts 

    Co-authored-by: Gabriela Moreira <[email protected]>
    @MahtabNorouzi @bugarela
    MahtabNorouzi and bugarela authored Oct 3, 2024
    Configuration menu
    Copy the full SHA
    68c7485 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. Merge branch 'main' into change-tuple-structure

    @MahtabNorouzi
    MahtabNorouzi authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    fd0a551 View commit details
    Browse the repository at this point in the history