Prover StudioThis Visual Studio Code extension provides support for using PiSPEC, LCF, HLL and sHLL languages. It is developed by Prover. Features
RequirementsTo 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 workspaceThe 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 SettingsYou 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 IssuesNo known issues, but see Release notes. |