UCLID5 Language: Syntax Highlighting

Syntax highlighting and snippets for the UCLID5 modeling and verification language.

This extension is intentionally lightweight: it only provides a TextMate grammar, snippets, and basic editor behavior (bracket matching, comment toggling, folding, indentation). It does not run a language server, so there are no diagnostics, hover, or go-to-definition — install it if you just want your .ucl files to look right.

Features

• Syntax highlighting for .ucl files: module/type/procedure/function declarations, control-block commands (bmc, check, induction, unroll, print_cex, ...), specifications (assert, assume, invariant, property, axiom, ...), quantifiers, bitvector/hex/decimal literals, strings, and comments.
• Snippets for common constructs: module, procedure, enum, forall/exists, invariant, property, and more. Type a prefix (e.g. module) and press Tab.
• Bracket/quote auto-closing, comment toggling (//, /* */), brace- and case/esac-aware indentation, and code folding.

Install

Search for "UCLID5 Language" by mar in the VS Code Extensions view (Cmd+Shift+X / Ctrl+Shift+X) and click Install, or run:

code --install-extension mar.uclid-language

From a .vsix (no Marketplace)

Download or build a .vsix package and install it directly:

npm install
npm run package        # produces uclid-language-<version>.vsix
code --install-extension uclid-language-<version>.vsix

Contributing

Issues and PRs are welcome at uclid-org/uclid5-language-vscode. The grammar lives in syntaxes/uclid.tmLanguage.json and snippets in snippets/snippets.json.

License

BSD-3-Clause, see LICENSE.