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

Merge functionality to filter out tests #9

Open
wants to merge 14 commits into
base: Latest
Choose a base branch
from
Open

Merge functionality to filter out tests #9

wants to merge 14 commits into from

Commits on Jun 23, 2022

  1. Merge branch 'master' into synthesizeTests

    @Dargones
    Dargones committed Jun 23, 2022
    Configuration menu
    Copy the full SHA
    9d6fa58 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2022

  1. verify test method before printing

    @tbean79
    tbean79 committed Jun 28, 2022
    Configuration menu
    Copy the full SHA
    cc6a05d View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2022

  1. docs: Remove mention of rise4fun editor (dafny-lang#2344)

    @cpitclaudel
    cpitclaudel committed Jul 1, 2022
    Configuration menu
    Copy the full SHA
    d8d1ec7 View commit details
    Browse the repository at this point in the history

  2. verify test method before printing

    @tbean79
    tbean79 committed Jul 1, 2022
    Configuration menu
    Copy the full SHA
    a7a2244 View commit details
    Browse the repository at this point in the history

  3. fix relative path bug

    @tbean79
    tbean79 committed Jul 1, 2022
    Configuration menu
    Copy the full SHA
    62f3479 View commit details
    Browse the repository at this point in the history

  4. merge for pull

    @tbean79
    tbean79 committed Jul 1, 2022
    Configuration menu
    Copy the full SHA
    2dccc82 View commit details
    Browse the repository at this point in the history

  5. merge with sythesizeTests

    @tbean79
    tbean79 committed Jul 1, 2022
    Configuration menu
    Copy the full SHA
    38eaadf View commit details
    Browse the repository at this point in the history

  6. copy paste merge timeout

    @tbean79
    tbean79 committed Jul 1, 2022
    Configuration menu
    Copy the full SHA
    965a0ed View commit details
    Browse the repository at this point in the history

  7. Fixes gutter when cache is enabled (dafny-lang#2312) 

    Fixes dafny-lang/ide-vscode#187

The issue was that caching would prevent reports of implementations being finished to verify for the gutter reporting mechanism. I added it, and a test that I verified would not work in the absence of the fix.

Changes
* It also report all the results that were cached as if they were resolved immediately.
    @MikaelMayer
    MikaelMayer committed Jul 1, 2022
    Configuration menu
    Copy the full SHA
    9dab9d7 View commit details
    Browse the repository at this point in the history

  8. nightly build failed (dafny-lang#2161)

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

  9. Fix: No more crashing on hovering bodies of nested match statements (d… 

    …afny-lang#2334)
    @MikaelMayer
    MikaelMayer committed Jul 1, 2022
    Configuration menu
    Copy the full SHA
    5487792 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'master' into synthesizeTests

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

Commits on Jul 2, 2022

  1. silence error reports during pruning

    @tbean79
    tbean79 committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    e1cca66 View commit details
    Browse the repository at this point in the history

  2. merge with synthesizeTests 5ba8c64

    @tbean79
    tbean79 committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    c51bca5 View commit details
    Browse the repository at this point in the history