Dafny (Preview) Icon Image

Dafny (Preview) Vsix Version History

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

0 Votes, Average: 0 out of 5 Downloads: 2 Updated: January 11, 2021

VsixHub collected total 4 versions for Dafny (Preview) VSIX (correctnessLab.dafny-vscode-preview). You could download one of the legacy or old version of it.

Dafny (Preview) Extension for VSCode Version History

  1. Dafny (Preview) v1.2.0 VSIX File (Latest Version VSIX File)

    • Updated: January 11, 2021

    • Require: VS Code 1.41.0 and up

    • File Size: 4.71 MB (4938385 Bytes)

    • MD5: aee29c70da4f782f3986c9ee556212ad

    • SHA1: c0fd34819207ce9a7483bdb4f92752dd67f15017

    • SHA256: ba71ff769ba89b78cfb73c52c1e4b8f6774166b3738fbf1250b10c92aabe4e01

  2. Dafny (Preview) v1.1.1 VSIX File (Old Version VSIX File)

    • Updated: November 27, 2020

    • Require: VS Code 1.41.0 and up

    • File Size: 4.70 MB (4924604 Bytes)

    • MD5: e3355b7c2386296da7797569a7fe682b

    • SHA1: 9a6a5fe436fe61c47df378adaf51d55007742237

    • SHA256: 70fd913e00c44bffdc303b0a9f581a8baa15ed3e2547c4964a6eabecfa8f807d

  3. Dafny (Preview) v1.0.7 VSIX File (Old Version VSIX File)

    • Updated: November 19, 2020

    • Require: VS Code 1.25.1 and up

    • File Size: 2.92 MB (3061017 Bytes)

    • MD5: 053dd52ef6d237f6b6730b5c86517af9

    • SHA1: f7b28cde4f1b8f94acfcfd3f74ad3df70692f7af

    • SHA256: e2e177d6fd672c756211478aa2a323a0fce34930e1a5899ad3136ef3b622e1f1

  4. Dafny (Preview) v1.0.6 VSIX File (Old Version VSIX File)

    • Updated: November 10, 2020

    • Require: VS Code 1.25.1 and up

    • File Size: 2.91 MB (3049002 Bytes)

    • MD5: 191fb72233ac1351d9c784170b866b75

    • SHA1: 4257185c64e87c85dccbd1d055f02d26a0505c19

    • SHA256: 33c2b16f027d2bd4e26c19520bdab727250b9213ac18551c9a661ee2ef733948

More Extension to Consider (Similar or Related)