TamarinAssist

Please be aware that SublimeTamarin 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.

Introduction

This is a Sublime Text 3 plug-in which adds support for Tamarin Security Protocol Theories (spty) syntax highlighting. 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.

Features

• Basic Syntaxes
• Run Tamarin within Sublime
• Snippets for Theory, Rule, Axiom and Lemma

See Screenshots.

Under Development

• Run Tamarin Interactive Prover within Sublime
• Highlight Script errors in Editor
• Highlight Axiom / Lemma Guardedness issues in Editor
• Add package to PackageControl.io