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: Verification failure and add archive of raw source files #34

Merged
merged 11 commits into from
Jun 27, 2024
Merged

fix: Verification failure and add archive of raw source files #34

merged 11 commits into from
Jun 27, 2024

Commits on Jun 24, 2024

  1. fix

    @stefan-aws
    stefan-aws committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    3882e39 View commit details
    Browse the repository at this point in the history

  2. use correct z3

    @fabiomadge
    fabiomadge committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    29e0426 View commit details
    Browse the repository at this point in the history

  3. some dotnet

    @fabiomadge
    fabiomadge committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    f2bd9d3 View commit details
    Browse the repository at this point in the history

  4. expect

    @fabiomadge
    fabiomadge committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    a679719 View commit details
    Browse the repository at this point in the history

  5. expect

    @fabiomadge
    fabiomadge committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    f0d49eb View commit details
    Browse the repository at this point in the history

  6. expect

    @fabiomadge
    fabiomadge committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    a5c5a96 View commit details
    Browse the repository at this point in the history

  7. ignore warnings

    @fabiomadge
    fabiomadge committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    c1033aa View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. Merge branch 'main' into test-fix

    @fabiomadge
    fabiomadge authored Jun 27, 2024
    Configuration menu
    Copy the full SHA
    99839c1 View commit details
    Browse the repository at this point in the history

  2. ignore warnings and disable tests

    @fabiomadge
    fabiomadge committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    690f5d0 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'test-fix' of github.com:dafny-lang/blog into test-fix

    @fabiomadge
    fabiomadge committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    ad30a93 View commit details
    Browse the repository at this point in the history

  4. add asset

    @fabiomadge
    fabiomadge committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    bd104f6 View commit details
    Browse the repository at this point in the history