This Visual Studio Code extension provides interactive IDE features for verifying programs in Viper (Verification Infrastructure for Permission-based Reasoning).
The extension automatically downloads and (if you give permission) installs them under the defauls directory /usr/local/Viper; please always refer to the official installation instructiuons for more details (in particular, about defferent operation system support).
If you would like to learn more about Viper, please start with our extensive tutorial.
Download the dependencies here: http://viper.ethz.ch/downloads/