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: Lower C# runtime version to 7.3 #1877

Merged
merged 6 commits into from
Mar 1, 2022
Merged

Fix: Lower C# runtime version to 7.3 #1877

merged 6 commits into from
Mar 1, 2022

Commits on Mar 1, 2022

  1. fix #1873 

    Enforces the runtime csharp version to be as low as possible.
    @MikaelMayer
    MikaelMayer committed Mar 1, 2022
    Configuration menu
    Copy the full SHA
    b95ba1d View commit details
    Browse the repository at this point in the history

  2. Updated release notes

    @MikaelMayer
    MikaelMayer committed Mar 1, 2022
    Configuration menu
    Copy the full SHA
    27fb8a8 View commit details
    Browse the repository at this point in the history

  3. Update RELEASE_NOTES.md 

    Co-authored-by: Fabio Madge <[email protected]>
    @MikaelMayer @fabiomadge
    MikaelMayer and fabiomadge authored Mar 1, 2022
    Configuration menu
    Copy the full SHA
    a4e79f0 View commit details
    Browse the repository at this point in the history

  4. Update Source/DafnyRuntime/DafnyRuntime.csproj

    @MikaelMayer
    MikaelMayer authored Mar 1, 2022
    Configuration menu
    Copy the full SHA
    8b47df4 View commit details
    Browse the repository at this point in the history

  5. Update RELEASE_NOTES.md

    @MikaelMayer
    MikaelMayer authored Mar 1, 2022
    Configuration menu
    Copy the full SHA
    91f69a3 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into fix-requires-csharp-8

    @MikaelMayer
    MikaelMayer authored Mar 1, 2022
    Configuration menu
    Copy the full SHA
    f44c9f9 View commit details
    Browse the repository at this point in the history