Dafny (Deprecated) Icon Image

Dafny (Deprecated) Vsix Version History

A Free Programming Languages Extension By Correctness Lab - OST Eastern Switzerland University of Applied Sciences

0 Votes, Average: 3.75 out of 5 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

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

More Extension to Consider (Similar or Related)