Prover Studio

This Visual Studio Code extension provides support for using PiSPEC, LCF, HLL and sHLL languages. It is developed by Prover.

Features

• Syntax highlighting of PiSPEC, LCF, HLL and sHLL files
• Reports syntax errors
• Reports semantic errors (such as references to unknown functions) (only for PiSPEC and LCF)
• Provides "Go to definition", "Find references", and document outlines.
• Adds a "Make package bundle" command for creating a package bundle (.pipkgs file) out of the packages in the workspace and their dependencies. Access it via the command palette (Ctrl+Shift+P).

Requirements

To use the Windows version of this extension, you need .NET framework 4.7.2 or later installed on your machine. The Linux version currently does not provide the features for PiSPEC and LCF except syntax highlighting.

Setting up your workspace

The following doesn't apply if you are using HLL and/or sHLL only.

Prover Studio will look through your workspace for any package directories (directories containing a "package.xml" file) and project directories (directories containing ".isy" files). Make sure to add these folders to your workspace to make Prover Studio recognize them.

For project directories, only files in the "config" directory will be considered by the extension. Files outside the "config" directory are not picked up (unless explicitly opened in VS code).

Extension Settings

You can configure regular expressions to use for filtering warnings produced by Prover Studio. If used, we recommend configuring these filters on the workspace level. Go to "Settings" in Visual Studio code, select the "Workspace" tab, and search for "Prover Studio" to list all available settings.

Known Issues

No known issues, but see Release notes.