Skip to content
This repository has been archived by the owner on Apr 29, 2021. It is now read-only.

v2.2.0
Compare
Choose a tag to compare
@camrein camrein released this 27 Nov 09:24
· 75 commits to master since this release
v2.2.0
09eb6a6
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • Now hiding diagnostics when closing a document.
  • Now showing the postcondition that might be violated.
  • Now showing that an include has parse errors.
  • Added the possibility to retrieve counterexamples.
  • Added the dafny compiler to the release packages.
Assets 5
Loading