NuSMV Editing Support

Release Notes

0.0.1 Alpha

Initial release of NuSMV VSCode Plugin

• Support for .smv filetypes
• Syntax highlight
• Semantic Support (Updated on save action)

Next release:

• Run configurations
• Semantic check trigger on text change rather than save.

Notes

This extension uses the Xtext integration for VS Code based on the Microsoft Language Server Protocol.