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

Adding a new CLI option for deprecation; changing deprecation of OldSemi #4041

Merged
merged 36 commits into from
May 30, 2023
Merged

Adding a new CLI option for deprecation; changing deprecation of OldSemi #4041

merged 36 commits into from
May 30, 2023

Commits on May 19, 2023

  1. Adding a new CLI option for deprecation; changing deprecation of OldSemi

    davidcok committed May 19, 2023
    Configuration menu
    Copy the full SHA
    53cbefa View commit details
    Browse the repository at this point in the history

  2. Added a releasae note

    davidcok committed May 19, 2023
    Configuration menu
    Copy the full SHA
    7dfd03f View commit details
    Browse the repository at this point in the history

  3. Fixing tests

    davidcok committed May 19, 2023
    Configuration menu
    Copy the full SHA
    81684bf View commit details
    Browse the repository at this point in the history

Commits on May 23, 2023

  1. Adding more deprecation flags

    davidcok committed May 23, 2023
    Configuration menu
    Copy the full SHA
    1f8988d View commit details
    Browse the repository at this point in the history

Commits on May 24, 2023

  1. Updaating tests for no semicolons

    davidcok committed May 24, 2023
    Configuration menu
    Copy the full SHA
    545da9c View commit details
    Browse the repository at this point in the history

  2. Removing semicolons

    davidcok committed May 24, 2023
    Configuration menu
    Copy the full SHA
    544a5da View commit details
    Browse the repository at this point in the history

Commits on May 25, 2023

  1. More editing of tests

    davidcok committed May 25, 2023
    Configuration menu
    Copy the full SHA
    70f92e4 View commit details
    Browse the repository at this point in the history

  2. More test adjustments

    davidcok committed May 25, 2023
    Configuration menu
    Copy the full SHA
    1be3544 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2023

  1. More semicolon changes

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    74903eb View commit details
    Browse the repository at this point in the history

  2. Removing allocated1

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    869914c View commit details
    Browse the repository at this point in the history

  3. Merge resolution

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    78d1567 View commit details
    Browse the repository at this point in the history

  4. Updating options

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    8a5abc3 View commit details
    Browse the repository at this point in the history

  5. Adjusting deprecation warnings

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    ecb7de3 View commit details
    Browse the repository at this point in the history

  6. Removing semicolon

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    46ef7f6 View commit details
    Browse the repository at this point in the history

  7. Removing semicolns from test text

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    f2e3739 View commit details
    Browse the repository at this point in the history

  8. Semicolon fixes to reference manual

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    c0d4f00 View commit details
    Browse the repository at this point in the history

  9. Another semicolon change

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    c94ebaa View commit details
    Browse the repository at this point in the history

  10. Fixing expected output

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    cee7049 View commit details
    Browse the repository at this point in the history

  11. More semicolon fixes

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    0f70ad2 View commit details
    Browse the repository at this point in the history

  12. Merge resolution

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    c31f496 View commit details
    Browse the repository at this point in the history

  13. Merge branch 'master' into cok-semicolons

    @davidcok
    davidcok authored May 26, 2023
    Configuration menu
    Copy the full SHA
    a434589 View commit details
    Browse the repository at this point in the history

  14. Fixed editing typo

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    d7b030d View commit details
    Browse the repository at this point in the history

  15. Merge branch 'cok-semicolons' of https://github.com/davidcok/dafny in… 

    …to cok-semicolons
    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    8e0eb78 View commit details
    Browse the repository at this point in the history

  16. Fixed editing typo

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    c155fd5 View commit details
    Browse the repository at this point in the history

  17. Fixed editing typo

    davidcok committed May 26, 2023
    Configuration menu
    Copy the full SHA
    4b38acc View commit details
    Browse the repository at this point in the history

Commits on May 27, 2023

  1. Merge branch 'master' into cok-semicolons

    @davidcok
    davidcok authored May 27, 2023
    Configuration menu
    Copy the full SHA
    d437e1b View commit details
    Browse the repository at this point in the history

  2. Repairing test

    davidcok committed May 27, 2023
    Configuration menu
    Copy the full SHA
    9f848b3 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2023

  1. Merge branch 'master' into cok-semicolons

    @davidcok
    davidcok authored May 29, 2023
    Configuration menu
    Copy the full SHA
    f6a5c69 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into cok-semicolons

    @davidcok
    davidcok authored May 29, 2023
    Configuration menu
    Copy the full SHA
    4635a61 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2023

  1. Merge branch 'master' into cok-semicolons

    @davidcok
    davidcok authored May 30, 2023
    Configuration menu
    Copy the full SHA
    eee0d06 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into cok-semicolons

    @davidcok
    davidcok authored May 30, 2023
    Configuration menu
    Copy the full SHA
    2f8e704 View commit details
    Browse the repository at this point in the history

  3. Merge resolution

    davidcok committed May 30, 2023
    Configuration menu
    Copy the full SHA
    b870730 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into cok-semicolons

    davidcok committed May 30, 2023
    Configuration menu
    Copy the full SHA
    6f11dca View commit details
    Browse the repository at this point in the history

  5. Removing more semicolons

    davidcok committed May 30, 2023
    Configuration menu
    Copy the full SHA
    a982e9b View commit details
    Browse the repository at this point in the history

  6. More semicolon pruning

    davidcok committed May 30, 2023
    Configuration menu
    Copy the full SHA
    ef1959c View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into cok-semicolons

    @davidcok
    davidcok authored May 30, 2023
    Configuration menu
    Copy the full SHA
    353a647 View commit details
    Browse the repository at this point in the history