The official VSCode extension for The Gillian Platform
This extension provides:
- Debugger support for Gillian
- Language server support for Gillian
- Syntax highlighting for GIL, JSIL & WISL
This repository contains:
./extension: the VSCode extension./debug-ui: the web app used for the extension's debugging UI./examples: some example programs to try the extension on
To try out the extension, set up the project with:
npm iThen, go to the "Run and Debug" sidebar and click the play button with "Run Extension" selected.
This assumes that you have the Gillian source code in the sibling directory ../Gillian; if not, adjust gillian.sourceDirectory in examples/.vscode/settings.json.