A Language Server Protocol for the SMT-LIB Standard.
The LSP used by this extension is Dolmen's language server (dolmenls).
The syntax highlighting is a copy of SMT.tmbundle.
To use the extension you need to install dolmenls which can be installed with opam.
Checkout opam's website to see how to install opam.
-
To install the latest release of
dolmenls
run:opam install dolmen_lsp
-
To install the dev version run:
opam pin add https://github.com/Gbury/dolmen.git
for more information checkout Dolmen's doc
From the Visual Studio marketplace: https://marketplace.visualstudio.com/items?itemName=hra687261.smt-lsp
From the Open VSX registry: https://open-vsx.org/extension/hra687261/smt-lsp
From source:
vsce package
code --install-extension smt-lsp-X.X.X.vsix
The extension has the following settings:
- "smt-lsp.preludes": a list of paths to prelude files that will be parsed and typed before parsing and typing the files that are opened when using the extension.
- "smt-lsp.binary": a path to the
dolmenls
binary. By default, the extension runs the commanddolmenls
, but a path to the binary can be provided and will be used if provided.
- Syntax highlighting for the latest version of the SMT-LIB standard. (only version 2.5 is supported for now)
- Syntax highlighting for the other languages supported by Dolmen. (some day)