Pinned Repositories
2vyper
A static verifer for Ethereum Smart Contracts written in Vyper
axiom-profiler
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
bitbucket-issue-migration
Scripts for the migration from Bitbucket to GitHub.
carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
Viper Project's Repositories
viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
viperproject/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
viperproject/silver
Definition of the Viper intermediate verification language.
viperproject/axiom-profiler
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
viperproject/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
viperproject/prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
viperproject/axiom-profiler-2
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
viperproject/create-nightly-release
GitHub action to create a new pre-release and delete old pre-releases created by this action
viperproject/VerifiedSCION
Verifying the SCION architecture using Gobra
viperproject/viper-ide
This is the main repository for the Viper IDE extension for VS Code.
viperproject/viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
viperproject/gobra-ide
VSCode Plugin for Gobra
viperproject/mendel-verifier
Capability-based verifier for safe Rust clients of interior mutability
viperproject/foundational-boogie
viperproject/vs-verification-toolbox
Useful component to build VS Code extensions for verifiers.
viperproject/boogie-proofgen
viperproject/locate-java-home
Locates JAVA_HOME on any platform, and can differentiate between different versions.
viperproject/gobra-action
Github Action to verify Go code with Gobra directly in a CI workflow
viperproject/gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
viperproject/vpr-mode
Viper mode for emacs
viperproject/gobra-book
viperproject/gobra-mode
Support for Gobra in emacs
viperproject/silver-oxide
A Rust parser for Viper
viperproject/silver-sif-extension
Extension of the Viper language with modular product programs and information flow specifications
viperproject/tutorial
This repo contains the sources of the official Viper tutorial (http://viper.ethz.ch/tutorial). Feel free to submit your fixes and additions via pull requests. Please report technical issues via the issue tracker.
viperproject/carbon-proofgen
viperproject/pcg
viperproject/viper-libs
Standard library for Viper
viperproject/viper-roots