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

Release 4.8.0 #5733

Merged
merged 17 commits into from
Sep 3, 2024
Merged

Release 4.8.0 #5733

merged 17 commits into from
Sep 3, 2024

Commits on Aug 27, 2024

  1. Release Dafny 4.8.0

    @MikaelMayer
    MikaelMayer committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    098a538 View commit details
    Browse the repository at this point in the history

  2. Release steps

    @MikaelMayer
    MikaelMayer committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    2d8f49a View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. Fixed doo files

    @MikaelMayer
    MikaelMayer committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    80e7fc3 View commit details
    Browse the repository at this point in the history

  2. Added necessary mv and rm commands on Windows 

    Fixed the tests
    @MikaelMayer
    MikaelMayer committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    73f2e43 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. Fixed go tests for Windows

    @MikaelMayer
    MikaelMayer committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    5faf876 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into release-4.8.0

    @MikaelMayer
    MikaelMayer committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    34d4ece View commit details
    Browse the repository at this point in the history

  3. Update Makefile

    @MikaelMayer
    MikaelMayer authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    e92da7b View commit details
    Browse the repository at this point in the history

  4. Updated standard libraries

    @MikaelMayer
    MikaelMayer committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    fa034f5 View commit details
    Browse the repository at this point in the history

  5. Fixed the C# library

    @MikaelMayer
    MikaelMayer committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    0026205 View commit details
    Browse the repository at this point in the history

  6. Re-generated libraries-cs.doo

    @MikaelMayer
    MikaelMayer committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    50b1cd3 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. Renamed files to ensure same ordering

    @MikaelMayer
    MikaelMayer committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    7e954bc View commit details
    Browse the repository at this point in the history

  2. Forgot to revert to newest library version

    @MikaelMayer
    MikaelMayer committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    e19e205 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into release-4.8.0

    @MikaelMayer
    MikaelMayer authored Aug 30, 2024
    Configuration menu
    Copy the full SHA
    ad0c2e5 View commit details
    Browse the repository at this point in the history

  4. Re-build standard library .doo files

    @atomb
    atomb committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    0421812 View commit details
    Browse the repository at this point in the history

  5. Another re-build

    @atomb
    atomb committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    8ca95a7 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. target-specific standard library Makefile now processes files in name… 

    … order + .doo files updated
    Siva Somayyajula committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    d1c76d0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into release-4.8.0

    @ssomayyajula
    ssomayyajula authored Sep 3, 2024
    Configuration menu
    Copy the full SHA
    93d2972 View commit details
    Browse the repository at this point in the history