UCLID5 Language for VS Code
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.
| |
