Silver

Silver is the intermediate verification language of the Viper project by Programming Methodology Group at the Department of Computer Science, ETH Zurich.

Quick Start

Instructions for how to get started with Viper can be found here.

Files for LaTeX and various editors can be found under silver/util/highlighting directory.

Name		Name	Last commit message	Last commit date
Latest commit History 5,010 Commits
.github/workflows		.github/workflows
.metals		.metals
.vscode		.vscode
documentation		documentation
project		project
src		src
util		util
.gitignore		.gitignore
LICENSE.txt		LICENSE.txt
README.rst		README.rst
ReleaseNotes.md		ReleaseNotes.md
build.sbt		build.sbt
testResults.txt		testResults.txt