viper-admin.viper

Viper

Total downloads

6,907

7d gain

40

Rolling weekly delta

Rating

5.00 / 5

1 review

Version

5.3.2

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: viper-admin
Name: viper
License: SEE LICENSE IN LICENSE.txt
Homepage: https://github.com/viperproject/viper-ide#readme
Repository: https://github.com/viperproject/viper-ide.git
Reviews: 1

Taxonomy

Categories

Programming Languages Education Themes Snippets

Description

This extension provides interactive IDE features for verifying programs in Viper (Verification Infrastructure for Permission-based Reasoning).

Archive

Release history

15 latest releases