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

Add project files with includes/excludes and options support #3851

Merged
merged 39 commits into from
Apr 14, 2023
Merged

Add project files with includes/excludes and options support #3851

merged 39 commits into from
Apr 14, 2023

Commits on Apr 6, 2023

  1. Draft of project file support for CLI commands

    @keyboardDrummer
    keyboardDrummer committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    2d0a360 View commit details
    Browse the repository at this point in the history

  2. Add error handling and support for excludes

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

  3. Improvements

    @keyboardDrummer
    keyboardDrummer committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    93a4dfb View commit details
    Browse the repository at this point in the history

  4. Update documentation

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

  5. Add language server test for project files

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

  6. Server project file test passes

    @keyboardDrummer
    keyboardDrummer committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    2ddb0d4 View commit details
    Browse the repository at this point in the history

  7. Fix test

    @keyboardDrummer
    keyboardDrummer committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    71acc75 View commit details
    Browse the repository at this point in the history

  8. Run formatter

    @keyboardDrummer
    keyboardDrummer committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    5e4b694 View commit details
    Browse the repository at this point in the history

  9. Update documentation

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

  10. Add multiple project files check

    @keyboardDrummer
    keyboardDrummer committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    642849a View commit details
    Browse the repository at this point in the history

  11. Test for option override behavior

    @keyboardDrummer
    keyboardDrummer committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    38a0ad3 View commit details
    Browse the repository at this point in the history

  12. Add test documentation

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

  13. Added dafny server test, release notes, and removed TODO

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

  14. Fix tests

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

  15. Fix crash

    @keyboardDrummer
    keyboardDrummer committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    260fbbf View commit details
    Browse the repository at this point in the history

  16. Run formatter

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

  17. Add check against bad types

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

Commits on Apr 7, 2023

  1. Code review

    @keyboardDrummer
    keyboardDrummer committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    71a72b9 View commit details
    Browse the repository at this point in the history

  2. Add a default includes pattern

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

  3. Merge branch 'master' into projectFile

    @keyboardDrummer
    keyboardDrummer authored Apr 7, 2023
    Configuration menu
    Copy the full SHA
    275b73e View commit details
    Browse the repository at this point in the history

  4. Fix tests

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

  5. Update customBoogie.patch

    @keyboardDrummer
    keyboardDrummer committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    3d759e3 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'projectFile' of github.com:keyboardDrummer/dafny into p… 

    …rojectFile
    @keyboardDrummer
    keyboardDrummer committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    29d4197 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into projectFile

    @keyboardDrummer
    keyboardDrummer authored Apr 7, 2023
    Configuration menu
    Copy the full SHA
    6804d5a View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2023

  1. Fix test exception and remove some annoying debug log lines

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

  2. Turn off some logging and hopefulyl fix a Windows bug

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

Commits on Apr 11, 2023

  1. Improve documentation

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

  2. Merge branch 'master' into projectFile

    @keyboardDrummer
    keyboardDrummer authored Apr 11, 2023
    Configuration menu
    Copy the full SHA
    eb8e799 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2023

  1. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    8fbff18 View commit details
    Browse the repository at this point in the history

  2. Fix and test extensions

    @keyboardDrummer
    keyboardDrummer committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    e5acbfc View commit details
    Browse the repository at this point in the history

  3. Add validation to check for options in a project file that don't exist

    @keyboardDrummer
    keyboardDrummer committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    5f588ab View commit details
    Browse the repository at this point in the history

  4. Run formatter

    @keyboardDrummer
    keyboardDrummer committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    b30332b View commit details
    Browse the repository at this point in the history

  5. Add warning about non dafny.toml project files

    @keyboardDrummer
    keyboardDrummer committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    ae3d58e View commit details
    Browse the repository at this point in the history

  6. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    6f280c1 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2023

  1. Undo lit tests change

    @keyboardDrummer
    keyboardDrummer committed Apr 13, 2023
    Configuration menu
    Copy the full SHA
    f6d3b92 View commit details
    Browse the repository at this point in the history

  2. Prevent crash when project files aren't file paths

    @keyboardDrummer
    keyboardDrummer committed Apr 13, 2023
    Configuration menu
    Copy the full SHA
    7bb1ba1 View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2023

  1. Update documentation and use dfyconfig.toml

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

  2. Fix test

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

  3. Merge branch 'master' into projectFile

    @robin-aws
    robin-aws authored Apr 14, 2023
    Configuration menu
    Copy the full SHA
    6cb8001 View commit details
    Browse the repository at this point in the history