VSCode ProVerif Language Service
![Available on the Open VSX marketplace](https://img.shields.io/open-vsx/v/ProVerif/vscode-proverif)
Visual Studio Code extension for ProVerif files (.pv, .pvl, .pcv).
![Screenshot showing how the extension shows errors from ProVerif](https://github.com/ProVerif/vscode-proverif-language-service/raw/HEAD/docs/sample.png)
Functionality:
- Adds semantic syntax highlighting.
- Highlights the first syntax error. For libraries, see below.
- Hover over an identifier to learn more about it.
- Press
CTRL and click on an identifier to navigate to its definition or find all references of the definition.
- Press
F2 to rename an identifier.
- Press
CTRL +SHIFT +Space to show signature help (automatically shown when typing ( ).
- Press
CTRL +SHIFT +B to execute ProVerif over the currently opened file.
Settings:
Proverif Path : Custom path to the proverif binary (else taken from $PATH ).
Parent Folder Discovery Limit : Parent folders to read until discovery stops (e.g. to find references).
Libraries (.pvl)
If your .pv or .pvl file depends on libraries, include a corresponding comment (* -lib {library_path}.pvl *) :
(* -lib types.pvl *)
fun senc(bitstring, key): bitstring.
reduc forall m: bitstring, k: key; sdec(senc(m,k),k) = m.
| |