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!: Disable automatically mapping a Dafny string to a Go string in externs #3647

Merged
merged 12 commits into from
Feb 28, 2023
Merged

fix!: Disable automatically mapping a Dafny string to a Go string in externs #3647

merged 12 commits into from
Feb 28, 2023

Commits on Feb 24, 2023

  1. Added test, remove dead code (seems to be already fixed?)

    @robin-aws
    robin-aws committed Feb 24, 2023
    Configuration menu
    Copy the full SHA
    78ae250 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2023

  1. Merge branch 'main-4.0' of https://github.com/dafny-lang/dafny into g… 

    …ithub-issue-2989
    @robin-aws
    robin-aws committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    99af432 View commit details
    Browse the repository at this point in the history

  2. Disabled the feature, test almost working except for unused imports

    @robin-aws
    robin-aws committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    21269cc View commit details
    Browse the repository at this point in the history

  3. Moved GoModule.dfy to wishlist as negative test

    @robin-aws
    robin-aws committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    ee2a3e9 View commit details
    Browse the repository at this point in the history

  4. Fix and document test

    @robin-aws
    robin-aws committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    468d719 View commit details
    Browse the repository at this point in the history

  5. whitespace

    @robin-aws
    robin-aws committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    9fadc90 View commit details
    Browse the repository at this point in the history

  6. More whitespace

    @robin-aws
    robin-aws committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    96961f9 View commit details
    Browse the repository at this point in the history

  7. Align with the ordering I did on the other PR :)

    @robin-aws
    robin-aws committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    13b09ae View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main-4.0' of https://github.com/dafny-lang/dafny into g… 

    …ithub-issue-2989

# Conflicts:
#	Test/comp/GoModule.dfy
    @robin-aws
    robin-aws committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    060c997 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2023

  1. Use OutputCheck pattern to avoid file paths variance in CI

    @robin-aws
    robin-aws committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    5164558 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main-4.0' into github-issue-2989

    @robin-aws
    robin-aws committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    02bdcf9 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main-4.0' into github-issue-2989

    @robin-aws
    robin-aws committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    35544c7 View commit details
    Browse the repository at this point in the history