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

Standard lib support in dafny server #4770

Merged
merged 27 commits into from
Nov 17, 2023
Merged

Standard lib support in dafny server #4770

merged 27 commits into from
Nov 17, 2023

Commits on Nov 10, 2023

  1. Enable standard library in dafny server

    @keyboardDrummer
    keyboardDrummer committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    68c9e07 View commit details
    Browse the repository at this point in the history

  2. Fixes

    @keyboardDrummer
    keyboardDrummer committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    61f1345 View commit details
    Browse the repository at this point in the history

  3. Remove getContentOverride

    @keyboardDrummer
    keyboardDrummer committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    b30f041 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into standardLibServer

    @keyboardDrummer
    keyboardDrummer authored Nov 10, 2023
    Configuration menu
    Copy the full SHA
    540501d View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2023

  1. Fixes

    @keyboardDrummer
    keyboardDrummer committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    0b70c96 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'standardLibServer' of github.com:keyboardDrummer/dafny … 

    …into standardLibServer
    @keyboardDrummer
    keyboardDrummer committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    7e3cdf7 View commit details
    Browse the repository at this point in the history

  3. Fix comp error

    @keyboardDrummer
    keyboardDrummer committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    31944b3 View commit details
    Browse the repository at this point in the history

  4. Add missing extension

    @keyboardDrummer
    keyboardDrummer committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    afc7f8b View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2023

  1. Support libraries

    @keyboardDrummer
    keyboardDrummer committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    f8820b5 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into standardLibServer

    @keyboardDrummer
    keyboardDrummer committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    b5b757a View commit details
    Browse the repository at this point in the history

  3. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    6c8567f View commit details
    Browse the repository at this point in the history

  4. Resolve warning

    @keyboardDrummer
    keyboardDrummer committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    c1ed48d View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. Improve error handling of validating Dafny files

    @keyboardDrummer
    keyboardDrummer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    1f4f4b6 View commit details
    Browse the repository at this point in the history

  2. Remove IllegalDafnyFile class

    @keyboardDrummer
    keyboardDrummer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    3975f74 View commit details
    Browse the repository at this point in the history

  3. Test fix

    @keyboardDrummer
    keyboardDrummer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    e1f7ad3 View commit details
    Browse the repository at this point in the history

  4. Store state

    @keyboardDrummer
    keyboardDrummer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    fc4a2cb View commit details
    Browse the repository at this point in the history

  5. Remove lazyness from latestIdeState

    @keyboardDrummer
    keyboardDrummer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    3d7f0e2 View commit details
    Browse the repository at this point in the history

  6. Add new test

    @keyboardDrummer
    keyboardDrummer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    cd38120 View commit details
    Browse the repository at this point in the history

  7. Fix test

    @keyboardDrummer
    keyboardDrummer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    c37bbe0 View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'origin/master' into standardLibServer

    @keyboardDrummer
    keyboardDrummer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    75d0071 View commit details
    Browse the repository at this point in the history

  9. Server tests pass

    @keyboardDrummer
    keyboardDrummer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    932461b View commit details
    Browse the repository at this point in the history

  10. Renames

    @keyboardDrummer
    keyboardDrummer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    046759c View commit details
    Browse the repository at this point in the history

  11. Add test for using library=[..] in dfyconfig.toml, together with dafn… 

    …y server
    @keyboardDrummer
    keyboardDrummer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    cc95549 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Merge remote-tracking branch 'origin/master' into standardLibServer

    @keyboardDrummer
    keyboardDrummer committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    7a405bd View commit details
    Browse the repository at this point in the history

  2. Refactor

    @keyboardDrummer
    keyboardDrummer committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    d2cf87a View commit details
    Browse the repository at this point in the history

  3. Fix tests and improve error handling consistency

    @keyboardDrummer
    keyboardDrummer committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    291b3ff View commit details
    Browse the repository at this point in the history

  4. Windows fix

    @keyboardDrummer
    keyboardDrummer committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    1e38a42 View commit details
    Browse the repository at this point in the history