Back to leaderboard 
ProVerif Language
ProVerif.vscode-proverif
Language support for ProVerif
.test.pv__ext_pcv__ext_pv__ext_pvl__ext_pvlog__ext_testpvProVerifProVerif LogProVerif Test Definitionpvpv.logtest.pv
Open VSX
Total downloads
8,284
Since yesterday
+28
Current version
v1.8.17
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 8,284 | v1.8.17 |
| 2026-07-02 02:00:00 | 8,256 | v1.8.17 |
| 2026-07-01 02:00:00 | 8,238 | v1.8.17 |
| 2026-06-30 02:00:00 | 8,228 | v1.8.17 |
| 2026-06-29 14:14:45 | 8,222 | v1.8.17 |
| 2026-06-28 07:06:24 | 8,212 | v1.8.17 |