Murphi

by timlinsc ST3

Murphi language support for Sublime

Details

Version 1.0.5
Homepage bitbucket.org
Issues bitbucket.org
Modified 9 years ago
Last Seen 7 minutes ago
First Seen 9 years ago

Installs

Total 118
Win 39
Mac 35
Linux 44

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

Highlights reserved words, comments, constants, and predefined functions
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…