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: Plugin support #1739

Merged
merged 63 commits into from
Feb 11, 2022
Merged

feat: Plugin support #1739

merged 63 commits into from
Feb 11, 2022

Commits on Jan 20, 2022

  1. Removed internal

    @MikaelMayer
    MikaelMayer committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    7abd760 View commit details
    Browse the repository at this point in the history

  2. Fixed error

    @MikaelMayer
    MikaelMayer committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    daa54ee View commit details
    Browse the repository at this point in the history

  3. Fixed all dependencies errors

    @MikaelMayer
    MikaelMayer committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    867015b View commit details
    Browse the repository at this point in the history

  4. Initial support for /compiler: or -compiler: flag

    @MikaelMayer
    MikaelMayer committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    54218fc View commit details
    Browse the repository at this point in the history

  5. Correct way to load an external DLL

    @MikaelMayer
    MikaelMayer committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    8951357 View commit details
    Browse the repository at this point in the history

  6. Better comments

    @MikaelMayer
    MikaelMayer committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    90d8255 View commit details
    Browse the repository at this point in the history

  7. Added a test for the /compiler: option

    @MikaelMayer
    MikaelMayer committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    39eca00 View commit details
    Browse the repository at this point in the history

  8. Support for compiler options in DafnyLanguageServer 

    Display the error on the first token of any program.
    @MikaelMayer
    MikaelMayer committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    4b8db03 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2022

  1. Plugin for everything instead of just resolution.

    @MikaelMayer
    MikaelMayer committed Jan 21, 2022
    1 Configuration menu
    Copy the full SHA
    3d9553c View commit details
    Browse the repository at this point in the history

  2. Fixed multiple loading of the option

    @MikaelMayer
    MikaelMayer committed Jan 21, 2022
    Configuration menu
    Copy the full SHA
    3664526 View commit details
    Browse the repository at this point in the history

  3. Better error reporting

    @MikaelMayer
    MikaelMayer committed Jan 21, 2022
    Configuration menu
    Copy the full SHA
    4539424 View commit details
    Browse the repository at this point in the history

  4. Removed useless code.

    @MikaelMayer
    MikaelMayer committed Jan 21, 2022
    Configuration menu
    Copy the full SHA
    27bd135 View commit details
    Browse the repository at this point in the history

  5. More debugging code (revert this commit)

    @MikaelMayer
    MikaelMayer committed Jan 21, 2022
    Configuration menu
    Copy the full SHA
    2b87a90 View commit details
    Browse the repository at this point in the history

  6. Revert "More debugging code (revert this commit)" 

    This reverts commit 2b87a90.
    @MikaelMayer
    MikaelMayer committed Jan 21, 2022
    Configuration menu
    Copy the full SHA
    98b6d97 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2022

  1. WIP: adding a new test

    @MikaelMayer
    MikaelMayer committed Jan 25, 2022
    Configuration menu
    Copy the full SHA
    93a170c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into resolving-plugin-support

    @MikaelMayer
    MikaelMayer committed Jan 25, 2022
    Configuration menu
    Copy the full SHA
    7a71322 View commit details
    Browse the repository at this point in the history

  3. Fixed the test of DafnyLanguageServer to prove plugins work.

    @MikaelMayer
    MikaelMayer committed Jan 25, 2022
    Configuration menu
    Copy the full SHA
    31578e8 View commit details
    Browse the repository at this point in the history

  4. Crystal clear API documentation for Resolver plugins

    @MikaelMayer
    MikaelMayer committed Jan 25, 2022
    Configuration menu
    Copy the full SHA
    3b82af7 View commit details
    Browse the repository at this point in the history

  5. Added missing two newlines

    @MikaelMayer
    MikaelMayer committed Jan 25, 2022
    Configuration menu
    Copy the full SHA
    ed40974 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2022

  1. Fixed XUnit tests

    @MikaelMayer
    MikaelMayer committed Jan 26, 2022
    Configuration menu
    Copy the full SHA
    d40790b View commit details
    Browse the repository at this point in the history

  2. Better names

    @MikaelMayer
    MikaelMayer committed Jan 26, 2022
    Configuration menu
    Copy the full SHA
    b3d9683 View commit details
    Browse the repository at this point in the history

  3. Proper Configuration for plugins to extend 

    IRewriter is now Plugin.Rewriter
