Dafny Icon Image

Dafny Vsix Version History

A Free Programming Languages Extension By dafny-lang

0 Votes, Average: 5 out of 5 Downloads: 6 Updated: March 29, 2024

VsixHub collected total 30 versions for Dafny VSIX (dafny-lang.ide-vscode). You could download one of the legacy or old version of it.

Dafny Extension for VSCode Version History

  1. Dafny v3.3.0 VSIX File (Latest Version VSIX File)

    • Updated: March 29, 2024

    • Require: VS Code 1.68.0 and up

    • File Size: 632.62 KB (647801 Bytes)

    • MD5: 08dba3fb695b61fec0753d17dbf99da6

    • SHA1: fad4095b26b128dde64ee6491095d83289a2fbcc

    • SHA256: 6159b0144e06880804386860f589916b80e45ad76393b84ee69fbeb2e8f83e7e

  2. Dafny v3.2.2 VSIX File (Old Version VSIX File)

    • Updated: December 14, 2023

    • Require: VS Code 1.68.0 and up

    • File Size: 632.60 KB (647779 Bytes)

    • MD5: a6326f2c9c34818e5315360f453cc383

    • SHA1: 4f00ee371ee0dda686c4aca8725229058a743c04

    • SHA256: 698326f9e6c9279056eb7890a1ba57bade970a06e6cc3c40fbc552e34dd9bd16

  3. Dafny v3.2.1 VSIX File (Old Version VSIX File)

    • Updated: October 11, 2023

    • Require: VS Code 1.68.0 and up

    • File Size: 632.32 KB (647491 Bytes)

    • MD5: eef7a41b1efc1847acd3a15717b27d19

    • SHA1: 4b6860596ff37204875f9aa4c0a049c28c57ead2

    • SHA256: b1aa22de3bfa16c6c6f91464beb2351a9798bf0a4ddc38f020b96a46e72cb7e4

  4. Dafny v3.1.2 VSIX File (Old Version VSIX File)

    • Updated: July 21, 2023

    • Require: VS Code 1.68.0 and up

    • File Size: 613.41 KB (628136 Bytes)

    • MD5: b418e31000b5999457f43ecc46f4c424

    • SHA1: 230eaba74b5519da21fcaabc76a56a854a886ab0

    • SHA256: c80857f6cd8a3ddf3917bbd80ae03cfbd3756d95afac52ffe134b936239d18ff

  5. Dafny v3.1.1 VSIX File (Old Version VSIX File)

    • Updated: May 12, 2023

    • Require: VS Code 1.68.0 and up

    • File Size: 612.86 KB (627573 Bytes)

    • MD5: b2f83989e9192bf760cae98476d02750

    • SHA1: f82e1f55053726c372e302262f0d1f96a9c26710

    • SHA256: e2be57104aab28ea0dc963106ded991c67087164fd35c8944c48f01624a7faf8

  6. Dafny v3.1.0 VSIX File (Old Version VSIX File)

    • Updated: April 22, 2023

    • Require: VS Code 1.68.0 and up

    • File Size: 612.77 KB (627481 Bytes)

    • MD5: ee3ee822493924bf59b45a354f28da7c

    • SHA1: 7d85ca6f87c88abb07794604d5ba2a358ec63b09

    • SHA256: 575ac6838498abca2b77dcbf3c4f0afa8c9ca2b52d5429009f62e1499f5cab5a

  7. Dafny v3.0.9 VSIX File (Old Version VSIX File)

    • Updated: March 8, 2023

    • Require: VS Code 1.68.0 and up

    • File Size: 612.63 KB (627331 Bytes)

    • MD5: c0ea87354c1dffdc22dc5e515130cbbc

    • SHA1: 7606f5bb23283450f2e063c4f5791a6c9dcee793

    • SHA256: f6f22a87cedb984ca4b70c5c898204d7df6e82dea500829b648b5bfd2b29040c

  8. Dafny v3.0.8 VSIX File (Old Version VSIX File)

    • Updated: March 4, 2023

    • Require: VS Code 1.68.0 and up

    • File Size: 612.60 KB (627298 Bytes)

    • MD5: f9477162ddddc9460a7b5e5f7da0eff3

    • SHA1: 0a54c9766e8c21fa55f2ff2e82be3d7417498507

    • SHA256: 7435e0a1babfaf075c0912c99014825117368cab80b8e03579be9e09897970e6

  9. Dafny v3.0.5 VSIX File (Old Version VSIX File)

    • Updated: February 22, 2023

    • Require: VS Code 1.68.0 and up

    • File Size: 612.19 KB (626884 Bytes)

    • MD5: 3fb1e4573cd1b2ee415515ad6841af94

    • SHA1: 36312fed7af8123185e8efc5f1220d8723029ef8

    • SHA256: 2506adca92e184639eafe67dc42f0ea452cd353ea2ef727e33f9619a87c23f00

  10. Dafny v3.0.4 VSIX File (Old Version VSIX File)

    • Updated: February 2, 2023

    • Require: VS Code 1.68.0 and up

    • File Size: 612.10 KB (626790 Bytes)

    • MD5: 770c5e1b1ede42dca167a08652e76f88

    • SHA1: dd6df02ed56138cee24c40fcc014d404da2644bb

    • SHA256: ba624e2f44612de285d8185565f3b47c597142a17318d473583870cdf5934529

  11. Dafny v3.0.3 VSIX File (Old Version VSIX File)

    • Updated: December 29, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 611.68 KB (626357 Bytes)

    • MD5: 2515caafe6bc059448c18d14af53499f

    • SHA1: 4431d066b8c286fcb6db8452953ec298df050f26

    • SHA256: ae94c77a9b5936fba36cf53f509d8e5b48c36b707928cb94b6d6e0785b3d37f8

  12. Dafny v3.0.2 VSIX File (Old Version VSIX File)

    • Updated: December 27, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 611.63 KB (626307 Bytes)

    • MD5: bd7707a13a7bbd75172c318d2b358a55

    • SHA1: f4c50745ebc18f7ec9b6115681851335be5907f2

    • SHA256: 713acd64633cd57f5505648fe9ecf5d580d4696adf7c35f92b889f1426a9af1d

  13. Dafny v3.0.1 VSIX File (Old Version VSIX File)

    • Updated: December 24, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 611.52 KB (626196 Bytes)

    • MD5: b2be23b775a0f6500984240b2aa68429

    • SHA1: 44a7e245c78c2d81eb5b1e99891ad47c92081667

    • SHA256: 2481b50337e47fc6ba3978ba23c4998413fc29d2321a12a31d6c6ea5e895465b

  14. Dafny v2.9.0 VSIX File (Old Version VSIX File)

    • Updated: November 18, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 610.44 KB (625091 Bytes)

    • MD5: c8aeb49d38d7e2ae8fc6a108b7cf7d4f

    • SHA1: b990a14db82060b78fc4392c01f236d667d6c8db

    • SHA256: 623941e9b87a0ef1cf7be18ae97fab142e164170fac2a551335e6b981e315dc7

  15. Dafny v2.8.6 VSIX File (Old Version VSIX File)

    • Updated: October 28, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 609.98 KB (624622 Bytes)

    • MD5: d706881d56fa48520a017bb9fd5a6b8a

    • SHA1: 722511b2759a87aec5510106c1144dfba170b18c

    • SHA256: 8a6ac7e2ace76d1bb806641903fc2391a799f8b5dd7aec9c99b8859ed6d21487

More Extension to Consider (Similar or Related)