Tree-sitter grammar for the Tamarin prover theory files syntax highlighting.
Tree-sitter grammar are compatible with several editors including Neovim, Helix and Emacs.
To use the syntax highlighting with your favorite editor, follow their specific installation process:
Installing a tree-sitter grammar in Neovim is described in the official documentation: https://neovim.io/doc/user/treesitter.html
Installing a tree-sitter grammar in Helix is described in the official documentation: https://docs.helix-editor.com/languages.html#tree-sitter-grammar-configuration
Installing a tree-sitter grammar in Emacs is described in the Emacs tree-sitter documentation: https://emacs-tree-sitter.github.io/
Feel free to open a pull request with your improvements.
The versionning of this repo will follow the Tamarin versioning, eg. version 1.6.1 of this grammar correspond to the Tamarin prover's grammar in version 1.6.1.
The develop branch of this repo will try to follow the develop branch of Tamarin as closely as possible but there may be some delay between the implementation in Tamarin and this grammar.
This software is licensed under the MIT license.