Promela for VS Code

This Visual Studio Code extension provides syntax highlighting for the Promela language. Files ending with .pml or .promela will be automatically handled.

Using The Debug

• Switch to the debug viewlet and press the gear dropdown.
• Select the debug environment "Promela Debug".
• Press the green 'play' button to start debugging.

And then, you can now step through a ramdom spin simulation to promela files.

License

MIT

Developement

Clone this package and open it in VS Code. Press F5 to start an instance of VS Code running your modified extension.

Note that the file syntaxes/promela.tmLanguage were originally derived from the Sublime Text 3 package which is released under the MIT license.