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

Let the IDE translate to and resolve Boogie only when attempting to verify #4378

Merged
merged 205 commits into from
Aug 11, 2023
Merged

Let the IDE translate to and resolve Boogie only when attempting to verify #4378

merged 205 commits into from
Aug 11, 2023

Commits on Jul 28, 2023

  1. Move IVariableConstracts and NonglobalVariable to separate files

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    d30addf View commit details
    Browse the repository at this point in the history

  2. Moves remaining classes in DafnyAst.cs to separate files

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    3b64410 View commit details
    Browse the repository at this point in the history

  3. All the changes

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    ee3c60c View commit details
    Browse the repository at this point in the history

  4. Compute static hover information using AST instead of legacy symbol t… 

    …able
    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    afd11a6 View commit details
    Browse the repository at this point in the history

  5. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    a68499e View commit details
    Browse the repository at this point in the history

  6. Use project files in hover of HoverTest tests

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    7324c61 View commit details
    Browse the repository at this point in the history

  7. Fix bug in Formal.Children

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    ef30c41 View commit details
    Browse the repository at this point in the history

  8. Use more INode instead of Node

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    f15f284 View commit details
    Browse the repository at this point in the history

  9. Cleanup

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    59de765 View commit details
    Browse the repository at this point in the history

  10. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    ef9bf1d View commit details
    Browse the repository at this point in the history

  11. Rename

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    ae34c37 View commit details
    Browse the repository at this point in the history

  12. Merge commit 'afd11a6dc53' into hoverAndGutterIconProjectSupport

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    79a4bf4 View commit details
    Browse the repository at this point in the history

  13. Merge branch 'computeStaticHoverUsingAst' into hoverAndGutterIconProj… 

    …ectSupport
    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    ab1e1ce View commit details
    Browse the repository at this point in the history

  14. Merge commit '6506c83868~1' into computeStaticHoverUsingAst

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    4d81e72 View commit details
    Browse the repository at this point in the history

  15. Merge commit '6506c83868' into computeStaticHoverUsingAst

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    5f565c8 View commit details
    Browse the repository at this point in the history

  16. Fix tests and formatting

    @keyboardDrummer
    keyboardDrummer committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    524a5a3 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2023

  1. Fix bugs and refactor

    @keyboardDrummer
    keyboardDrummer committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    506af99 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into computeStaticHoverUsingAst

    @keyboardDrummer
    keyboardDrummer authored Jul 29, 2023
    Configuration menu
    Copy the full SHA
    b6ba8ac View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. Draft

    @keyboardDrummer
    keyboardDrummer committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    c2dd161 View commit details
    Browse the repository at this point in the history

  2. Split parsing and resolution

    @keyboardDrummer
    keyboardDrummer committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    e8eece8 View commit details
    Browse the repository at this point in the history

  3. Small refactoring

    @keyboardDrummer
    keyboardDrummer committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    bf9db2e View commit details
    Browse the repository at this point in the history

  4. Running tests

    @keyboardDrummer
    keyboardDrummer committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    380ceea View commit details
    Browse the repository at this point in the history

  5. Ran formatter

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

  6. Update expect file

    @keyboardDrummer
    keyboardDrummer committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    953f0f8 View commit details
    Browse the repository at this point in the history

  7. Increase unlock wait time

    @keyboardDrummer
    keyboardDrummer committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    26b642f View commit details
    Browse the repository at this point in the history

  8. Throw exception instead of returning null

    @keyboardDrummer
    keyboardDrummer committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    cafd9e9 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'master' into computeStaticHoverUsingAst

    @keyboardDrummer
    keyboardDrummer authored Jul 31, 2023
    Configuration menu
    Copy the full SHA
    96d2fc3 View commit details
    Browse the repository at this point in the history

  10. More passing tests

    @keyboardDrummer
    keyboardDrummer committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    bfa8966 View commit details
    Browse the repository at this point in the history

  11. Let more tests pass

    @keyboardDrummer
    keyboardDrummer committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    ebc491a View commit details
    Browse the repository at this point in the history

  12. Merge branch 'master' into computeStaticHoverUsingAst

    @keyboardDrummer
    keyboardDrummer authored Jul 31, 2023
    Configuration menu
    Copy the full SHA
    5167023 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. Merge commit '25bf20898242f~1' into hoverAndGutterIconProjectSupport

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

  2. Merge commit '25bf20898242f' into hoverAndGutterIconProjectSupport

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

  3. Merge remote-tracking branch 'fork/computeStaticHoverUsingAst' into h… 

    …overAndGutterIconProjectSupport
    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    c69fcae View commit details
    Browse the repository at this point in the history

  4. Fix

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    8435a4d View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/master' into onDemandPreverifica… 

    …tion
    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    464781a View commit details
    Browse the repository at this point in the history

  6. Merge branch 'hoverAndGutterIconProjectSupport' into onDemandPreverif… 

    …ication
    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    9e74ee0 View commit details
    Browse the repository at this point in the history

  7. Fixes

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    3a0b4a0 View commit details
    Browse the repository at this point in the history

  8. Add translation onNext

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    5a35a1f View commit details
    Browse the repository at this point in the history

  9. Fixes

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

  10. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    4f3ea82 View commit details
    Browse the repository at this point in the history

  11. Verification related to GetLastDocument

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    234c9bf View commit details
    Browse the repository at this point in the history

  12. Small fixes

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

  13. Fix test

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    3e6918b View commit details
    Browse the repository at this point in the history

  14. Fix bugs

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    515f9f8 View commit details
    Browse the repository at this point in the history

  15. Fix verification order bug

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

  16. Store task in View

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

  17. Allow untranslated verifiables to report stale

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

  18. No more hanging verification status tests

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    3b2280d View commit details
    Browse the repository at this point in the history

  19. Fixes

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    542b42d View commit details
    Browse the repository at this point in the history

  20. Fix bugs

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

  21. Merge branch 'master' into hoverAndGutterIconProjectSupport

    @keyboardDrummer
    keyboardDrummer authored Aug 1, 2023
    Configuration menu
    Copy the full SHA
    6c1d067 View commit details
    Browse the repository at this point in the history

  22. Verification status tests pass

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    267c9d9 View commit details
    Browse the repository at this point in the history

  23. Invert caching test

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    451bcb3 View commit details
    Browse the repository at this point in the history

  24. Bring back accidentally removed code

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    57f7077 View commit details
    Browse the repository at this point in the history

  25. Merge branch 'hoverAndGutterIconProjectSupport' of github.com:keyboar… 

    …dDrummer/dafny into hoverAndGutterIconProjectSupport
    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    18dc79c View commit details
    Browse the repository at this point in the history

  26. Bring back comment

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

