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

feat: continue statements #1839

Merged
merged 23 commits into from
Feb 22, 2022
Merged

feat: continue statements #1839

merged 23 commits into from
Feb 22, 2022

Commits on Feb 17, 2022

  1. Parse and print

    @RustanLeino
    RustanLeino committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    d710d93 View commit details
    Browse the repository at this point in the history

  2. Resolve

    @RustanLeino
    RustanLeino committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    db5dbf9 View commit details
    Browse the repository at this point in the history

  3. Verify

    @RustanLeino
    RustanLeino committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    0bcfe24 View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2022

  1. fix: Labeled-statement regressions

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    d83bd68 View commit details
    Browse the repository at this point in the history

  2. Compile

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    c7810d6 View commit details
    Browse the repository at this point in the history

  3. Don’t warn about unused C++ labels

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    46e9549 View commit details
    Browse the repository at this point in the history

  4. Simplify target code 

    By generating just “break;” rather than a labeled break/goto for `while *` loops.
    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    364d5ad View commit details
    Browse the repository at this point in the history

  5. Document

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    bceb32a View commit details
    Browse the repository at this point in the history

  6. Remove whitespace

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    a3b82fe View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into issue-1738-continue

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    1241fde View commit details
    Browse the repository at this point in the history

  8. Add release notes

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    22356c9 View commit details
    Browse the repository at this point in the history

  9. Improve error messages

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    cf43bd6 View commit details
    Browse the repository at this point in the history

  10. Improve wording in documentation

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    31a40ee View commit details
    Browse the repository at this point in the history

  11. Explain that loop invariants are not checked at break/continue

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    e32af49 View commit details
    Browse the repository at this point in the history

  12. Update RELEASE_NOTES.md 

    Co-authored-by: Fabio Madge <[email protected]>
    @RustanLeino @fabiomadge
    RustanLeino and fabiomadge authored Feb 18, 2022
    Configuration menu
    Copy the full SHA
    617063e View commit details
    Browse the repository at this point in the history

  13. Merge branch 'issue-1738-continue' of https://github.com/RustanLeino/… 

    …dafny into issue-1738-continue
    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    bed7e41 View commit details
    Browse the repository at this point in the history

  14. Fix whitespace

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    60a0846 View commit details
    Browse the repository at this point in the history

  15. Merge branch 'master' into issue-1738-continue

    @RustanLeino
    RustanLeino committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    b563fab View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2022

  1. chore: Rename BreakCount to BreakAndContinueCount

    @RustanLeino
    RustanLeino committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    62c6f70 View commit details
    Browse the repository at this point in the history

  2. Assert condition that should hold from class invariant

    @RustanLeino
    RustanLeino committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    89e3227 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into issue-1738-continue 

    # Conflicts:
#	RELEASE_NOTES.md
    @RustanLeino
    RustanLeino committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    caaa60a View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2022

  1. Update Source/Dafny/AST/DafnyAst.cs 

    Co-authored-by: Mikaël Mayer <[email protected]>
    @RustanLeino @MikaelMayer
    RustanLeino and MikaelMayer authored Feb 22, 2022
    Configuration menu
    Copy the full SHA
    e10fb7c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into issue-1738-continue

    @RustanLeino
    RustanLeino authored Feb 22, 2022
    Configuration menu
    Copy the full SHA
    a1e2430 View commit details
    Browse the repository at this point in the history