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

Tamarin​Prover

by tamarin-prover ST3

Repository for text editor (sublime) syntax highlighting

Labels Tamarin Prover, spthy, Language Syntax

Details

Installs

  • Total 495
  • Win 103
  • Mac 172
  • Linux 220
Jan 17 Jan 16 Jan 15 Jan 14 Jan 13 Jan 12 Jan 11 Jan 10 Jan 9 Jan 8 Jan 7 Jan 6 Jan 5 Jan 4 Jan 3 Jan 2 Jan 1 Dec 31 Dec 30 Dec 29 Dec 28 Dec 27 Dec 26 Dec 25 Dec 24 Dec 23 Dec 22 Dec 21 Dec 20 Dec 19 Dec 18 Dec 17 Dec 16 Dec 15 Dec 14 Dec 13 Dec 12 Dec 11 Dec 10 Dec 9 Dec 8 Dec 7 Dec 6 Dec 5 Dec 4 Dec 3
Windows 0 0 0 0 0 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 0 0 0 0 0 0
Mac 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1
Linux 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0

Readme

Source
raw.​githubusercontent.​com

editor-sublime

Repository for text editor (sublime) syntax highlighting

Please be aware that the plugin 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 this plugin 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, Restriction and Lemma
  • [X] Configure SAPIC path

Under Development

  • [ ] Add package to PackageControl.io
  • [ ] Highlight Script errors in Editor
  • [ ] Highlight Restriction / Lemma Guardedness issues in Editor

Installation

Manual

OS X

$ git clone https://github.com/tamarin-prover/editor-sublime.git
$ ln -s `pwd`/editor-sublime ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/

Linux

$ git clone https://github.com/tamarin-prover/editor-sublime.git
$ ln -s `pwd`/editor-sublime ~/.config/sublime-text-3/Packages/

Windows

On Windows, you can use directory junctions instead of symlinks (symlinks require administrative rights; directory junctions don't): “powershell

Using PowerShell

PS> git clone https://github.com/tamarin-prover/editor-sublime.git PS> cmd /c mklink /J ”$env:APPDATA/Sublime Text 3/Packages/editor-sublime" (convert-path ./editor-sublime)

### Package Control

[PackageControl.io](https://packagecontrol.io/packages/) currently in development and hope to bring this installation method back very soon.