Skip to content

This is the main repository for the Viper IDE extension for VS Code.

License

Notifications You must be signed in to change notification settings

viperproject/viper-ide

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Test Status License: MPL 2.0

This VS Code extension provides interactive IDE features for Viper — the Verification Infrastructure for Permission-based Reasoning.

Dependencies

The extension automatically downloads and manages Viper (via publicly available links, as listed here: http://viper.ethz.ch/downloads/).

Viper IDE uses an open-source 64-bit Java server, so you need Java (version 11 or newer) installed to be able to run it.

Please always refer to the official installation instructions for more details (in particular, about different operating system support).

Using Viper

If you would like to learn more about Viper, please start with our extensive tutorial.