Skip to content

Release v3.5.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 27 Aug 20:37
v3.5.0
b00d636
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

19735

  • Added Dafny 4.11.0
    Also copy native libraries when copying a custom dafny to tmpdir (#534)
    Builds of Dafny downloaded from the GitHub Releasespage include all
    necessary support libraries, so they don't depend on an external .NET
    runtime. When we copy a custom dafny to a tmpdir, we need to copy these
    libraries too, or the language server will fail to start.
    Windows libraries, being .dlls, were probably already copied, but on
    macOS and Linux, shared libraries end in .dylib and .so,
    respectively.
  • Fix and rename counterexamples to verification trace (#533)
    • Swap 'value == variable' to 'variable == value' for better readability
    • Replace ' && ' separator with ', ' for cleaner appearance
    • Remove 'assume ' prefix and ';' suffix from display
  • Call fs.promises.mkdtemp on the correct path to prevent making a temp dir in $HOME (#529)
  • Chore: added instructions on how to view the trace (#528)
Assets 3
Loading