ZOYKUHot Board
MistrzowieZrywFalaŚwieżakiWznoszenieCiemne konieNiedocenianeTarcieForkiPrzełomy
GitHub Hot/viperproject/silver/Dokumentacja
Powrót do wskaźnikówŹródło GitHub

viperproject/silverDokumentacja

Definition of the Viper intermediate verification language.

Spis treści (2 sekcji)▾
Quick StartSyntax Highlighting
Uwaga dotycząca języka:Brak zlokalizowanej dokumentacji. Wyświetlana jest oficjalna wersja oryginalna w języku angielskim.
Szybka instalacja
git clone https://github.com/viperproject/silver.git

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.

Syntax Highlighting

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

Kopia dokumentacji z oficjalnego repozytorium GitHub · Zobacz na GitHubie
Data migawki: 2026-11-07