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

Murphi

by timlinsc ST3

Murphi language support for Sublime

Details

Installs

  • Total 85
  • Win 20
  • Mac 26
  • Linux 39
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 Jul 30 Jul 29 Jul 28 Jul 27 Jul 26 Jul 25 Jul 24 Jul 23 Jul 22 Jul 21 Jul 20 Jul 19 Jul 18 Jul 17 Jul 16 Jul 15 Jul 14 Jul 13 Jul 12 Jul 11 Jul 10 Jul 9 Jul 8 Jul 7 Jul 6 Jul 5 Jul 4 Jul 3 Jul 2 Jul 1
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 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
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
bitbucket.​org

Sublime Text Murphi Syntax Support Package

Description

The Murphi description language accompanies the Murphi Verifcation System, a tool developed at Stanford for protocol verifcation. It is Pascal-like in format. The purpose of this package is to provide basic syntax highlighting for the language. This syntax package has the following features:

  1. Highlights reserved words, comments, constants, and predefined functions
  2. Recognizes function and procedure definitions

Setup

To get Sublime to recognize Murphi files, open a Murphi description language file (.m) in Sublime and select “Murphi” under View -> Syntax -> Open all with current extension as…