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

Fixes for compilation to TLA+ #2891

Merged
merged 10 commits into from
May 6, 2024
Merged

Fixes for compilation to TLA+ #2891

merged 10 commits into from
May 6, 2024

Commits on May 2, 2024

  1. Fix slice conversion by removing an incorrect increment

    @bugarela
    bugarela committed May 2, 2024
    Configuration menu
    Copy the full SHA
    7dd9243 View commit details
    Browse the repository at this point in the history

  2. Include annotations to the compiled TLA module

    @bugarela
    bugarela committed May 2, 2024
    Configuration menu
    Copy the full SHA
    49e0186 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. Extract LET .. IN expressions from folds

    @bugarela
    bugarela committed May 3, 2024
    Configuration menu
    Copy the full SHA
    8c3bba9 View commit details
    Browse the repository at this point in the history

  2. Sanitize bindings on exists and forall

    @bugarela
    bugarela committed May 3, 2024
    Configuration menu
    Copy the full SHA
    788add2 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into gabriela/compile-to-tla-fixes

    @bugarela
    bugarela authored May 3, 2024
    Configuration menu
    Copy the full SHA
    d4a49d0 View commit details
    Browse the repository at this point in the history

  4. Add test for sanitization of exists bindings

    @bugarela
    bugarela committed May 3, 2024
    Configuration menu
    Copy the full SHA
    6ada089 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/gabriela/fix-ci-macos' into gabr… 

    …iela/compile-to-tla-fixes
    @bugarela
    bugarela committed May 3, 2024
    Configuration menu
    Copy the full SHA
    ed3a2a2 View commit details
    Browse the repository at this point in the history

  6. Add CHANGELOG entries

    @bugarela
    bugarela committed May 3, 2024
    Configuration menu
    Copy the full SHA
    44fb6ab View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. Fix spelling (sanatize -> sanitize)

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

  2. Merge branch 'main' into gabriela/compile-to-tla-fixes

    @bugarela
    bugarela authored May 6, 2024
    Configuration menu
    Copy the full SHA
    8636a57 View commit details
    Browse the repository at this point in the history