TamarinProver

用于文本编辑器（sublime）语法高亮存储库

详细信息

版本 1.0.1
主页 github.com
问题 github.com
修改日期 6年前
最后访问 2小时前
首次出现 7年前

安装

总数 476
Win 95
Mac 164
Linux 217

	8月6日	8月5日	8月4日	8月3日	8月2日	8月1日	7月31日	7月30日	7月29日	7月28日	7月27日	7月26日	7月25日	7月24日	7月23日	7月22日	7月21日	7月20日	7月19日	7月18日	7月17日	7月16日	7月15日	7月14日	7月13日	7月12日	7月11日	7月10日	7月9日	7月8日	7月7日	7月6日	7月5日	7月4日	7月3日	7月2日	7月1日	6月30日	6月29日	6月28日	6月27日	6月26日	6月25日	6月24日	6月23日
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	1	0	0	0	0	0	0	0	1	0	0	0	0	0	0
Mac	1	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	0	0	0	0	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

自述文件

源代码: raw.githubusercontentusercontent.com

editor-sublime

用于文本编辑器（sublime）语法高亮存储库

请注意，该插件仍在积极开发中，因此其中一些功能仍然以原型方式实现。 *如果您在运行插件任何部分时遇到任何问题或有任何疑问，请打开GitHub上的问题。

简介

这是一个Sublime Text 3插件，它添加了对Tamarin安全协议理论(spthy)的支持

语法高亮
自动完成（代码片段）
在Sublime中运行Tamarin函数

查看截图以了解此插件的外观和工作原理。

要查看最新更新，请参阅Tamarin GitHub页面。

它还包括一些有用的命令，通过CTRL + SHIFT + P访问，然后输入“Tamarin”以查看可用的选项。

功能

[X] 基本语法
[X] 在Sublime中运行Tamarin
[X] 理论、规则、限制和引理的代码片段
[X] 配置SAPIC路径

开发中

[ ] 将包添加到PackageControl.io
[ ] 在编辑器中突出显示脚本错误
[ ] 在编辑器中突出显示限制/引理保护问题

安装

手动

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

在Windows上，您可以使用目录 junctions 而不是符号链接（符号链接需要管理员权限；目录junctions不需要）：“powershell

使用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.sublime.net.cn/packages/) currently in development and hope to bring this installation method back very soon.