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
10,545
Since yesterday
+58
Current version
v5.4.1
Days tracked
125
Download history
Version history
v5.4.1 from v5.3.2
Detected 2026-09-08 02:00 UTC
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-10-30 02:00:00 | 10,545 | v5.4.1 |
| 2026-10-29 02:00:00 | 10,487 | v5.4.1 |
| 2026-10-28 02:00:00 | 10,443 | v5.4.1 |
| 2026-10-27 02:00:00 | 10,369 | v5.4.1 |
| 2026-10-26 02:00:00 | 10,347 | v5.4.1 |
| 2026-10-25 02:00:00 | 10,323 | v5.4.1 |
| 2026-10-24 02:00:00 | 10,273 | v5.4.1 |
| 2026-10-23 02:00:00 | 10,255 | v5.4.1 |
| 2026-10-22 02:00:00 | 10,229 | v5.4.1 |
| 2026-10-21 02:00:00 | 10,189 | v5.4.1 |
| 2026-10-20 02:00:00 | 10,131 | v5.4.1 |
| 2026-10-19 02:00:00 | 10,099 | v5.4.1 |
| 2026-10-18 02:00:00 | 10,045 | v5.4.1 |
| 2026-10-17 02:00:00 | 10,015 | v5.4.1 |
| 2026-10-16 02:00:00 | 9,987 | v5.4.1 |
| 2026-10-15 02:00:00 | 9,907 | v5.4.1 |
| 2026-10-14 02:00:00 | 9,757 | v5.4.1 |
| 2026-10-13 02:00:00 | 9,611 | v5.4.1 |
| 2026-10-12 02:00:00 | 9,523 | v5.4.1 |
| 2026-10-11 02:00:00 | 9,499 | v5.4.1 |
| 2026-10-10 02:00:00 | 9,457 | v5.4.1 |
| 2026-10-09 02:00:00 | 9,435 | v5.4.1 |
| 2026-10-08 02:00:00 | 9,411 | v5.4.1 |
| 2026-10-07 02:00:00 | 9,391 | v5.4.1 |
| 2026-10-06 02:00:00 | 9,339 | v5.4.1 |
| 2026-10-05 02:00:00 | 9,307 | v5.4.1 |
| 2026-10-04 02:00:00 | 9,273 | v5.4.1 |
| 2026-10-03 02:00:00 | 9,219 | v5.4.1 |
| 2026-10-02 02:00:00 | 9,199 | v5.4.1 |
| 2026-10-01 02:00:00 | 9,177 | v5.4.1 |
| 2026-09-30 02:00:00 | 9,143 | v5.4.1 |
| 2026-09-29 02:00:00 | 9,121 | v5.4.1 |
| 2026-09-28 02:00:00 | 9,073 | v5.4.1 |
| 2026-09-27 02:00:00 | 9,049 | v5.4.1 |
| 2026-09-26 02:00:00 | 9,007 | v5.4.1 |
| 2026-09-25 02:00:00 | 8,915 | v5.4.1 |
| 2026-09-24 02:00:00 | 8,769 | v5.4.1 |
| 2026-09-23 02:00:00 | 8,675 | v5.4.1 |
| 2026-09-22 02:00:00 | 8,653 | v5.4.1 |
| 2026-09-21 02:00:00 | 8,643 | v5.4.1 |
| 2026-09-20 02:00:00 | 8,617 | v5.4.1 |
| 2026-09-19 02:00:00 | 8,579 | v5.4.1 |
| 2026-09-18 02:00:00 | 8,553 | v5.4.1 |
| 2026-09-17 02:00:00 | 8,511 | v5.4.1 |
| 2026-09-16 02:00:00 | 8,423 | v5.4.1 |
| 2026-09-15 11:36:37 | 8,403 | v5.4.1 |
| 2026-09-14 02:00:00 | 8,281 | v5.4.1 |
| 2026-09-13 02:00:00 | 8,267 | v5.4.1 |
| 2026-09-12 06:52:15 | 8,249 | v5.4.1 |
| 2026-09-11 02:00:00 | 8,237 | v5.4.1 |
| 2026-09-10 02:00:00 | 8,215 | v5.4.1 |
| 2026-09-09 02:00:00 | 8,185 | v5.4.1 |
| 2026-09-08 02:00:00 | 8,056 | v5.4.1 |
| 2026-09-07 02:00:00 | 7,763 | v5.3.2 |
| 2026-09-06 02:00:00 | 7,755 | v5.3.2 |
| 2026-09-05 02:00:00 | 7,751 | v5.3.2 |
| 2026-09-04 02:00:00 | 7,747 | v5.3.2 |
| 2026-09-03 02:00:00 | 7,745 | v5.3.2 |
| 2026-09-02 02:00:00 | 7,743 | v5.3.2 |
| 2026-09-01 02:00:00 | 7,727 | v5.3.2 |
| 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 |