Commits on Aug 2, 2023

  1. Improve test check

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

  2. Merge branch 'master' into hoverAndGutterIconProjectSupport

    @keyboardDrummer
    keyboardDrummer authored Aug 2, 2023
    Configuration menu
    Copy the full SHA
    04912e9 View commit details
    Browse the repository at this point in the history

  3. All but four hover verification tests pass

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

  4. All HoverVerificationTests pass

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    6550ed1 View commit details
    Browse the repository at this point in the history

  5. Some progress, although there's more gutter icon notifications than b… 

    …efore due to verifyEverything triggering them one by one
    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    bb9c6c9 View commit details
    Browse the repository at this point in the history

  6. Remove complicated code, let gutter icons publish more notifications

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

  7. Update more expects

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    5a7fb82 View commit details
    Browse the repository at this point in the history

  8. All but one simple gutter icon tests pass

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    7341d9e View commit details
    Browse the repository at this point in the history

  9. All the simple gutter icon tests pass

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    8623a02 View commit details
    Browse the repository at this point in the history

  10. All tests passed once

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

  11. Add crash protection

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

  12. Code action test passing

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

  13. Bugfixes

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    46905c0 View commit details
    Browse the repository at this point in the history

  14. All tests but one seem to pass

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    74ff7b4 View commit details
    Browse the repository at this point in the history

  15. Got rid of hacky state.ImplementationsWereUpdated

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    87af760 View commit details
    Browse the repository at this point in the history

  16. Ran formatter

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

  17. Update expect data

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    646b223 View commit details
    Browse the repository at this point in the history

  18. Fix issues in diagnostic migration

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

  19. Add a version to IDE state

    @keyboardDrummer
    keyboardDrummer committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    31d5332 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. Fix update document bug

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

  2. Merge branch 'master' into hoverAndGutterIconProjectSupport

    @keyboardDrummer
    keyboardDrummer authored Aug 3, 2023
    Configuration menu
    Copy the full SHA
    0562c5c View commit details
    Browse the repository at this point in the history

  3. Fix gutter icon expect file

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    8fb448d View commit details
    Browse the repository at this point in the history

  4. Fix unloading bug

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

  5. All tests pass

    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    23ff4bf View commit details
    Browse the repository at this point in the history

  6. Ran formatter

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

  7. Merge branch 'master' into onDemandPreverification

    @keyboardDrummer
    keyboardDrummer authored Aug 3, 2023
    Configuration menu
    Copy the full SHA
    6b9f1a9 View commit details
    Browse the repository at this point in the history

  8. Refactoring, fix TODOs, fix FindNode for DefaultClass, fix staleness … 

    …of ICanVerify without translations
    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    ddb1a6e View commit details
    Browse the repository at this point in the history

  9. Ran formatter

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

  10. Merge branch 'onDemandPreverification' of github.com:keyboardDrummer/… 

    …dafny into onDemandPreverification
    @keyboardDrummer
    keyboardDrummer committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    b72b184 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. Add test for FindNode fix

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    edd9eba View commit details
    Browse the repository at this point in the history

  2. Add test for assertless method verification status

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    73cddb6 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into hoverAndGutterIconP… 

    …rojectSupport
    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    4ecfaa0 View commit details
    Browse the repository at this point in the history

  4. Stop sharing verification trees between compilations

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    fc90e85 View commit details
    Browse the repository at this point in the history

  5. Add more logging for OnDiskProducerVerificationErrors

    @keyboardDrummer
    keyboardDrummer committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    89d582c View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into doNotShareVerificationTreeBetweenCompilations

    @keyboardDrummer
    keyboardDrummer authored Aug 4, 2023
    Configuration menu
    Copy the full SHA
    1b88a47 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into doNotShareVerificationTreeBetweenCompilations

    @atomb
    atomb authored Aug 4, 2023
    Configuration menu
    Copy the full SHA
    9a0d38d View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' into doNotShareVerificationTreeBetweenCompilations

    @atomb
    atomb authored Aug 4, 2023
    Configuration menu
    Copy the full SHA
    8e0027a View commit details
    Browse the repository at this point in the history

  9. Merge branch 'master' into doNotShareVerificationTreeBetweenCompilations

    @atomb
    atomb authored Aug 4, 2023
    Configuration menu
    Copy the full SHA
    e8ebe69 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'master' into doNotShareVerificationTreeBetweenCompilations

    @atomb
    atomb authored Aug 4, 2023
    Configuration menu
    Copy the full SHA
    e2573b7 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2023

  1. Merge remote-tracking branch 'fork/OnDiskProducerVerificationErrorslo… 

    …gging' into testStability
    @keyboardDrummer
    keyboardDrummer committed Aug 6, 2023
    Configuration menu
    Copy the full SHA
    15f0816 View commit details
    Browse the repository at this point in the history

  2. Customize logging for after failing tests

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

  3. Improve logging

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

  4. Fix logging

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

  5. Up log level for EnsureCachingDoesNotHideErrors

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

  6. Improve memory usage of writing verification history

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

  7. More sequential test

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

