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

v2.0.0
Compare
Choose a tag to compare
@camrein camrein released this 09 Nov 14:49
· 246 commits to master since this release
v2.0.0
fd5e32e
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.

Initial release of the reworked C# based language server for dafny.

Assets 4
Loading