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: Handle UTF-16 escapes and invalid surrogate sequences in Python and Go #2926

Merged
merged 32 commits into from
Nov 3, 2022
Merged

fix: Handle UTF-16 escapes and invalid surrogate sequences in Python and Go #2926

merged 32 commits into from
Nov 3, 2022

Commits on Oct 25, 2022

  1. Adding surrogate edge cases to Strings.dfy

    @robin-aws
    robin-aws committed Oct 25, 2022
    Configuration menu
    Copy the full SHA
    9a6face View commit details
    Browse the repository at this point in the history

  2. Handle UTF-16 \u escapes in Python and Go (mostly)

    @robin-aws
    robin-aws committed Oct 25, 2022
    Configuration menu
    Copy the full SHA
    ddd52cc View commit details
    Browse the repository at this point in the history

  3. Whitespace

    @robin-aws
    robin-aws committed Oct 25, 2022
    Configuration menu
    Copy the full SHA
    d5ba377 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into git-issue-1890

    @robin-aws
    robin-aws authored Oct 25, 2022
    Configuration menu
    Copy the full SHA
    396f466 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2022

  1. PR feedback, especially replacing bogus regex

    @robin-aws
    robin-aws committed Oct 26, 2022
    Configuration menu
    Copy the full SHA
    4b258f2 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'git-issue-1890' of github.com:robin-aws/dafny into git-… 

    …issue-1890
    @robin-aws
    robin-aws committed Oct 26, 2022
    Configuration menu
    Copy the full SHA
    ec6f2da View commit details
    Browse the repository at this point in the history

  3. Apply suggestions from code review 

    Co-authored-by: Clément Pit-Claudel <[email protected]>
    @robin-aws @cpitclaudel
    robin-aws and cpitclaudel authored Oct 26, 2022
    Configuration menu
    Copy the full SHA
    a81cea9 View commit details
    Browse the repository at this point in the history

  4. Update Source/DafnyRuntime/DafnyRuntime.py 

    Co-authored-by: Clément Pit-Claudel <[email protected]>
    @robin-aws @cpitclaudel
    robin-aws and cpitclaudel authored Oct 26, 2022
    Configuration menu
    Copy the full SHA
    62e0f2e View commit details
    Browse the repository at this point in the history

  5. Whitespace

    @robin-aws
    robin-aws committed Oct 26, 2022
    Configuration menu
    Copy the full SHA
    1c2b871 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'git-issue-1890' of github.com:robin-aws/dafny into git-… 

    …issue-1890
    @robin-aws
    robin-aws committed Oct 26, 2022
    Configuration menu
    Copy the full SHA
    2c217ae View commit details
    Browse the repository at this point in the history

  7. Poke CI

    @robin-aws
    robin-aws committed Oct 26, 2022
    Configuration menu
    Copy the full SHA
    057bf25 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2022

  1. Method rename, hopefully fixing Java testing flakiness

    @robin-aws
    robin-aws committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    7e3d243 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/dafny-lang/dafny into git… 

    …-issue-1890
    @robin-aws
    robin-aws committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    eccc1e6 View commit details
    Browse the repository at this point in the history

  3. Handle direct non-ASCII characters as well, release note

    @robin-aws
    robin-aws committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    9670c7f View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2022

  1. Merge branch 'master' into git-issue-1890

    @robin-aws
    robin-aws authored Oct 31, 2022
    Configuration menu
    Copy the full SHA
    212f3ee View commit details
    Browse the repository at this point in the history

  2. Revert attempt to fix Java stdout encoding (since Clement’s fix is in… 

    … now)
    @robin-aws
    robin-aws committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    79d2f11 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'git-issue-1890' of github.com:robin-aws/dafny into git-… 

    …issue-1890
    @robin-aws
    robin-aws committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    2dba4e3 View commit details
    Browse the repository at this point in the history

  4. Dumb edit typo

    @robin-aws
    robin-aws committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    86f2b89 View commit details
    Browse the repository at this point in the history

  5. Update allocated1 version of Strings.dfy

    @robin-aws
    robin-aws committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    58a63ef View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2022

  1. Merge branch 'master' of https://github.com/dafny-lang/dafny into git… 

    …-issue-1890
    @robin-aws
    robin-aws committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    d7bdece View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into git-issue-1890

    @robin-aws
    robin-aws authored Nov 1, 2022
    Configuration menu
    Copy the full SHA
    fb913ef View commit details
    Browse the repository at this point in the history

  3. Merge branch 'git-issue-1890' of github.com:robin-aws/dafny into git-… 

    …issue-1890
    @robin-aws
    robin-aws committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    f50dc60 View commit details
    Browse the repository at this point in the history

  4. Try setting the file encoding for javac

    @robin-aws
    robin-aws committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    f8c402f View commit details
    Browse the repository at this point in the history

  5. Correct encoding flag for javac

    @robin-aws
    robin-aws committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    2b2900a View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2022

  1. Backing off on printing non-ASCII characters for now 

    At least now I can use %testDafnyForEachCompiler!
    @robin-aws
    robin-aws committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    4db28b2 View commit details
    Browse the repository at this point in the history

  2. Whitespace, trying to debug expect failure on Windows

    @robin-aws
    robin-aws committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    6a4e880 View commit details
    Browse the repository at this point in the history

  3. More windows expect failure debugging

    @robin-aws
    robin-aws committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    72cbcd8 View commit details
    Browse the repository at this point in the history

  4. Adding bad expect to ManualCompile.dfy 

    Confirming my suspicion that the problem is about feeding the JS program into node as stdin
    @robin-aws
    robin-aws committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    fc82fbb View commit details
    Browse the repository at this point in the history

  5. Whoops, doesn’t work for C++

    @robin-aws
    robin-aws committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    67da219 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2022

  1. Avoiding non-ASCII characters in source 

    If nothing else our test runner doesn’t seem to support them and will need more work.
    @robin-aws
    robin-aws committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    3861ee1 View commit details
    Browse the repository at this point in the history

  2. Revert ManualCompile.dfy

    @robin-aws
    robin-aws committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    09f6276 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into git-issue-1890

    @robin-aws
    robin-aws authored Nov 3, 2022
    Configuration menu
    Copy the full SHA
    f63d9b8 View commit details
    Browse the repository at this point in the history