Prusti Assistant Icon Image

Prusti Assistant Vsix Version History

A Free Programming Languages Extension By Chair of Programming Methodology - ETH Zurich

0 Votes, Average: 0 out of 5 Downloads: 9 Updated: February 27, 2024

VsixHub collected total 25 versions for Prusti Assistant VSIX (viper-admin.prusti-assistant). You could download one of the legacy or old version of it.

Prusti Assistant Extension for VSCode Version History

  1. Prusti Assistant v0.12.7 VSIX File (Latest Version VSIX File)

    • Updated: February 27, 2024

    • Require: VS Code 1.60.0 and up

    • File Size: 528.08 KB (540749 Bytes)

    • MD5: eb3e960ce09da7edfea82cd813a5692a

    • SHA1: a7602784849ff8b99822fee4df739aeb058b0d4a

    • SHA256: 3f683e7bee39a810d1a25fa5d6daa1d15544bbb76632948fe4cef77a2768592b

  2. Prusti Assistant v0.12.6 VSIX File (Old Version VSIX File)

    • Updated: February 1, 2024

    • Require: VS Code 1.60.0 and up

    • File Size: 526.12 KB (538750 Bytes)

    • MD5: 49ff84836048f3ef220916e2a7ca2cc2

    • SHA1: 2441e46b534e9270e9302d14cd28032a773e7c13

    • SHA256: d16341aae7ebbb3159e35fb27ea93a635b3c328ce1c0d51af33fd13cd9f66e51

  3. Prusti Assistant v0.12.5 VSIX File (Old Version VSIX File)

    • Updated: November 8, 2023

    • Require: VS Code 1.60.0 and up

    • File Size: 528.70 KB (541388 Bytes)

    • MD5: 4dbbfd3709b2f9f07cc030df69bf2f08

    • SHA1: 05690825881246b0f79f6bcb35e73673f19a145b

    • SHA256: d6845e45af5895b07a3dbd827b843cd783b28cd6322cfad25c68011f2791387d

  4. Prusti Assistant v0.12.4 VSIX File (Old Version VSIX File)

    • Updated: September 2, 2023

    • Require: VS Code 1.60.0 and up

    • File Size: 571.70 KB (585425 Bytes)

    • MD5: 01fbb9b610868c0db2709649e77d6b58

    • SHA1: 96e2562ffe93c1076d8df529e9648e10cc24b3b6

    • SHA256: a3bb0a34e3c45276c5a86f7507cd5e0587494d364ab71a36637898040bce657d

  5. Prusti Assistant v0.12.3 VSIX File (Old Version VSIX File)

    • Updated: August 10, 2023

    • Require: VS Code 1.43.0 and up

    • File Size: 598.38 KB (612739 Bytes)

    • MD5: 7295422050bd30cc21da40f51b687d01

    • SHA1: 0c3d5e8b48fc9226354cca08f53100f259b7e8ea

    • SHA256: 41797a43ccda28397ee560a87631a109d444223f062a3819a9d51404302063df

  6. Prusti Assistant v0.11.2 VSIX File (Old Version VSIX File)

    • Updated: October 19, 2022

    • Require: VS Code 1.43.0 and up

    • File Size: 596.98 KB (611311 Bytes)

    • MD5: 1392e5f03b5cc5881e2cdec26a052ad2

    • SHA1: 201c74f16af751065e51334617efa170fe137753

    • SHA256: 619125a8451d421f076070c3b3ded6ba99aedcc5f523ed70515fe34584044589

  7. Prusti Assistant v0.11.1 VSIX File (Old Version VSIX File)

    • Updated: October 5, 2022

    • Require: VS Code 1.43.0 and up

    • File Size: 596.88 KB (611210 Bytes)

    • MD5: 766b0fa130edfd15570fdeb572bff3bc

    • SHA1: 685fc81d86d22915fcb3b8ef93724b232ada8ae8

    • SHA256: 97461d64f337810380c1b22a19ce107e282c1db181cb7a446300aa385a0d9669

  8. Prusti Assistant v0.10.2 VSIX File (Old Version VSIX File)

    • Updated: February 18, 2022

    • Require: VS Code 1.43.0 and up

    • File Size: 583.19 KB (597187 Bytes)

    • MD5: 44e182df6ce9f1494426269244d05119

    • SHA1: 8bd94d6ab3a8707cf7aec37ed0a7003f40acdae0

    • SHA256: 7653641d61920b064db3975170535af4d1e4ac00be7cbb8c6776cdab566d6799

  9. Prusti Assistant v0.9.2 VSIX File (Old Version VSIX File)

    • Updated: February 17, 2022

    • Require: VS Code 1.43.0 and up

    • File Size: 583.04 KB (597037 Bytes)

    • MD5: 6e6efdef9c9d800ca77571f2771f8bb7

    • SHA1: 9577a90fe6f4e3987393bd0e5ea69e216888c7e3

    • SHA256: 50dec545cf21b5d42cd2b6c0145e29626fc8f0e35fb1866c4c5bb320f27c624b

  10. Prusti Assistant v0.9.1 VSIX File (Old Version VSIX File)

    • Updated: February 2, 2022

    • Require: VS Code 1.43.0 and up

    • File Size: 583.05 KB (597047 Bytes)

    • MD5: d5aed182e2313897b99afcc5d285703f

    • SHA1: 70b76bc4a703451187ac45bbb61b3e884ad51bad

    • SHA256: 492f53e59c35c1f1b895bf3774b57f3fbf59268bdb3f20343c50812f25574115

  11. Prusti Assistant v0.9.0 VSIX File (Old Version VSIX File)

    • Updated: December 3, 2021

    • Require: VS Code 1.43.0 and up

    • File Size: 582.34 KB (596315 Bytes)

    • MD5: 53154668f2dcedd8ddee87bcf9550bfc

    • SHA1: de9dc70e1890ac96cfdd60506407386565b5defa

    • SHA256: e95733e043e2acdf9de158f3324cbb0521efa8c7647fa1aac0f887b8f3726885

  12. Prusti Assistant v0.8.0 VSIX File (Old Version VSIX File)

    • Updated: November 23, 2021

    • Require: VS Code 1.43.0 and up

    • File Size: 464.45 KB (475594 Bytes)

    • MD5: 9552b168fa8c6bb96d47ee6b21fefb7c

    • SHA1: 08fc23fef7fc098ad1243d8587afb2dc23f90fb5

    • SHA256: 92e5e89c5e5bcfc3b67804d4c0cea9e5b9247cbc0b08c701263608e725b7ceb0

  13. Prusti Assistant v0.7.4 VSIX File (Old Version VSIX File)

    • Updated: October 1, 2021

    • Require: VS Code 1.43.0 and up

    • File Size: 464.41 KB (475560 Bytes)

    • MD5: b10029e4a9db94cc1d2999014f32ee8c

    • SHA1: 78ef682fc249f06d8f09856bc022eabde60df6c1

    • SHA256: 8833b3b9a523c0e95c18448965cd7a19e5e7711ae7ed8fdbba4e42d1e2e70fd3

  14. Prusti Assistant v0.7.3 VSIX File (Old Version VSIX File)

    • Updated: September 24, 2021

    • Require: VS Code 1.43.0 and up

    • File Size: 463.81 KB (474945 Bytes)

    • MD5: c879844d9e48208b64933d3838cff3c0

    • SHA1: 0b16c22e9d8d43704c25d14f7cb1bd08f4c6ed4f

    • SHA256: f3f7e131700b928e71a9db38aef00bf1855a631ffc9257905a4fbb77e5714545

  15. Prusti Assistant v0.7.1 VSIX File (Old Version VSIX File)

    • Updated: September 22, 2021

    • Require: VS Code 1.43.0 and up

    • File Size: 463.52 KB (474643 Bytes)

    • MD5: 04af6c5cb35783a7ba06a5290fb8c84b

    • SHA1: 5c578731107a225e0f9176d50404d132774ebb45

    • SHA256: 2994c46944bbfa3013d5683c2ba165cff475bea0eaf932d3e8241ceeccb02307

More Extension to Consider (Similar or Related)