https://github.com/viperproject/viper-ide

This is the main repository for the Viper IDE extension for VS Code.
https://github.com/viperproject/viper-ide

verification viper vscode-extension

Last synced: 11 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/viperproject/viper-ide
• Owner: viperproject
• License: mpl-2.0
• Created: 2020-03-25T13:10:54.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2025-10-01T07:05:40.000Z (18 days ago)
• Last Synced: 2025-10-01T09:06:40.814Z (18 days ago)
• Topics: verification, viper, vscode-extension
• Language: TypeScript
• Homepage:
• Size: 17.8 MB
• Stars: 12
• Watchers: 3
• Forks: 11
• Open Issues: 24
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt
  • Citation: CITATION.cff

Awesome Lists containing this project

README

          
[![Test Status](https://github.com/viperproject/viper-ide/actions/workflows/test.yml/badge.svg?branch=master)](https://github.com/viperproject/viper-ide/actions?query=workflow%3Atest+branch%3Amaster)

[![License: MPL 2.0](https://img.shields.io/badge/License-MPL%202.0-brightgreen.svg)](./LICENSE)

This VS Code extension provides interactive IDE features for [Viper](http://viper.ethz.ch) — 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](https://github.com/viperproject/viperserver), so you need Java (version 11 or newer) installed to be able to run it. 

Please **always** refer to the official [installation instructions](http://viper.ethz.ch/downloads) 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](http://viper.ethz.ch/tutorial/).