ctrl+shift+p filters: :st2 :st3 :win :osx :linux
浏览

Murphi

作者： timlinsc ST3

Sublime 文本对 Murphi 语言的兼容

标签 文本语法，语法

详细信息

安装次数

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

说明文件

源代码
bitbucket.​org

Sublime Text Murphi 语法支持包

描述

Murphi 描述语言与 Murphi 验证系统搭配使用，该系统是一款在斯坦福大学开发的协议验证工具。其格式类似于 Pascal 语言。本软件包旨在提供该语言的基础语法高亮功能。此语法包具有以下特性

  1. 突出显示保留字、注释、常量和预定义函数
  2. 识别函数和过程定义

设置

要让 Sublime 能够识别 Murphi 文件，请打开 Sublime 中的 Murphi 描述语言文件 (.m) 并选择“通过当前扩展名打开...”下的视图 -> 语法