Dafny Vsix Version History
A Free Programming Languages Extension By dafny-lang
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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