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

Handle quint quantified variables #2873

Merged
merged 6 commits into from
Mar 25, 2024
Merged

Handle quint quantified variables #2873

merged 6 commits into from
Mar 25, 2024

Commits on Mar 25, 2024

  1. Ensure that Quint's quantified variables are freshly generated for ea… 

    …ch opdef
    @bugarela
    bugarela committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    7d9500a View commit details
    Browse the repository at this point in the history

  2. Update Makefile and generated quint fixtures

    @bugarela
    bugarela committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    1258715 View commit details
    Browse the repository at this point in the history

  3. Add CHANGELOG entry

    @bugarela
    bugarela committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    1499237 View commit details
    Browse the repository at this point in the history

  4. Fix formatting

    @bugarela
    bugarela committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    710af96 View commit details
    Browse the repository at this point in the history

  5. Revert "Use type given by quint to build lambda bodies" 

    This reverts commit ffc2437.
    @bugarela
    bugarela committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    7f6806a View commit details
    Browse the repository at this point in the history

  6. Update one more hidden fixture

    @bugarela
    bugarela committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    8844f46 View commit details
    Browse the repository at this point in the history