Total downloads
8,623
viper-admin.prusti-assistant
Prusti Assistant
7d gain
66
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.13.0
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- viper-admin
- Name
- prusti-assistant
- License
- MIT
- Homepage
- https://github.com/viperproject/prusti-assistant
- Repository
- https://github.com/viperproject/prusti-assistant.git
- Reviews
- 0
Taxonomy
Categories
Description
Verify Rust programs with the Prusti verifier.
Archive
Release history
- 0.13.0 2026-01-27
- 0.12.7 2024-02-26
- 0.12.6 2024-02-01
- 0.12.5 2023-11-08
- 0.12.4 2023-09-01
- 0.12.3 2023-08-10
- 0.12.2 2023-08-09
- 0.12.1 2023-08-09
- 0.11.2 2022-10-19
- 0.11.1 2022-10-05
- 0.11.0 2022-10-05
- 0.10.2 2022-02-18
- 0.10.1 2022-02-18
- 0.10.0 2022-02-18
- 0.9.2 2022-02-17
- 0.9.1 2022-02-02
- 0.9.0 2021-12-02
- 0.8.0 2021-11-23
- 0.7.4 2021-10-01
- 0.7.3 2021-09-24
- 0.7.2 2021-09-23
- 0.7.1 2021-09-22
- 0.7.0 2021-09-22
- 0.6.1 2021-04-19
- 0.6.0 2021-03-05