Back to leaderboard 
Viper
viper-admin.viper
This extension provides interactive IDE features for verifying programs in Viper (Verification Infrastructure for Permission-based Reasoning).
__ext_log__ext_sil__ext_vprautomatic deductionformal methodskeybindingslogseparation logicsnippetspecificationverificationviperProgramming LanguagesEducationThemesSnippets
Open VSX
Total downloads
7,709
Since yesterday
+2
Current version
v5.3.2
Days tracked
65
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-08-31 02:00:00 | 7,709 | v5.3.2 |
| 2026-08-30 02:00:00 | 7,707 | v5.3.2 |
| 2026-08-29 02:00:00 | 7,701 | v5.3.2 |
| 2026-08-28 02:00:00 | 7,697 | v5.3.2 |
| 2026-08-27 02:00:00 | 7,685 | v5.3.2 |
| 2026-08-26 02:00:00 | 7,655 | v5.3.2 |
| 2026-08-25 02:00:00 | 7,651 | v5.3.2 |
| 2026-08-24 02:00:00 | 7,649 | v5.3.2 |
| 2026-08-23 02:00:00 | 7,645 | v5.3.2 |
| 2026-08-22 02:00:00 | 7,637 | v5.3.2 |
| 2026-08-21 02:00:00 | 7,635 | v5.3.2 |
| 2026-08-20 02:00:00 | 7,633 | v5.3.2 |
| 2026-08-19 02:00:00 | 7,631 | v5.3.2 |
| 2026-08-18 02:00:00 | 7,629 | v5.3.2 |
| 2026-08-17 02:00:00 | 7,627 | v5.3.2 |
| 2026-08-16 02:00:00 | 7,625 | v5.3.2 |
| 2026-08-15 02:00:00 | 7,621 | v5.3.2 |
| 2026-08-14 02:00:00 | 7,609 | v5.3.2 |
| 2026-08-13 02:00:00 | 7,603 | v5.3.2 |
| 2026-08-12 02:00:00 | 7,601 | v5.3.2 |
| 2026-08-11 02:00:00 | 7,599 | v5.3.2 |
| 2026-08-10 02:00:00 | 7,597 | v5.3.2 |
| 2026-08-09 02:00:00 | 7,595 | v5.3.2 |
| 2026-08-08 02:00:00 | 7,591 | v5.3.2 |
| 2026-08-07 02:00:00 | 7,589 | v5.3.2 |
| 2026-08-06 02:00:00 | 7,583 | v5.3.2 |
| 2026-08-05 02:00:00 | 7,575 | v5.3.2 |
| 2026-08-04 02:00:00 | 7,573 | v5.3.2 |
| 2026-08-03 02:00:00 | 7,569 | v5.3.2 |
| 2026-08-02 02:00:00 | 7,561 | v5.3.2 |
| 2026-08-01 02:00:00 | 7,555 | v5.3.2 |
| 2026-07-31 02:00:00 | 7,551 | v5.3.2 |
| 2026-07-30 02:00:00 | 7,547 | v5.3.2 |
| 2026-07-29 06:50:17 | 7,543 | v5.3.2 |
| 2026-07-28 02:00:00 | 7,539 | v5.3.2 |
| 2026-07-27 02:00:00 | 7,531 | v5.3.2 |
| 2026-07-26 02:00:00 | 7,525 | v5.3.2 |
| 2026-07-25 02:00:00 | 7,515 | v5.3.2 |
| 2026-07-24 02:00:00 | 7,501 | v5.3.2 |
| 2026-07-23 02:00:00 | 7,495 | v5.3.2 |
| 2026-07-22 02:00:00 | 7,487 | v5.3.2 |
| 2026-07-21 02:00:00 | 7,451 | v5.3.2 |
| 2026-07-20 02:00:00 | 7,431 | v5.3.2 |
| 2026-07-19 02:00:00 | 7,423 | v5.3.2 |
| 2026-07-18 02:00:00 | 7,411 | v5.3.2 |
| 2026-07-17 02:00:00 | 7,391 | v5.3.2 |
| 2026-07-16 02:00:00 | 7,389 | v5.3.2 |
| 2026-07-15 02:00:00 | 7,277 | v5.3.2 |
| 2026-07-14 02:00:00 | 7,107 | v5.3.2 |
| 2026-07-13 02:00:00 | 7,105 | v5.3.2 |
| 2026-07-12 02:00:00 | 7,099 | v5.3.2 |
| 2026-07-11 02:00:00 | 7,093 | v5.3.2 |
| 2026-07-10 02:00:00 | 7,089 | v5.3.2 |
| 2026-07-09 05:29:22 | 7,081 | v5.3.2 |
| 2026-07-08 02:00:00 | 7,073 | v5.3.2 |
| 2026-07-07 02:00:00 | 7,069 | v5.3.2 |
| 2026-07-06 02:00:00 | 7,065 | v5.3.2 |
| 2026-07-05 02:00:00 | 7,059 | v5.3.2 |
| 2026-07-04 02:00:00 | 7,057 | v5.3.2 |
| 2026-07-03 08:30:39 | 7,055 | v5.3.2 |
| 2026-07-02 02:00:00 | 6,999 | v5.3.2 |
| 2026-07-01 02:00:00 | 6,995 | v5.3.2 |
| 2026-06-30 02:00:00 | 6,987 | v5.3.2 |
| 2026-06-29 14:14:45 | 6,987 | v5.3.2 |
| 2026-06-28 07:06:24 | 6,981 | v5.3.2 |