Skip to content

Releases: dafny-lang/ide-vscode

Release v3.4.2

31 Oct 04:37
@github-actions github-actions
v3.4.2
6d167f4
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v3.4.2 Latest
Latest
  • Added Dafny 4.9.0
  • Fix binary copying to temporary folder on custom path (#502)
Assets 3
Loading

Release v3.4.1

19 Sep 09:12
@github-actions github-actions
v3.4.1
542c1c0
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v3.4.1
  • Add Dafny 4.8.1
  • Extension is now published to OpenVSX registry as well
Assets 3
Loading

Release v3.3.1

27 Jun 17:18
@github-actions github-actions
v3.3.1
0dcecca
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v3.3.1
  • Dafny project file improvements (#475)
    • No longer let the syntax definitions for .dfy files also be applied to dfyconfig.toml files
    • Activate extension when .toml file is opened, such as a dfyconfig.toml
    • Let the language client also operate on files ending in dfyconfig.toml
    • Update the description of dafny.version
    • Remove outdated descriptions of options in the README
  • Add Dafny 4.7.0
Assets 3
Loading

Release v3.3.0

28 Mar 18:48
@github-actions github-actions
v3.3.0
232c430
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v3.3.0
  • Add Dafny 4.6.0
Assets 3
Loading

Release v3.2.3

28 Mar 18:09
@github-actions github-actions
v3.2.3
271e55b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v3.2.3
  • Add Dafny 4.5.0
Assets 3
Loading

Release v3.2.2

13 Dec 16:36
@github-actions github-actions
v3.2.2
887a27c
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.
Compare
Choose a tag to compare
Release v3.2.2
  • Warn users about libraries not being available inside the Dafny IDE (#454)
  • Fix: Dafny plugins working again. (#453)
  • Fix formatting issues accidentally introduced in PR #450 (#451)
  • Fix plugin arguments to Dafny server (#450)
Assets 3
Loading

Release v3.2.1

10 Oct 22:21
@github-actions github-actions
v3.2.1
716bf1d
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.
Compare
Choose a tag to compare
Release v3.2.1
  • fix: relax .NET runtime version check (#443)
Assets 3
Loading

Release v3.2.0

29 Sep 17:06
@github-actions github-actions
v3.2.0
768c1c3
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.
Compare
Choose a tag to compare
Release v3.2.0
  • Add Dafny 4.3.0
  • Update LSP client to 9.0.0 (#439)
    The main driver of this update is that it improves error handling
  • Let the extension use the Dafny server to track changes in dfyconfig (#435)
  • Fix the removal of verification tests (#436)
  • Make status bar forward compatible with upcoming Dafny release (#432)
  • Fix: support for spaces in paths (#431)
  • Bump semver from 7.3.7 to 7.5.4 (#411)
  • Always show all verifiable symbols in the test panels (#428)
  • Prevent verification as tests UI from becoming unresponsive (#421)
Assets 3
Loading

Release v3.1.2

20 Jul 18:11
@github-actions github-actions
v3.1.2
176ed57
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.
Compare
Choose a tag to compare
Release v3.1.2
  • Add Dafny 4.2.0
  • Update README.md (#407)
  • Fix: Empty ghost diagnostics no longer ignored (#399)
  • Chore: Support labels with primes and question marks (#398)
  • Chore: Better description of automatic verification (#397)
  • Fixes "this" highlight (#396)
  • Support new IDE states, parsing and preparing verification (#392)
Assets 3
Loading

Release v3.1.1

11 May 16:36
@github-actions github-actions
v3.1.1
fbf0925
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.
Compare
Choose a tag to compare
Release v3.1.1
  • Add Dafny 4.1.0
  • chore: Empty releases (#387)
Assets 3
Loading