Murphi

by timlinsc ST3

Murphi language support for Sublime

Details

Version 1.0.5
Homepage bitbucket.org
Issues bitbucket.org
Modified 7 years ago
Last Seen 1 hour ago
First Seen 7 years ago

Installs

Total 101
Win 28
Mac 31
Linux 42

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

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…