/vscode-murphi

Murphi language support for VS code.

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.