Murphi

This is the Murphi language support for VS code.

Features

Syntax Highlighting

• Use <typename>_t (struct), <typename>_e (enum), <typename>_n (range) to explicitly designate a type.

Snippets

Array and Record

Ruleset and Alias

Rule

Forall

Release Notes

New Features

• Snippet for if.
• Snippet for switch.
• Snippet for invariant.

2.0.0

Add snippet support.

1.0.0

Initial release of Murphi language extension, which supports syntex highlighting for Murphi.