VSCode Extension

The Lilo Language Extension for VSCode provides

• Syntax Highlighting, Typechecking and Autocompletion for .lilo files
• Satisfiability and Redundancy checking for specifications
• Support for visualizing monitoring results in Python notebooks

Installation

The SpecForge VSCode extension can be installed in two ways:

From the VSCode Marketplace

Install the extension directly from the Visual Studio Marketplace or search for "SpecForge" in VSCode's extensions tab (Ctrl+Shift+X or Cmd+Shift+X).

From VSIX File

Alternatively, you can install from a VSIX file (included in releases):

• Open VSCode's extensions tab (Ctrl+Shift+X or Cmd+Shift+X), click on the three dots at the top right, and select Install from VSIX...
• Open VSCode's command palette (Ctrl+Shift+P or Cmd+Shift+P), type Extensions: Install from VSIX..., and select the .vsix file

Important: Ensure the extension version matches your SpecForge server version. Version mismatches may cause compatibility issues.

Usage and Configuration

• For the extension to work, the SpecForge server must be running (see Setting up SpecForge).
• The URI corresponding to the server can be configured if necessary using the extension settings. Do not add a trailing slash at the end of this URL.

Once the extension is installed and the server is running, it should automatically be working on .lilo files, and in relevant Python notebooks.