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: Verification diagnostics hover #1946

Merged
merged 38 commits into from
May 26, 2022
Merged

feat: Verification diagnostics hover #1946

merged 38 commits into from
May 26, 2022

Commits on May 12, 2022

  1. Added resource and time diagnostics in the verification tree 

    This reverts commit 51c876a.
    @MikaelMayer
    MikaelMayer committed May 12, 2022
    Configuration menu
    Copy the full SHA
    fa983b8 View commit details
    Browse the repository at this point in the history

  2. Hover feature to display verification diagnostics 

    This reverts commit 467a92e.
    @MikaelMayer
    MikaelMayer committed May 12, 2022
    Configuration menu
    Copy the full SHA
    e361e5f View commit details
    Browse the repository at this point in the history

  3. Renamed + removed dangerous methods

    @MikaelMayer
    MikaelMayer committed May 12, 2022
    Configuration menu
    Copy the full SHA
    917b6ce View commit details
    Browse the repository at this point in the history

  4. Added hover test

    @MikaelMayer
    MikaelMayer committed May 12, 2022
    Configuration menu
    Copy the full SHA
    6aa5ada View commit details
    Browse the repository at this point in the history

  5. Helper to debug failing tests

    @MikaelMayer
    MikaelMayer committed May 12, 2022
    Configuration menu
    Copy the full SHA
    b1075da View commit details
    Browse the repository at this point in the history

  6. More hovering tests

    @MikaelMayer
    MikaelMayer committed May 12, 2022
    Configuration menu
    Copy the full SHA
    0025320 View commit details
    Browse the repository at this point in the history

  7. Better positive messages

    @MikaelMayer
    MikaelMayer committed May 12, 2022
    Configuration menu
    Copy the full SHA
    b8df867 View commit details
    Browse the repository at this point in the history

  8. Refactored description generation

    @MikaelMayer
    MikaelMayer committed May 12, 2022
    Configuration menu
    Copy the full SHA
    72419c6 View commit details
    Browse the repository at this point in the history

  9. Fixed the rebase

    @MikaelMayer
    MikaelMayer committed May 12, 2022
    Configuration menu
    Copy the full SHA
    fb4b98a View commit details
    Browse the repository at this point in the history

Commits on May 13, 2022

  1. Fixed hovering

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

  2. Fixed a bug in newline counting which was not updated.

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

  3. Fixed the boolean logic

    @MikaelMayer
    MikaelMayer committed May 13, 2022
    Configuration menu
    Copy the full SHA
    08659a7 View commit details
    Browse the repository at this point in the history

  4. Fixed a CI test

    @MikaelMayer
    MikaelMayer committed May 13, 2022
    Configuration menu
    Copy the full SHA
    765c738 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2022

  1. Better reporting

    @MikaelMayer
    MikaelMayer committed May 16, 2022
    Configuration menu
    Copy the full SHA
    5c55476 View commit details
    Browse the repository at this point in the history

  2. Refactored

    @MikaelMayer
    MikaelMayer committed May 16, 2022
    Configuration menu
    Copy the full SHA
    e4b174e View commit details
    Browse the repository at this point in the history

  3. Use of vcNum instead of heuristic index.

    @MikaelMayer
    MikaelMayer committed May 16, 2022
    Configuration menu
    Copy the full SHA
    e194c21 View commit details
    Browse the repository at this point in the history

  4. Fixing all the code that depended on the assertion batch index

    @MikaelMayer
    MikaelMayer committed May 16, 2022
    Configuration menu
    Copy the full SHA
    8665edb View commit details
    Browse the repository at this point in the history

  5. More refactoring

    @MikaelMayer
    MikaelMayer committed May 16, 2022
    Configuration menu
    Copy the full SHA
    95a32c1 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into verification-diagnostics-hover 

    # Conflicts:
