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

feat: Allow forall statements in statement expressions #5894

Open
wants to merge 14 commits into
base: master
Choose a base branch
from
Open

feat: Allow forall statements in statement expressions #5894

wants to merge 14 commits into from

Commits on Nov 4, 2024

  1. Improve code and comments

    @RustanLeino
    RustanLeino committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    31f2136 View commit details
    Browse the repository at this point in the history

  2. Make test run with both resolvers

    @RustanLeino
    RustanLeino committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    414c4c1 View commit details
    Browse the repository at this point in the history

  3. Allow forall statements in statement expressions

    @RustanLeino
    RustanLeino committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    6f97e14 View commit details
    Browse the repository at this point in the history

  4. Deprecate forall statements with parenthesized bound variables

    @RustanLeino
    RustanLeino committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    216b63a View commit details
    Browse the repository at this point in the history

  5. Update documentation

    @RustanLeino
    RustanLeino committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    2921cd4 View commit details
    Browse the repository at this point in the history

  6. Add release notes

    @RustanLeino
    RustanLeino committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    fd7ea46 View commit details
    Browse the repository at this point in the history

  7. Fix deprecated parentheses in standard library

    @RustanLeino
    RustanLeino committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    ace95ab View commit details
    Browse the repository at this point in the history

  8. Adjust tests

    @RustanLeino
    RustanLeino committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    463a5f6 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2024

  1. Merge branch 'master' into forall-stmt-in-expr

    @RustanLeino
    RustanLeino authored Nov 7, 2024
    Configuration menu
    Copy the full SHA
    137f3ad View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into forall-stmt-in-expr

    @RustanLeino
    RustanLeino committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    2e60809 View commit details
    Browse the repository at this point in the history

  3. Move deprecation tests to Deprecation.dfy

    @RustanLeino
    RustanLeino committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    1ede1ce View commit details
    Browse the repository at this point in the history

  4. Rename Parallel* test files to ForallStmt*

    @RustanLeino
    RustanLeino committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    e191c36 View commit details
    Browse the repository at this point in the history

  5. Applying renaming in test files

    @RustanLeino
    RustanLeino committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    1dbad1b View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2024

  1. Merge branch 'master' into forall-stmt-in-expr

    @RustanLeino
    RustanLeino authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    81ca722 View commit details
    Browse the repository at this point in the history