VDM++ IDE for Visual Studio Code

Smart linting and syntax highlighting(rough) for VDM++ in VSCode using the VDM++ language server.

To use, open a VDM++ file(*.vdmpp). The language server will then automatically launch in the background.

Features

• Linting
• Syntax Highlighting(Rough)

Future Works

• [x] Linting
• [x] Syntax Highlighting(rough)
• [ ] Syntax Highlighting(detail)
• [ ] Formatting
• [ ] Document symbols
• [ ] Go-to-definition
• [ ] Code completion
• [ ] Hover
• [ ] Find references

Linting

Lint the VDM++ file.

Syntax Highlighting

Syntax highlight the VDM++ file.(using VDMJ)

Development

For the Developper.

Packageing

vsce package