viperproject Goto Github PK

.github

2vyper

A static verifer for Ethereum Smart Contracts written in Vyper

arp-plugin

Plugin for Silver implementing Abstract Read Permissions.

arp-plugin-test

axiom-profiler

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

axiom-profiler-2

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

axiom-profiler-test-logs

bitbucket-issue-migration

Scripts for the migration from Bitbucket to GitHub.

boogie-builder

A GitHub action that builds Boogie.

carbon

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

chalice2silver

check-license-header

GitHub action to check whether all files have a specified copyright license header

code-server-hub

Multi-user server for Code-Server

commutativity-plugin-test

create-nightly-release

GitHub action to create a new pre-release and delete old pre-releases created by this action

dockerspawner

Spawns Code-Server single user servers in Docker containers

documentation

examples

A repository of Viper examples.

examples-verification

This repository contains the structure required for the Jenkins jobs "Examples Verification" to work.

fast-export

A mercurial to git converter using git-fast-import

gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

gobra-action

Github Action to verify Go code with Gobra directly in a CI workflow

gobra-ide

VSCode Plugin for Gobra

gobra-libs

Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.

gobra-mode

Support for Gobra in emacs

gorac

homebrew-viper

Homebrew tap for Viper.

hyperviper

jni-gen

Generate Rust wrappers for Java/Scala

lizard

Lizard is the visual verification debugger for Viper IDE