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

Fix: Reveal statements can now invoke instance functions statically #4180

Merged
merged 21 commits into from
Jun 20, 2023
Merged

Fix: Reveal statements can now invoke instance functions statically #4180

merged 21 commits into from
Jun 20, 2023

Commits on Jun 14, 2023

  1. Fixed issue #4176 by changing generated reveal lemmas to be static

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    0e4c92e View commit details
    Browse the repository at this point in the history

  2. Added test for github issue 4176

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    633961e View commit details
    Browse the repository at this point in the history

  3. Added doc file for bugfix

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    47cc712 View commit details
    Browse the repository at this point in the history

  4. Renamed tests

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    6d884d4 View commit details
    Browse the repository at this point in the history

  5. removed blank line from end of test file

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    c38fcfb View commit details
    Browse the repository at this point in the history

  6. Added twostate function in git-issue-4176.dfy test and undid spurious… 

    … addition to IntegrationTests.csproj
    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    142e26b View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2023

  1. Merge branch 'master' into fix-4176-reveal-crash

    @MikaelMayer
    MikaelMayer authored Jun 15, 2023
    Configuration menu
    Copy the full SHA
    0335cb4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fix-4176-reveal-crash

    @MikaelMayer
    MikaelMayer authored Jun 15, 2023
    Configuration menu
    Copy the full SHA
    3754a54 View commit details
    Browse the repository at this point in the history

  3. updated fix to make members of DefaultClassDecl be non-static

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    d5c1c37 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. updated static computation for added reveals lemmas

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    9e6a621 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fix-4176-reveal-crash

    @EkanshdeepGupta
    EkanshdeepGupta authored Jun 16, 2023
    Configuration menu
    Copy the full SHA
    dce07e8 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2023

  1. Merge branch 'master' into fix-4176-reveal-crash

    @EkanshdeepGupta
    EkanshdeepGupta authored Jun 19, 2023
    Configuration menu
    Copy the full SHA
    2e20e18 View commit details
    Browse the repository at this point in the history

  2. Allowed autogenerated members of DefaultDecl to be static

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    71d94cb View commit details
    Browse the repository at this point in the history

  3. Skipping generating reveal lemma for functions with empty field

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    c938ca7 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into fix-4176-reveal-crash

    @EkanshdeepGupta
    EkanshdeepGupta authored Jun 19, 2023
    Configuration menu
    Copy the full SHA
    6a7bdb9 View commit details
    Browse the repository at this point in the history

  5. rebasing changes from master

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    924d3ee View commit details
    Browse the repository at this point in the history

  6. Removed extra whitespace

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    64f4826 View commit details
    Browse the repository at this point in the history

  7. Removed extra whitespace

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    6d925d8 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2023

  1. Merge branch 'master' into fix-4176-reveal-crash

    @EkanshdeepGupta
    EkanshdeepGupta authored Jun 20, 2023
    Configuration menu
    Copy the full SHA
    33ece45 View commit details
    Browse the repository at this point in the history

  2. Added feat file

    @EkanshdeepGupta
    EkanshdeepGupta committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    712afc4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into fix-4176-reveal-crash

    @EkanshdeepGupta
    EkanshdeepGupta authored Jun 20, 2023
    Configuration menu
    Copy the full SHA
    b267888 View commit details
    Browse the repository at this point in the history