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

Bump Boogie to v2.16.8 #4044

Merged
merged 11 commits into from Jun 1, 2023
Merged

Bump Boogie to v2.16.8 #4044

merged 11 commits into from Jun 1, 2023

Commits on May 24, 2023

  1. Bump Boogie to v2.16.7

    @atomb
    atomb committed May 24, 2023
    Configuration menu
    Copy the full SHA
    1dc38e5 View commit details
    Browse the repository at this point in the history

  2. Bump stack size as an experiment

    @atomb
    atomb committed May 24, 2023
    Configuration menu
    Copy the full SHA
    901a0bf View commit details
    Browse the repository at this point in the history

  3. Empty

    @atomb
    atomb committed May 24, 2023
    Configuration menu
    Copy the full SHA
    5302862 View commit details
    Browse the repository at this point in the history

  4. Empty

    @atomb
    atomb committed May 24, 2023
    Configuration menu
    Copy the full SHA
    d44b6d8 View commit details
    Browse the repository at this point in the history

  5. Fix options reference to match Boogie update

    @atomb
    atomb committed May 24, 2023
    Configuration menu
    Copy the full SHA
    2694c7c View commit details
    Browse the repository at this point in the history

  6. Double stack size in language server, too

    @atomb
    atomb committed May 24, 2023
    Configuration menu
    Copy the full SHA
    b7da023 View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2023

  1. Update to Boogie 2.16.8

    @keyboardDrummer
    keyboardDrummer committed Jun 1, 2023
    Configuration menu
    Copy the full SHA
    89b4b3d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into boogie-v2.16.7

    @keyboardDrummer
    keyboardDrummer committed Jun 1, 2023
    Configuration menu
    Copy the full SHA
    9bc6cdc View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/master' into boogie-v2.16.7

    @atomb
    atomb committed Jun 1, 2023
    Configuration menu
    Copy the full SHA
    dfa3e6b View commit details
    Browse the repository at this point in the history

  4. Explicitly set the Boogie encoding of polymorphism 

    The default has changes to monomorphization, which often doesn't work
for Dafny.
    @atomb
    atomb committed Jun 1, 2023
    Configuration menu
    Copy the full SHA
    fe482b8 View commit details
    Browse the repository at this point in the history

  5. Update Options.txt

    @atomb
    atomb committed Jun 1, 2023
    Configuration menu
    Copy the full SHA
    9d867a2 View commit details
    Browse the repository at this point in the history