TamarinProver
Repository for text editor (sublime) syntax highlighting
Details
Installs
- Total 515
- Win 114
- Mac 176
- Linux 225
Sep 13 | Sep 12 | Sep 11 | Sep 10 | Sep 9 | Sep 8 | Sep 7 | Sep 6 | Sep 5 | Sep 4 | Sep 3 | Sep 2 | Sep 1 | Aug 31 | Aug 30 | Aug 29 | Aug 28 | Aug 27 | Aug 26 | Aug 25 | Aug 24 | Aug 23 | Aug 22 | Aug 21 | Aug 20 | Aug 19 | Aug 18 | Aug 17 | Aug 16 | Aug 15 | Aug 14 | Aug 13 | Aug 12 | Aug 11 | Aug 10 | Aug 9 | Aug 8 | Aug 7 | Aug 6 | Aug 5 | Aug 4 | Aug 3 | Aug 2 | Aug 1 | Jul 31 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Windows | 0 | 0 | 1 | 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 | 1 | 0 | 0 | 0 | 0 |
Mac | 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 | 1 | 0 | 0 | 0 | 0 |
Linux | 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 |
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.