vscode-ddlog

Visual Studio Code client for the DDlog language server

Status

The client extension is still in an early state. It is usable but many advanced features have not yet been implemented. The syntax highlighting is also incomplete.

Usage

The client extension has not yet had a stable release. You can build and install it locally if you would like to experiment with it in the meantime.

Installing the Client Extension

First ensure that you have the node toolchain installed, then proceed as follows:

git clone https://github.com/ddlog-lsp/vscode-ddlog
cd vscode-ddlog
npm i -g vsce
npm ci
vsce package

This will produce a vscode-ddlog-<version>.vsix file in the project root.

Next, open Code and show the command palette (CTRL+SHIFT+P or CMD+SHIFT+P) and type install, then select Extensions: Install from VSIX... from the list. Point the file selector to the previously generated vscode-ddlog-<version>.vsix. Finally, hit the reload button when prompted.