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 Requirements
Linux /usr/local/Viper/

JRE 8 x64

Mono JIT compiler*

macOS /usr/local/Viper/

JRE 8 x64

Mono JIT compiler*

Windows C:\Program Files (x86)\Viper\ JRE 8 x64

* Mono JIT compiler is only required for the Carbon verification backend. 

Contact

 
 
Page URL: http://www.pm.inf.ethz.ch/research/viper/downloads.html
Fri Jun 23 12:24:00 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich