The Gillian Platform - VSCode extension

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