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

Change tuple structure #1514

Closed
wants to merge 21 commits into from
Closed

Change tuple structure #1514

wants to merge 21 commits into from

Commits on Sep 23, 2024

  1. modify ir

    @MahtabNorouzi
    MahtabNorouzi committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    0bdd36c View commit details
    Browse the repository at this point in the history

  2. modify types

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

  3. modify static

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

  4. modify parsing

    @MahtabNorouzi
    MahtabNorouzi committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    338892c View commit details
    Browse the repository at this point in the history

  5. modify names

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

  6. modify graphics

    @MahtabNorouzi
    MahtabNorouzi committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    5645a4f View commit details
    Browse the repository at this point in the history

  7. modify itf

    @MahtabNorouzi
    MahtabNorouzi committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    83cca82 View commit details
    Browse the repository at this point in the history

  8. modify impl

    @MahtabNorouzi
    MahtabNorouzi committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    86d0457 View commit details
    Browse the repository at this point in the history

  9. modify effects

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

  10. modify impl

    @MahtabNorouzi
    MahtabNorouzi committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    865df1d View commit details
    Browse the repository at this point in the history

  11. modify names

    @MahtabNorouzi
    MahtabNorouzi committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    43c9cc0 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. fix not finding id for tuple

    @MahtabNorouzi
    MahtabNorouzi committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    153e40e View commit details
    Browse the repository at this point in the history

  2. spreads/pairs fix

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

  3. fix exitRecord

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

  4. exitRecord fixed

    @MahtabNorouzi
    MahtabNorouzi committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    32d02fc View commit details
    Browse the repository at this point in the history

  5. SuperSpec updated

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

  6. format fixed

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

Commits on Sep 26, 2024

  1. npm test errors fixed

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

  2. npm test errors fixed

    @MahtabNorouzi
    MahtabNorouzi committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    14957bb View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. errors fixed

    @MahtabNorouzi
    MahtabNorouzi committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    32da233 View commit details
    Browse the repository at this point in the history

  2. Update apalache.ts

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