The kind2 executable bundled with this extension is statically linked against the ZeroMQ messaging library and does not require it to be installed in the system. Dynamically linked kind2 executables, however, do require the library to be installed in the system.
Note: This extension only works with the latest nightly releases of kind2 and does not support any current stable release.
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:
Windows 10 version 2004+ and Windows 11: Run wsl --install in PowerShell or Windows Command Prompt and restart your machine.
Windows 10 version 1903+: follow the manual steps in this page.
Follow the instructions on this page to finish setting up your WSL2 Linux enviornment.
Click on the green rectangle in the bottom-left corner of the VS Code window. A prompt will appear on the top. click on new WSL window.
Press Ctrl+Shift+` to open a Linux terminal on the new VS Code window. Use the terminal to install the Java run-time and the ZeroMQ messaging library (follow the instructions in the above section for your Linux distribution).
In the same VS Code window, go to the extension view in the activity bar to the left and lookup the Kind 2 extension. Click Install in WSL: <distro name>.
Refer to this page to learn more about using WSL with VS Code.
Syntax highlighting for Lustre and Kind 2 constructs.
Document symbol outline.
Syntax and type error reports.
Counter-examples for falsified properties.
Raw output of calling Kind 2 through the terminal.