Installing and Running VerCors

The installation and running instructions can be found on the Github homepage of this project.

Alternatively, you can also try VerCors online before installing. Most code blocks from this tutorial are also verifiable from the browser.

Syntax highlighting

The easiest way to get syntax high lighting for both PVL and for annotations in languages like C, Java, CUDA and OpenCL is using the VerCors IDE for VSCode.

Alternatively, we provide syntax highlighting via a TextMate bundle or vim plugin in the util/editors directory. A lot of editors have support for importing a TextMate bundle to use as highlighter, such as this extension for VSCode.

[!Caution] The TextMate bundle is a bit outdated, we recommend using the VerCors IDE for VSCode.