Proper internal Plugin class to handle the assembly
    @MikaelMayer
    MikaelMayer committed Jan 26, 2022
    Configuration menu
    Copy the full SHA
    2516be6 View commit details
    Browse the repository at this point in the history

  4. Updated README

    @MikaelMayer
    MikaelMayer committed Jan 26, 2022
    Configuration menu
    Copy the full SHA
    0b104e4 View commit details
    Browse the repository at this point in the history

  5. Updated documentation

    @MikaelMayer
    MikaelMayer committed Jan 26, 2022
    Configuration menu
    Copy the full SHA
    b99acbd View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into resolving-plugin-support

    @MikaelMayer
    MikaelMayer authored Jan 26, 2022
    Configuration menu
    Copy the full SHA
    1c8084c View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2022

  1. Ensure it works even without Configuration. 

    Better documentation
    @MikaelMayer
    MikaelMayer committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    9b405de View commit details
    Browse the repository at this point in the history

  2. support for commas in arguments.

    @MikaelMayer
    MikaelMayer committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    62ad0ed View commit details
    Browse the repository at this point in the history

  3. Merge branch 'resolving-plugin-support' of https://github.com/dafny-l… 

    …ang/dafny into resolving-plugin-support
    @MikaelMayer
    MikaelMayer committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    52821b3 View commit details
    Browse the repository at this point in the history

  4. Plugin test should use the module's first positional token.

    @MikaelMayer
    MikaelMayer committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    647b233 View commit details
    Browse the repository at this point in the history

  5. * Ensure even the default module's default token is not empty even if… 

    … it has no declaration

* Correct support for long arguments
    @MikaelMayer
    MikaelMayer committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    7698e7c View commit details
    Browse the repository at this point in the history

  6. PostResolve also for the entire program. 

    Another test to exemplify the plugin mechanism
    @MikaelMayer
    MikaelMayer committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    eeb264b View commit details
    Browse the repository at this point in the history

  7. Addressed review comments

    @MikaelMayer
    MikaelMayer committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    d5b653f View commit details
    Browse the repository at this point in the history

  8. Fixed typos

    @MikaelMayer
    MikaelMayer committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    6e236bd View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2022

  1. Addressed review comments

    @MikaelMayer
    MikaelMayer committed Jan 31, 2022
    Configuration menu
    Copy the full SHA
    9f9e3be View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2022

  1. Reviews implemented.

    @MikaelMayer
    MikaelMayer committed Feb 1, 2022
    Configuration menu
    Copy the full SHA
    e8ddf7c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into resolving-plugin-support

    @MikaelMayer
    MikaelMayer authored Feb 1, 2022
    Configuration menu
    Copy the full SHA
    0f3ee09 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2022

  1. Fixed the synchronicity problem between two different plugin tests.

    @MikaelMayer
    MikaelMayer committed Feb 2, 2022
    Configuration menu
    Copy the full SHA
    a27836e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'resolving-plugin-support' of https://github.com/dafny-l… 

    …ang/dafny into resolving-plugin-support
    @MikaelMayer
    MikaelMayer committed Feb 2, 2022
    Configuration menu
    Copy the full SHA
    4e38b80 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into resolving-plugin-support

    @MikaelMayer
    MikaelMayer authored Feb 2, 2022
    Configuration menu
    Copy the full SHA
    40b6a35 View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2022

  1. Separated Rewriter from plugins from internal rewriters. 

    Use of Internal back like before
