Kind 2 Extension for VS Code
This extension provides basic support for the Lustre programming language with Kind 2 Model Checker annotations.
Linux and MacOS
Note: This extension only works with versions 1.5.1 and above of
Windows is only supported through WSL2 (Windows 10 version 1903+ or Windows 11). WSL1 is not supported. Follow these steps to run the extension on WSL2:
The extension supports modular and compositional analysis modes of Kind 2. Those modes are disabled by default. Follow the steps below to enable them (and other Kind 2 configurations):
You can also enable/disable modular and compositional analysis modes from Kind's view. Click on their icons to enable them.