Promela for VS Code
This Visual Studio Code extension provides syntax highlighting for the Promela language. Files ending with
Using The Debug
And then, you can now step through a ramdom spin simulation to promela files.
Clone this package and open it in VS Code. Press F5 to start an instance of VS Code running your modified extension.