Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>SE Modeling LanguagesNew to Visual Studio Code? Get it now.
SE Modeling Languages

SE Modeling Languages

Joao Matos

|
1 install
| (0) | Free
A pair of linters and syntax highlighters for symbolic execution modeling languages: CSml and MCml.
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

SE Modeling Languages Linting and Syntax Highlighting

License: MIT

This Visual Studio Code extension provides syntax highlighting for the CSml and MCml symbolic execution DSLs. To use it, open a .csml or .mcml file and enjoy enhanced highlighting.

Will default to the most recent python installation found when being used and depends on lark (pip install lark).

Installation

Run vsce package on this folder, then:

code --install-extension <generated-file>

Requires npm, and vsce (npm install -g vsce) to build.

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft