TamarinAssist

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.

Introduction

This is a Sublime Text 3 plug-in which adds support for Tamarin Security Protocol Theories (spthy):

• 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.

Features

• Basic Syntaxes
• Run Tamarin within Sublime
• Snippets for Theory, Rule, Axiom and Lemma
• Add package to PackageControl.io
• Configure SAPIC path

Under Development

• Highlight Script errors in Editor
• Highlight Axiom / Lemma Guardedness issues in Editor

Package Control

PackageControl.io TamarinAssist can now be installed via the sublime package manager. See the install and usage documentation, then search and install TamarinAssist.