Dafny (Deprecated) Vsix Version History
A Free Programming Languages Extension By Correctness Lab - OST Eastern Switzerland University of Applied Sciences
Downloads: 10 Updated: December 23, 2021
VsixHub collected total 12 versions for Dafny (Deprecated) VSIX (correctnessLab.dafny-vscode). You could download one of the legacy or old version of it.
Dafny (Deprecated) Extension for VSCode Version History
-
Dafny (Deprecated) v2.0.3 VSIX File (Latest Version VSIX File)
• Updated: December 23, 2021
• Require: VS Code 1.52.0 and up
• File Size: 493.72 KB (505570 Bytes)
• MD5: 9dcee991c1c82fde9b5088571413badb
• SHA1: b63c1addead3bc1eb690d0c51205c8dbe3dea99d
• SHA256: 67cb221bcf6db44c00b09e1fb2f9b4315cb2f2bcbe42a17c6a5ead77d10fc61f
-
Dafny v2.0.2 VSIX File (Old Version VSIX File)
• Updated: November 22, 2021
• Require: VS Code 1.52.0 and up
• File Size: 493.20 KB (505036 Bytes)
• MD5: a373370df47b95cafa1f490e230b2bbd
• SHA1: 829b3cadb49a3f7f227c6b87f3ba8cd716b23991
• SHA256: b0aa0348655c96c09f31ac2564eccea1da89306f7419656343e859a408292627
-
Dafny v2.0.1 VSIX File (Old Version VSIX File)
• Updated: November 11, 2021
• Require: VS Code 1.52.0 and up
• File Size: 493.19 KB (505027 Bytes)
• MD5: 74c22cc901c85b3033fb060ee67a8cdc
• SHA1: 61ee9f152e222eaf997eb06d6906af620f7d17fb
• SHA256: a230b5680014752dc76157e4b13e20ad6dd3605b585896aa0dd7a21712248da3
-
Dafny v2.0.0 VSIX File (Old Version VSIX File)
• Updated: November 5, 2021
• Require: VS Code 1.52.0 and up
• File Size: 479.94 KB (491459 Bytes)
• MD5: 8dc19bb6c336e727143c3854d364f168
• SHA1: 1fca22b31ad8b9f40298c0de3b0de7f83242e13c
• SHA256: 35713644fbdc734dbb7066b8c76c2918fb2dc0ba3b6d424e90778e849a229a65
-
Dafny v1.8.0 VSIX File (Old Version VSIX File)
• Updated: September 2, 2021
• Require: VS Code 1.41.0 and up
• File Size: 5.20 MB (5449312 Bytes)
• MD5: 854e6f1936234cbbb1f63e7112fa6d9f
• SHA1: 708a1ebb73556b4e812f55db41c6b1ecf225988c
• SHA256: 152d47d5825de7c1d9d1e2bf6ebf11031eec38eebb0205ce67442dddcd1b46dc
-
Dafny v1.6.0 VSIX File (Old Version VSIX File)
• Updated: July 14, 2021
• Require: VS Code 1.41.0 and up
• File Size: 5.05 MB (5294315 Bytes)
• MD5: d36a10539ae722344a2c9d659d3c6e21
• SHA1: fb7958fd430c81caeadca4f7c9cb06a090694f63
• SHA256: 656d9b9c6c79e613744974b5e6f3a79a1f9ce148d8df1678a9df7856b4c52766
-
Dafny v1.5.0 VSIX File (Old Version VSIX File)
• Updated: April 23, 2021
• Require: VS Code 1.41.0 and up
• File Size: 4.72 MB (4951002 Bytes)
• MD5: a67121d7d96b8769466b20b086db5a8c
• SHA1: 8e5d0ccc0cca5d9bfb9a4a9befd12f980eea12ad
• SHA256: d6ad018ae2d9b3ee47107e965da32563dbd2c93223904ef428cf5109e15e53ac
-
Dafny v1.4.0 VSIX File (Old Version VSIX File)
• Updated: February 4, 2021
• Require: VS Code 1.41.0 and up
• File Size: 4.72 MB (4948443 Bytes)
• MD5: a982d1781d7c1760a3bd88ae42c1e620
• SHA1: 5e01f239e981be6db88301af2ae772d4557d62b4
• SHA256: 7a9771415af317efe87b440d34500b3ae110c09542ea032a6e2a21b6efd8df3d
-
Dafny v1.3.0 VSIX File (Old Version VSIX File)
• Updated: January 26, 2021
• Require: VS Code 1.41.0 and up
• File Size: 4.71 MB (4938365 Bytes)
• MD5: aaa72b0eb6fa44b815cf1d111518c88a
• SHA1: 998996413a2b70641af38ec46d5592d75894f301
• SHA256: b2ad7e4b360acba655304c1bd1d0e9f0e4e5355a639885e47c4e1ea5bfb1b62b
-
Dafny v0.18.0 VSIX File (Old Version VSIX File)
• Updated: August 22, 2020
• Require: VS Code 1.25.1 and up
• File Size: 8.44 MB (8847408 Bytes)
• MD5: 5f05dede14c374691a73bd29a3e43da2
• SHA1: 6e853564c4582fa2bac6f203baf770fdc9272566
• SHA256: af7aa1daa66763724f209941807eedf22b0867f869982314fee7d07ee0efb612
-
Dafny v0.17.2 VSIX File (Old Version VSIX File)
• Updated: April 16, 2020
• Require: VS Code 1.25.1 and up
• File Size: 8.47 MB (8878597 Bytes)
• MD5: 41505aeb048541b54d24c47c21b6cb0d
• SHA1: 532c70c63f0f6159e0e4adeeb79ea1705566e87c
• SHA256: 5da4e0eae8109d87941d07d6a49707b705444bf9c24c528fcf17ab95a0b223b1
-
Dafny v0.17.1 VSIX File (Old Version VSIX File)
• Updated: July 11, 2019
• Require: VS Code 1.25.1 and up
• File Size: 8.48 MB (8893027 Bytes)
• MD5: cb4bcd124b90c3849416f3c81712e410
• SHA1: 7ef927caf888b9c80a9c440cb86c620e740a1748
• SHA256: aa325bd69f34c57d458334c1846c3dd314b0e1862a43e7f7a68ac26f326e7c1a