ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Tamarin​Assist

by lordqwerty ST3 OS XLinux

Bundle that adds support for the Tamarin Prover.

Details

Installs

  • Total 4
  • Win 0
  • OS X 2
  • Linux 2
Mar 26 Mar 25 Mar 24 Mar 23 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
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
OS X 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Linux 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Readme

Source
raw.​githubusercontent.​com

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

  • [X] Basic Syntaxes
  • [X] Run Tamarin within Sublime
  • [X] Snippets for Theory, Rule, Axiom and Lemma
  • [X] Add package to PackageControl.io

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.