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

Murphi

by timlinsc ST3

Murphi language support for Sublime

Details

Installs

  • Total 88
  • Win 21
  • Mac 26
  • Linux 41
Dec 4 Dec 3 Dec 2 Dec 1 Nov 30 Nov 29 Nov 28 Nov 27 Nov 26 Nov 25 Nov 24 Nov 23 Nov 22 Nov 21 Nov 20 Nov 19 Nov 18 Nov 17 Nov 16 Nov 15 Nov 14 Nov 13 Nov 12 Nov 11 Nov 10 Nov 9 Nov 8 Nov 7 Nov 6 Nov 5 Nov 4 Nov 3 Nov 2 Nov 1 Oct 31 Oct 30 Oct 29 Oct 28 Oct 27 Oct 26 Oct 25 Oct 24 Oct 23 Oct 22 Oct 21
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…