Dafny Icon Image

Dafny Vsix Version History - Page 2

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

  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 v2.8.5 VSIX File (Old Version VSIX File)

    • Updated: October 13, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 609.84 KB (624474 Bytes)

    • MD5: 82585c4d9f35b960bab4acdb66892398

    • SHA1: eceb64e704ba6dc6b906ceb3dc702e8f44c27a76

    • SHA256: 53e5cae7f2b0ea96a8d19f10b96ff91bb1825e234f31bdd83669c64f8f75c1bc

  3. Dafny v2.8.3 VSIX File (Old Version VSIX File)

    • Updated: October 5, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 609.74 KB (624378 Bytes)

    • MD5: 59a49044bf6ecadff06f87437d85d38c

    • SHA1: 908b7d99d1e83c61b5b7bcc6103622d79f1cc42c

    • SHA256: 998d5cbf1ef2d20cd8a2a1d15a1a2f81a87da54b78fe6a4fffa5cbb46d5832a6

  4. Dafny v2.8.2 VSIX File (Old Version VSIX File)

    • Updated: September 7, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 610.09 KB (624737 Bytes)

    • MD5: 2b79b61b1df9e97f203ee7f015289cbe

    • SHA1: 55656fd2cbe8fece6663ae1c6feb70cb89b8c9dc

    • SHA256: 60499ad54d5b93952b62016d766e859110da15d3d58937ca9a1ac6c0dd0fedeb

  5. Dafny v2.8.1 VSIX File (Old Version VSIX File)

    • Updated: September 2, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 609.96 KB (624600 Bytes)

    • MD5: b47c27898081a1680d75701096affa15

    • SHA1: 058495af92c6ebe539c560fc69796f07774fedae

    • SHA256: c5cc29d086942e7d9f95e9dfbced6248e49fd279e10d291549fde30b2059c32e

  6. Dafny v2.8.0 VSIX File (Old Version VSIX File)

    • Updated: August 24, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 609.87 KB (624510 Bytes)

    • MD5: fa049e7b34bbc23f60bb66774e57654a

    • SHA1: a2f71e8dbb6131e539fc207e9896d772791b915a

    • SHA256: 112bf37e5fefcf3915e97489823a70bf4d343774abf5c8de889e58385b48b9a6

  7. Dafny v2.7.0 VSIX File (Old Version VSIX File)

    • Updated: August 5, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 608.62 KB (623222 Bytes)

    • MD5: 600540b193f804826aa46b6e6f8334f2

    • SHA1: 904667e4f3c1bc085c9cc6c093598fa7edfbc074

    • SHA256: 6a4944dfc61bb8d334b99c383650fec512b35a47bd50c61221f6eaf8b48b11dc

  8. Dafny v2.6.3 VSIX File (Old Version VSIX File)

    • Updated: July 27, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 550.46 KB (563667 Bytes)

    • MD5: 542e74b98d8faea4b7ceb298683438ec

    • SHA1: abf6b4f96339eb4ce3a7627cbace553a9f59abad

    • SHA256: d6195df6782b7a83aeb47c57e96d58a7fa8ada6c33883610deae44b76cd71d73

  9. Dafny v2.6.2 VSIX File (Old Version VSIX File)

    • Updated: July 20, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 550.33 KB (563542 Bytes)

    • MD5: 79ce36e28ca6cbbc284f097f7afe27f9

    • SHA1: 2ccdccbf0678daccbc1ec01680c3c8d8212a6bcd

    • SHA256: 7a5033e0e06651b60888ec9dffa984d3b54f7e345552b0eb17096619a649a7e8

  10. Dafny v2.6.1 VSIX File (Old Version VSIX File)

    • Updated: July 16, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 550.32 KB (563527 Bytes)

    • MD5: d4cf3a416ea7e0525bf95c157db844df

    • SHA1: f861aa3ff3d848ecd01cf11e1dc68cda367fde77

    • SHA256: c30749fd448aecfc280af570b29d46aada976afd38298802e7a507d0655e8be4

  11. Dafny v2.6.0 VSIX File (Old Version VSIX File)

    • Updated: July 15, 2022

    • Require: VS Code 1.68.0 and up

    • File Size: 550.29 KB (563496 Bytes)

    • MD5: 25521e19209b1a8ed570ef454784e26d

    • SHA1: d28576abdd13c024e08b0f831f372895ffeffa65

    • SHA256: 81fcbaaaea16a50aa2d0596068bdc517d2e7edbec732ab741675c61980f0c5ca

  12. Dafny v2.5.0 VSIX File (Old Version VSIX File)

    • Updated: June 21, 2022

    • Require: VS Code 1.52.0 and up

    • File Size: 524.38 KB (536968 Bytes)

    • MD5: e5578b3b040d369d45604e8436973c42

    • SHA1: 3bd93c8ab4eca3f905abca8a1796d98b31fcbcb6

    • SHA256: 41b44d81cd7c460cd74e114455c81b2b2f1c8bdf660e99def7fce5859085e482

  13. Dafny v2.4.0 VSIX File (Old Version VSIX File)

    • Updated: May 24, 2022

    • Require: VS Code 1.52.0 and up

    • File Size: 496.42 KB (508334 Bytes)

    • MD5: ebb5fc41dc53ed52435ab23ac48b402d

    • SHA1: b973d2a04ecf1761a49733d8ee15d36d281dcf4e

    • SHA256: 811c97c77ade276968420be9f8d8c83e79c9762439da33643dd06df95d594336

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

    • Updated: March 16, 2022

    • Require: VS Code 1.52.0 and up

    • File Size: 495.74 KB (507638 Bytes)

    • MD5: 4f26b6571ed109815965df5b570e1250

    • SHA1: bf575d4537dfe6a547eb959e3fc39ffbf5fec55e

    • SHA256: 7084aad9495aff56f81ae14063024d10a1109a405e10c9635e56e5dd88c1ebb5

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

    • Updated: February 12, 2022

    • Require: VS Code 1.52.0 and up

    • File Size: 495.36 KB (507245 Bytes)

    • MD5: a576c12d8fabb57f90f6ad8f66be4842

    • SHA1: 098b535686c1a6f252d7044467ffc70f4cf804ca

    • SHA256: f8f8c0760d30ace390dcea07ea8d8e643bddd40b1b19e9c6bdb657b18d1c723c

More Extension to Consider (Similar or Related)