Skip to content

Release v2.8.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 24 Aug 15:00
v2.8.0
dfaa186
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
  • Update Dafny and language server to v3.8.0
  • Feat: Enable displaying verification as tests when using the latest Dafny version
  • Fix a bug in Windows where the gutter's skipped lines are wrong. (#255)
  • Previously, in Windows, the LSP's string URI were a bit different than the VSCode's Uri.toString().
  • Namely, the LSP was retuning:
  • file:///c:/...
  • whereas Uri.ToString() in VSCode was returning
  • file:///c%3A/...
  • Thus, this PR transforms URI received by the LSP into their canonical form for the Verification Symbol Status view, where the canonical URI is needed because of the event handler e.document.uri.toString() in window.onDidChangeTextDocument
  • Second, this PR stores the latest nightly build version so that if the GitHub API rate limit is reached, a client will not revert to the previous stable version.
  • Third, deactivated two problematic tests that are passing locally but timeout in CI because of seemingly restrictive API quota limits.
  • Do not show status updates for non-active documents (#254)
    • Do not show status updates for non-active documents
    • Remove unused import
  • Do not show verified status message when no solvers are free (#253)
  • Prevent overlap of play and gutter icons on parent nodes (#252)
    • Prevent overlap of play and gutter icons on parent nodes such as classes and modules
    • Prevent visible and internal state of testItems from getting out of sync
    • Add debug information
  • Correctly handle a difference between verifiable and document symbols (#249)
  • Adding brew update as part of the manual source installation (#250)
  • Ensure gutter icons show up in the correct locations (#241)
Assets 3
Loading