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

Quint -> TLA+ transpilation fixes #3041

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

Quint -> TLA+ transpilation fixes #3041

wants to merge 10 commits into from

Commits on Nov 29, 2024

  1. Change unit type representation for compatibility with TLC

    @bugarela
    bugarela committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    b6d8824 View commit details
    Browse the repository at this point in the history

  2. Apply {} instead of [] to the default eliminator

    @bugarela
    bugarela committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    6f61e23 View commit details
    Browse the repository at this point in the history

  3. Remove case that resulted in incorrect printing of map[<<1>>] when … 

    …`<<1>>` is a list
    @bugarela
    bugarela committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    65686e1 View commit details
    Browse the repository at this point in the history

  4. Prevent LET..IN to be printed as an operator argument

    @bugarela
    bugarela committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    8056710 View commit details
    Browse the repository at this point in the history

  5. Update existing tests

    @bugarela
    bugarela committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    cb5ee57 View commit details
    Browse the repository at this point in the history

  6. Add test for LET-IN extraction

    @bugarela
    bugarela committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    bb746fc View commit details
    Browse the repository at this point in the history

  7. Fix formatting

    @bugarela
    bugarela committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    ce5e61e View commit details
    Browse the repository at this point in the history

  8. Add CHANGELOG entry

    @bugarela
    bugarela committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    f28e16e View commit details
    Browse the repository at this point in the history

  9. Merge branch 'main' into gabriela/quint-to-tla-improvements

    @bugarela
    bugarela authored Nov 29, 2024
    Configuration menu
    Copy the full SHA
    7b4e7db View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2024

  1. Merge branch 'main' into gabriela/quint-to-tla-improvements

    @konnov
    konnov authored Dec 2, 2024
    Configuration menu
    Copy the full SHA
    9598c3e View commit details
    Browse the repository at this point in the history