Commits on Aug 7, 2023

  1. Gather more information for OnDiskProducerVerificationErrors

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

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

    …rojectSupport
    @keyboardDrummer
    keyboardDrummer committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    f6c5b95 View commit details
    Browse the repository at this point in the history

  3. Ran formatter

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

  4. Fix test file

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

  5. Merge branch 'master' into hoverAndGutterIconProjectSupport

    @keyboardDrummer
    keyboardDrummer authored Aug 7, 2023
    Configuration menu
    Copy the full SHA
    768f49c View commit details
    Browse the repository at this point in the history

  6. Fix compilation errors

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

  7. Improve logging for gutter icons

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

  8. Retrigger CI

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

  9. Fix concurrency bug that showed in MultipleFilesTest2

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

  10. Merge remote-tracking branch 'origin/master' into testStability

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

  11. Merge remote-tracking branch 'origin/master' into hoverAndGutterIconP… 

    …rojectSupport
    @keyboardDrummer
    keyboardDrummer committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    46910c7 View commit details
    Browse the repository at this point in the history

  12. More aggressive cloning of verification trees

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

  13. Merge branch 'master' into testStability

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

  14. Improve logging

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

  15. Merge branch 'testStability' of github.com:keyboardDrummer/dafny into… 

    … testStability
    @keyboardDrummer
    keyboardDrummer committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    68fac6f View commit details
    Browse the repository at this point in the history

  16. Merge branch 'master' into testStability

    @keyboardDrummer
    keyboardDrummer authored Aug 7, 2023
    Configuration menu
    Copy the full SHA
    12435f1 View commit details
    Browse the repository at this point in the history

  17. More logging for IncrementalVerificationDiagnosticsBetweenMethods

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

  18. Log which files are parsed

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

  19. Enable Trace log level for gutter icon tests

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

  20. Merge branch 'testStability' of github.com:keyboardDrummer/dafny into… 

    … testStability
    @keyboardDrummer
    keyboardDrummer committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    5910eb9 View commit details
    Browse the repository at this point in the history

  21. Prevent stringify diagnostics history into a single string

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

  22. Merge branch 'hoverAndGutterIconProjectSupport' into onDemandPreverif… 

    …ication
    @keyboardDrummer
    keyboardDrummer committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    75723cb View commit details
    Browse the repository at this point in the history

  23. Merge commit '4b0ea54b8ba61~1' into onDemandPreverification

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

  24. Merge commit '4b0ea54b8ba61' into onDemandPreverification

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

  25. Add gutter icon logging around ReportImplementationsBeforeVerification

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

  26. Add more gutter icon logging

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

  27. Merge remote-tracking branch 'origin/master' into testStability

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

  28. Add tracking URI

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

