VsixHub collected total 5 versions for VeriFast VSIX (VeriFast.verifast). You could download one of the legacy or old version of it.
VeriFast Extension for VSCode Version History
-
VeriFast v0.9.2 VSIX File (Latest Version VSIX File)
• Updated: March 2, 2023
• Require: VS Code 1.52.0 and up
• File Size: 883.70 KB (904905 Bytes)
• MD5: a4dd6255b8d395a5f35341500c21773b
• SHA1: 855d18d6761b423033f9f90f50f560363ff50aff
• SHA256: cd088c6a878062ebc20fe5be3b19adefc75245c55e518cbc8a470e860274f91c
-
VeriFast v0.9.1 VSIX File (Old Version VSIX File)
• Updated: December 12, 2022
• Require: VS Code 1.52.0 and up
• File Size: 883.47 KB (904674 Bytes)
• MD5: 7dd38cb8508b6330ee8401a0e6fd3d96
• SHA1: a1bb1efbde476f1c9074236c9b74cb0e5d594054
• SHA256: 67edb37988bed406d48de92a9d2986f3a4a88139860ebea8748dbef55089f46e
-
VeriFast v0.9.0 VSIX File (Old Version VSIX File)
• Updated: December 2, 2022
• Require: VS Code 1.52.0 and up
• File Size: 883.26 KB (904454 Bytes)
• MD5: d5d6511f5b578d10451ac2fea3ca18c2
• SHA1: 72617e790fa3698357a55b8f1917aa2d0a99d540
• SHA256: 49c144c41286c7432a3f63a0063d91979bdcadcb4300b81a9268ba0a5a3b4d56
-
VeriFast v0.2.0 VSIX File (Old Version VSIX File)
• Updated: January 22, 2021
• Require: VS Code 1.52.0 and up
• File Size: 861.55 KB (882228 Bytes)
• MD5: 14961afb7112775515242d84ab3104c1
• SHA1: 1cb0cf09a1227dc56e661afd0e221d4162ed2dba
• SHA256: 76e516e36f2b11f649607b3759489f6b0ee3d915f21c73ff84dd5269fd7f625c
-
VeriFast v0.1.0 VSIX File (Old Version VSIX File)
• Updated: January 15, 2021
• Require: VS Code 1.52.0 and up
• File Size: 860.33 KB (880974 Bytes)
• MD5: b7683da779a569ad87ad32ba1745ac9a
• SHA1: 0028ad2204e086112a3aa22470cc0793275f8342
• SHA256: 36007961fc6215c85350a4aaba85cb4e6998e830c6ec79eaf9b3b6626170633a
