Skip to content

Release v3.0.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 23 Dec 16:03
v3.0.0
ada54c7
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.

NOTE: the Dafny preferences for which Dafny version to use, which custom Dafny executables to use, and which custom arguments to use have been reset. Please check your preferences to see if these are correct.

  • The Dafny language server accepts many of the same options as the Dafny CLI, such as --warn-shadowing and --enforce-determinism, allowing users to get the same resolution and verification diagnostics in the IDE as on the CLI.
  • The extension can be configured with a custom Dafny CLI, which it will use to start a Dafny language server, ensuring consistency between the custom CLI and the extension.
  • For Mac users with an ARM64 processor, Dafny will no longer install Dafny from source for Dafny versions starting with 3.10.0, but instead download a prebuilt binary.
  • The extension may attempt to build Dafny from source for platforms and architectures for which no prebuilt binary exists.
  • Building from source is possible when attempting to use the latest nightly version.
Assets 3
Loading