Total downloads
8,022
ProVerif.vscode-proverif
ProVerif Language
7d gain
74
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
1.8.17
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- ProVerif
- Name
- vscode-proverif
- License
- MIT
- Homepage
- https://github.com/ProVerif/vscode-proverif-language-service#readme
- Repository
- https://github.com/ProVerif/vscode-proverif-language-service.git
- Reviews
- 0
Taxonomy
Categories
No categories declared.
Description
Language support for ProVerif
Archive
Release history
- 1.8.17 2026-05-22
- 1.8.16 2026-05-22
- 1.8.14 2026-01-31
- 1.8.13 2025-08-05
- 1.8.12 2025-07-22
- 1.8.11 2025-06-15
- 1.8.10 2025-05-18
- 1.8.9 2025-05-01
- 1.8.8 2025-04-09
- 1.8.7 2025-02-27
- 1.8.6 2025-02-17
- 1.8.5 2025-02-04
- 1.8.4 2025-01-28
- 1.8.3 2025-01-18
- 1.8.2 2025-01-08
- 1.8.1 2024-12-01
- 1.8.0 2024-11-29
- 1.7.1 2024-11-17
- 1.6.4 2024-04-06
- 1.6.3 2024-03-13
- 1.6.2 2024-03-07
- 1.6.1 2024-03-03
- 1.6.0 2024-03-03
- 1.5.0 2024-02-19
- 1.4.0 2024-02-12