Download Viper

Main content

The easiest way to get Viper is via the Viper IDE. 

The Viper IDE is based on Microsoft Visual Studio Code. After installing VS Code, open the extensions browser (⇧+Ctrl+X or ⇧+⌘+X). Search for "Viper". Install the extension, and agree to restart VS Code. 

The IDE will be activated once a .vpr file is opened in VS Code. The dependencies (~100 MB) will be automatically downloaded and installed in your system. Note that the installation requires administrative privileges. 

Platform Installation Location
Linux /usr/local/Viper/
macOS /usr/local/Viper/
Windows C:\Program Files (x86)\Viper\

Contact

 
 
Page URL: http://www.pm.inf.ethz.ch/research/viper/downloads.html
Thu Apr 27 20:46:28 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich