Contribute

Contributions welcome !

How to start using the git repository:

Run npm install in this folder. This installs all necessary npm modules in both the client and server folder.
Open VS Code on this folder.
Press Ctrl+Shift+B and select tsc watchto start testing your code.
Then in the test window open a Tamarin document (.spthy) to see if it works.

General architecture

This section is detailed in the Contribute/readme_dev.md file .

How to use tree-sitter with the extension

This section is detailed in the Contribute/README_TREE_SITTER.md file .

How to publish a new release

This section is detailed in the Contribute/Readme_release.md file .