Fixed the tests of DafnyPipeline
    @MikaelMayer
    MikaelMayer committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    b09f5d5 View commit details
    Browse the repository at this point in the history

  2. Rewriter

    @MikaelMayer
    MikaelMayer committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    e4c58e5 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'resolving-plugin-support' of https://github.com/dafny-l… 

    …ang/dafny into resolving-plugin-support
    @MikaelMayer
    MikaelMayer committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    6becf88 View commit details
    Browse the repository at this point in the history

  4. Note about the experimental feature of plugins

    @MikaelMayer
    MikaelMayer committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    57f7589 View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2022

  1. Cleanup plugin + moved initialization earlier so that it's run only o… 

    …nce.
    @MikaelMayer
    MikaelMayer committed Feb 4, 2022
    Configuration menu
    Copy the full SHA
    4e52ba6 View commit details
    Browse the repository at this point in the history

  2. Better syntax

    @MikaelMayer
    MikaelMayer committed Feb 4, 2022
    Configuration menu
    Copy the full SHA
    f9c3a17 View commit details
    Browse the repository at this point in the history

  3. Property again

    @MikaelMayer
    MikaelMayer committed Feb 4, 2022
    Configuration menu
    Copy the full SHA
    1d34931 View commit details
    Browse the repository at this point in the history

  4. Extracted a method to load the plugins

    @MikaelMayer
    MikaelMayer committed Feb 4, 2022
    Configuration menu
    Copy the full SHA
    8f8a135 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into resolving-plugin-support

    @MikaelMayer
    MikaelMayer authored Feb 4, 2022
    Configuration menu
    Copy the full SHA
    3a4d7ab View commit details
    Browse the repository at this point in the history

  6. Display plugin loading errors as part of the diagnostics.

    @MikaelMayer
    MikaelMayer committed Feb 4, 2022
    Configuration menu
    Copy the full SHA
    749c3f0 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'resolving-plugin-support' of https://github.com/dafny-l… 

    …ang/dafny into resolving-plugin-support
    @MikaelMayer
    MikaelMayer committed Feb 4, 2022
    Configuration menu
    Copy the full SHA
    6151452 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2022

  1. Adressed review comments

    @MikaelMayer
    MikaelMayer committed Feb 7, 2022
    Configuration menu
    Copy the full SHA
    c42d10c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into resolving-plugin-support

    @MikaelMayer
    MikaelMayer authored Feb 7, 2022
    Configuration menu
    Copy the full SHA
    15855d3 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2022

  1. Plugins as separate CS files

    @MikaelMayer
    MikaelMayer committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    b6fcbd8 View commit details
    Browse the repository at this point in the history

  2. Removed unused static variable

    @MikaelMayer
    MikaelMayer committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    1fd20d4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'resolving-plugin-support' of https://github.com/dafny-l… 

    …ang/dafny into resolving-plugin-support
    @MikaelMayer
    MikaelMayer committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    6bdcd98 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into resolving-plugin-support

    @MikaelMayer
    MikaelMayer authored Feb 8, 2022
    Configuration menu
    Copy the full SHA
    7a5c48b View commit details
    Browse the repository at this point in the history

  5. plugin as a record

    @MikaelMayer
    MikaelMayer committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    e17738b View commit details
    Browse the repository at this point in the history

  6. Merge branch 'resolving-plugin-support' of https://github.com/dafny-l… 

    …ang/dafny into resolving-plugin-support
    @MikaelMayer
    MikaelMayer committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    64fc6a2 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into resolving-plugin-support

    @MikaelMayer
    MikaelMayer authored Feb 8, 2022
    Configuration menu
    Copy the full SHA
    21188aa View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2022

  1. Implemented review comments

    @MikaelMayer
    MikaelMayer committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    568f1a5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'resolving-plugin-support' of https://github.com/dafny-l… 

    …ang/dafny into resolving-plugin-support
    @MikaelMayer
    MikaelMayer committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    2463c10 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2022

  1. Refactored a factory + made static variable readonly

    @MikaelMayer
    MikaelMayer committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    eb35472 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into resolving-plugin-support

    @MikaelMayer
    MikaelMayer committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    223c9f8 View commit details
    Browse the repository at this point in the history