Bundle that adds support for the Tamarin Prover.
- Total 63
- Win 4
- OS X 28
- Linux 31
|Mar 22||Mar 21||Mar 20||Mar 19||Mar 18||Mar 17||Mar 16||Mar 15||Mar 14||Mar 13||Mar 12||Mar 11||Mar 10||Mar 9||Mar 8||Mar 7||Mar 6||Mar 5||Mar 4||Mar 3||Mar 2||Mar 1||Feb 28||Feb 27||Feb 26||Feb 25||Feb 24||Feb 23||Feb 22||Feb 21||Feb 20||Feb 19||Feb 18||Feb 17||Feb 16||Feb 15||Feb 14||Feb 13||Feb 12||Feb 11||Feb 10||Feb 9||Feb 8||Feb 7||Feb 6|
Please be aware that TamarinAssist is still under active development and as such, several of the features are still implemented in a prototypical manner. *If you experience any problems or have any questions on running any parts of the plug-in please open an issue on GitHub.
- Syntax Highlighting
- Autocompltion (Snippets)
- Run Tamarin functions within Sublime
See Screenshots for how TamarinAssist looks and works.
For the latest developments see the Tamarin GitHub page.
It also includes some useful commands, accessed via
CTRL + SHIFT + P then
type “Tamarin” to see the options available.
- [X] Basic Syntaxes
- [X] Run Tamarin within Sublime
- [X] Snippets for Theory, Rule, Axiom and Lemma
- [X] Add package to PackageControl.io
- [X] Configure
- [ ] Highlight Script errors in Editor
- [ ] Highlight Axiom / Lemma Guardedness issues in Editor