Viper Project

Repositories

• lizard

  Lizard is the visual verification debugger for Viper IDE

  verification viper
  TypeScript 0 1 0 0 Updated Jul 15, 2021

• viper-ide

  This is the main repository for the Viper IDE extension for VS Code.
  TypeScript MPL-2.0 2 3 36 2 Updated Jul 15, 2021

• carbon

  Verification-condition-generation-based verifier for the Viper intermediate verification language.

  verification viper verification-condition-generation
  Scala MPL-2.0 7 7 128 4 Updated Jul 15, 2021

• viperserver

  HTTP server that manages verification requests to different tools from the Viper tool stack.

  verification viper
  Scala 5 6 3 1 Updated Jul 15, 2021

• prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  rust verification viper prusti
  Rust 41 378 89 (1 issue needs help) 22 Updated Jul 15, 2021

• gobra

  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
  Scala 6 20 62 10 Updated Jul 15, 2021

• silver

  Definition of the Viper intermediate verification language.

  programming-language verification viper
  Scala MPL-2.0 15 20 85 8 Updated Jul 15, 2021

• code-server-hub

  Forked from jupyterhub/jupyterhub

  Multi-user server for Code-Server
  Python 1,597 1 0 0 Updated Jul 15, 2021

• dockerspawner

  Forked from jupyterhub/dockerspawner

  Spawns Code-Server single user servers in Docker containers
  Python BSD-3-Clause 273 1 0 0 Updated Jul 15, 2021

• gobra-ide

  VSCode Plugin for Gobra
  Scala 1 4 5 1 Updated Jul 15, 2021

• prusti-assistant

  VS Code extension to verify Rust programs with the Prusti verifier.

  rust verification vscode-extension diagnostics prusti
  TypeScript MIT 4 12 6 (2 issues need help) 6 Updated Jul 15, 2021

• silicon

  Symbolic-execution-based verifier for the Viper intermediate verification language.

  verification symbolic-execution viper
  Scala MPL-2.0 11 19 102 4 Updated Jul 14, 2021

• check-license-header

  GitHub action to check whether all files have a specified copyright license header
  TypeScript 0 0 0 5 Updated Jul 14, 2021

• 2vyper

  A static verifer for Ethereum Smart Contracts written in Vyper
  Python MPL-2.0 1 14 5 0 Updated Jun 29, 2021

• axiom-profiler

  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  C# 2 8 14 2 Updated Jun 21, 2021

• create-nightly-release

  GitHub action to create a new pre-release and delete old pre-releases created by this action
  TypeScript 0 1 0 0 Updated Jun 15, 2021

• locate-java-home

  Forked from jvilk/locate-java-home

  Locates JAVA_HOME on any platform, and can differentiate between different versions.
  TypeScript 6 0 0 0 Updated Jun 15, 2021

• vs-verification-toolbox

  Useful component to build VS Code extensions for verifiers.
  TypeScript MPL-2.0 2 2 0 1 Updated Jun 12, 2021

• silver-sif-extension

  Extension of the Viper language with modular product programs and information flow specifications
  Scala MPL-2.0 0 0 0 0 Updated May 28, 2021

• bitbucket-issue-migration

  Scripts for the migration from Bitbucket to GitHub.
  Python 4 11 2 0 Updated May 18, 2021

• silicon-sif-extension

  Extension of Silicon for product programs, in particular product program counterexample transformation
  Scala MPL-2.0 0 0 0 0 Updated Apr 28, 2021

• viper-ide-deps

  This is the template repository for binary dependencies for Viper IDE. Created for automating the ViperTools package creation via Jenkins. Related: https://github.com/viperproject/viper-ide
  0 0 0 0 Updated Apr 12, 2021

• gorac
  Go 0 2 1 0 Updated Jan 9, 2021

• viper_client
  Python 0 3 0 0 Updated Dec 11, 2020

• examples-verification

  This repository contains the structure required for the Jenkins jobs "Examples Verification" to work.
  Scala 0 0 0 0 Updated Dec 10, 2020

• rust-pcs
  Rust MPL-2.0 0 0 0 0 Updated Nov 9, 2020

• vs-verification-toolbox-release-testing

  Repository with some releases to test vs-verification-toolbox
  CC0-1.0 0 0 0 0 Updated Oct 8, 2020

• rust-life

  Simple explanations for some complex Rust lifetime errors.

  rust vscode-extension lifetimes
  Rust MPL-2.0 0 1 0 0 Updated Sep 9, 2020

• examples

  A repository of Viper examples.
  0 0 0 0 Updated Jun 10, 2020

• sample
  Scala 0 0 19 2 Updated Jun 5, 2020