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

Macos13and updated boogie #5600

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

Macos13and updated boogie #5600

wants to merge 17 commits into from

Commits on Jul 3, 2024

  1. ci: use macos-13 instead of macos-11

    @alex-chew
    alex-chew committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    0e8f74f View commit details
    Browse the repository at this point in the history

  2. use newer solver-builds release

    @alex-chew
    alex-chew committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    5e59e34 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. Update CocoR version

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    d0d75d4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into ci/deprecate-macos-11

    @keyboardDrummer
    keyboardDrummer authored Jul 4, 2024
    Configuration menu
    Copy the full SHA
    0f3bb64 View commit details
    Browse the repository at this point in the history

  3. Update to .NET 8

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    65e1f4b View commit details
    Browse the repository at this point in the history

  4. Fix warnings

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    625aba2 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'ci/deprecate-macos-11' of github.com:dafny-lang/dafny i… 

    …nto ci/deprecate-macos-11
    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    c265cb4 View commit details
    Browse the repository at this point in the history

  6. Fix oops

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    3d874be View commit details
    Browse the repository at this point in the history

  7. Update makefile

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    1eb24ae View commit details
    Browse the repository at this point in the history

  8. Update Scripts/dafny

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    b22bf17 View commit details
    Browse the repository at this point in the history

  9. Fix Z3 location

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    5fdd402 View commit details
    Browse the repository at this point in the history

  10. Fix oops

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    90c7555 View commit details
    Browse the repository at this point in the history

  11. Add Boogie submodule

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    61e6d2b View commit details
    Browse the repository at this point in the history

  12. Newer Boogie

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    0f06b6d View commit details
    Browse the repository at this point in the history

  13. Fix broken cce references

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    fabe979 View commit details
    Browse the repository at this point in the history

  14. Fix parser

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    a4fdd20 View commit details
    Browse the repository at this point in the history

  15. Fix doc-tests.yml

    @keyboardDrummer
    keyboardDrummer committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    6c6b310 View commit details
    Browse the repository at this point in the history