Commits on Aug 8, 2023

  1. Another attempt at fixing gutter tests

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    56d69dd View commit details
    Browse the repository at this point in the history

  2. Bring back gutter icons trace logging

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

  3. Fix test

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

  4. Slightly more gutter icon logging

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    5b7a07f View commit details
    Browse the repository at this point in the history

  5. Fix and add test for FindNode bug

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

  6. Add missing gutter icon test line

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

  7. Merge remote-tracking branch 'fork/testStability' into onDemandPrever… 

    …ification
    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    07c39d5 View commit details
    Browse the repository at this point in the history

  8. Add more logging

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

  9. Merge branch 'master' into testStability

    @keyboardDrummer
    keyboardDrummer authored Aug 8, 2023
    Configuration menu
    Copy the full SHA
    ecd0fc5 View commit details
    Browse the repository at this point in the history

  10. Publish notifications after determining verifiable implementations

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    61301f6 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'master' into onDemandPreverification

    @keyboardDrummer
    keyboardDrummer authored Aug 8, 2023
    Configuration menu
    Copy the full SHA
    e1fd6bf View commit details
    Browse the repository at this point in the history

  12. Add more logging

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    188c202 View commit details
    Browse the repository at this point in the history

  13. Merge branch 'testStability' of github.com:keyboardDrummer/dafny into… 

    … testStability
    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    a966537 View commit details
    Browse the repository at this point in the history

  14. Refactoring

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

  15. Solve all the troubles

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

  16. Add logging

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    2e00f70 View commit details
    Browse the repository at this point in the history

  17. Merge branch 'testStability' into onDemandPreverification

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

  18. Cleanup

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

  19. Add ChangeFile and ChangeProject mode

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    08f4ddb View commit details
    Browse the repository at this point in the history

  20. Update documentation

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

  21. Turn off gutter icon logging

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    34d80dc View commit details
    Browse the repository at this point in the history

  22. Fix most tests

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    04105d9 View commit details
    Browse the repository at this point in the history

  23. Merge remote-tracking branch 'fork/testStability' into onDemandPrever… 

    …ification
    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    fa6f385 View commit details
    Browse the repository at this point in the history

  24. Merge branch 'onDemandPreverification' of github.com:keyboardDrummer/… 

    …dafny into onDemandPreverification
    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    d85e4fd View commit details
    Browse the repository at this point in the history

  25. Workaround old dotnet format

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    5ce2185 View commit details
    Browse the repository at this point in the history

  26. Merge commit '23ff00' into onDemandPreverification

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    172cd74 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2023

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

    …tion
    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    3798ed7 View commit details
    Browse the repository at this point in the history

  2. Small update

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    0afe029 View commit details
    Browse the repository at this point in the history

  3. EnsureTranslationErrorsAreReportedEvenWithoutResolutionErrors now passes

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    40e8dc5 View commit details
    Browse the repository at this point in the history

  4. Simplify counterexample test

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    33b8702 View commit details
    Browse the repository at this point in the history

  5. Improve debugging of ChangeDocumentCancelsPreviousOpenAndChangeVerifi… 

    …cation
    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    1959a60 View commit details
    Browse the repository at this point in the history

  6. Fix woops

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

  7. Add more test logging

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    b18e06e View commit details
    Browse the repository at this point in the history

  8. Resolve TODO

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

  9. Small amount of extra logging

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    7883292 View commit details
    Browse the repository at this point in the history

  10. Add workaround for faulty dafny format errors

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    848b5a9 View commit details
    Browse the repository at this point in the history

  11. Prevent Caught exception in statusUpdates OnNext. 

          System.ArgumentException: An item with the same key has already been added. Key: Impl
    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    6d62afa View commit details
    Browse the repository at this point in the history

  12. Filter out no method found in logging

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    6548954 View commit details
    Browse the repository at this point in the history

  13. Enable running unit tests by themselves

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    9a28917 View commit details
    Browse the repository at this point in the history

  14. Limit XUnit parallelism to 2

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

  15. Fix

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    9abe1fc View commit details
    Browse the repository at this point in the history

  16. Completely disable parallelisation

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    c23ed7a View commit details
    Browse the repository at this point in the history

  17. Blame hanging tests

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    f56defd View commit details
    Browse the repository at this point in the history

  18. More logging for signature tests

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    8dfe6e7 View commit details
    Browse the repository at this point in the history

  19. Use better filenames for DotCompletion tests

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    ea358fd View commit details
    Browse the repository at this point in the history

  20. Add StringifyTest and update stringify

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    09c51ac View commit details
    Browse the repository at this point in the history

  21. Update WriterFromOutputHelper

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    609dfff View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2023

  1. Improve logging and add likely fix for completetion/signature bug

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

  2. Add more logging

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

  3. Increase global test timeout

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

  4. More logging

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

  5. Add more logging for VerificationOrderTest2

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

  6. Add more logging

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

  7. Add more logging

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

  8. Improve logging

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

  9. Explicitly unlock files after parsing

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

  10. Better logging

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

  11. Properly close project file stream

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

  12. Concurrency fixes

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

  13. Better hygiene

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

  14. Resolve TODO

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

  15. Code review

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

  16. Add fix

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

  17. Merge branch 'master' into onDemandPreverification

    @keyboardDrummer
    keyboardDrummer authored Aug 10, 2023
    Configuration menu
    Copy the full SHA
    31a865f View commit details
    Browse the repository at this point in the history

  18. Remove TODOs

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

  19. Two fixes

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

  20. Add AutoGeneratedTokens where needed

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

  21. Change wait mechanics

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

  22. Merge branch 'onDemandPreverification' of github.com:keyboardDrummer/… 

    …dafny into onDemandPreverification
    @keyboardDrummer
    keyboardDrummer committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    96ef23a View commit details
    Browse the repository at this point in the history

  23. Resolve TODO

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

  24. Add exception handler to counter example handler

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

  25. Ran formatter

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

  26. Update Source/DafnyLanguageServer.Test/Synchronization/VerificationSt… 

    …atusTest.cs

Co-authored-by: Mikaël Mayer <[email protected]>
    @keyboardDrummer @MikaelMayer
    keyboardDrummer and MikaelMayer authored Aug 10, 2023
    Configuration menu
    Copy the full SHA
    6a2a90b View commit details
    Browse the repository at this point in the history

  27. Merge branch 'master' into onDemandPreverification

    @MikaelMayer
    MikaelMayer authored Aug 10, 2023
    Configuration menu
    Copy the full SHA
    df567bf View commit details
    Browse the repository at this point in the history

  28. Update Twostate-Functions.dfy.expect 

    This was breaking a CI for the last 3 runs
    @MikaelMayer
    MikaelMayer authored Aug 10, 2023
    Configuration menu
    Copy the full SHA
    95c5e5a View commit details
    Browse the repository at this point in the history