#	Source/DafnyLanguageServer/Workspace/ChangeProcessors/IRelocator.cs
#	Source/DafnyLanguageServer/Workspace/DocumentDatabase.cs
#	Source/DafnyLanguageServer/Workspace/VerificationProgressReporter.cs
    @MikaelMayer
    MikaelMayer committed May 16, 2022
    Configuration menu
    Copy the full SHA
    fe3dd44 View commit details
    Browse the repository at this point in the history

  7. Fixed the merge

    @MikaelMayer
    MikaelMayer committed May 16, 2022
    Configuration menu
    Copy the full SHA
    470eecc View commit details
    Browse the repository at this point in the history

  8. Added tests and number of assertions in diagnostics

    @MikaelMayer
    MikaelMayer committed May 16, 2022
    Configuration menu
    Copy the full SHA
    f3d9a5f View commit details
    Browse the repository at this point in the history

Commits on May 17, 2022

  1. Merge branch 'master' into verification-diagnostics-hover

    @MikaelMayer
    MikaelMayer committed May 17, 2022
    Configuration menu
    Copy the full SHA
    6843453 View commit details
    Browse the repository at this point in the history

  2. Make it compatible with Windows

    @MikaelMayer
    MikaelMayer committed May 17, 2022
    Configuration menu
    Copy the full SHA
    5392f99 View commit details
    Browse the repository at this point in the history

  3. 3 more tests

    @MikaelMayer
    MikaelMayer committed May 17, 2022
    Configuration menu
    Copy the full SHA
    04fe432 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2022

  1. Merge branch 'master' into verification-diagnostics-hover

    @MikaelMayer
    MikaelMayer authored May 18, 2022
    Configuration menu
    Copy the full SHA
    5493944 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into verification-diagnostics-hover 

    # Conflicts:
#	Source/DafnyLanguageServer.Test/Util/ClientBasedLanguageServerTest.cs
    @MikaelMayer
    MikaelMayer committed May 18, 2022
    Configuration menu
    Copy the full SHA
    3026595 View commit details
    Browse the repository at this point in the history

  3. Removed a TODO

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

Commits on May 19, 2022

  1. Merge branch 'master' into verification-diagnostics-hover

    @MikaelMayer
    MikaelMayer authored May 19, 2022
    Configuration menu
    Copy the full SHA
    9ba6631 View commit details
    Browse the repository at this point in the history

  2. Added a comment elsewhere

    @MikaelMayer
    MikaelMayer committed May 19, 2022
    Configuration menu
    Copy the full SHA
    86fabf5 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2022

  1. Incremental newline computation, 

    AssertionBatchIndex record
    @MikaelMayer
    MikaelMayer committed May 23, 2022
    Configuration menu
    Copy the full SHA
    a54794d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into verification-diagnostics-hover

    @MikaelMayer
    MikaelMayer authored May 23, 2022
    Configuration menu
    Copy the full SHA
    0a12a2c View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into verification-diagnostics-hover

    @MikaelMayer
    MikaelMayer committed May 23, 2022
    Configuration menu
    Copy the full SHA
    388a974 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'verification-diagnostics-hover' of https://github.com/d… 

    …afny-lang/dafny into verification-diagnostics-hover
    @MikaelMayer
    MikaelMayer committed May 23, 2022
    Configuration menu
    Copy the full SHA
    ceb6509 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into verification-diagnostics-hover

    @MikaelMayer
    MikaelMayer authored May 23, 2022
    Configuration menu
    Copy the full SHA
    d26ed45 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2022

  1. Merge branch 'master' into verification-diagnostics-hover

    @MikaelMayer
    MikaelMayer authored May 24, 2022
    Configuration menu
    Copy the full SHA
    7e8375f View commit details
    Browse the repository at this point in the history

Commits on May 26, 2022

  1. Merge branch 'master' into verification-diagnostics-hover

    @MikaelMayer
    MikaelMayer authored May 26, 2022
    Configuration menu
    Copy the full SHA
    60d48d5 View commit details
    Browse the repository at this point in the history

  2. Line computation simplified

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

  3. Review suggestions

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