https://github.com/hankhsu1996/vscode-murphi

Murphi language support for VS code.
https://github.com/hankhsu1996/vscode-murphi

Last synced: about 16 hours ago
JSON representation

Murphi language support for VS code.

• Host: GitHub
• URL: https://github.com/hankhsu1996/vscode-murphi
• Owner: hankhsu1996
• Created: 2021-03-01T20:17:53.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-03-18T21:45:48.000Z (over 3 years ago)
• Last Synced: 2023-10-20T01:49:12.058Z (about 1 year ago)
• Size: 1.66 MB
• Stars: 4
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md

Awesome Lists containing this project

README

        
# Murphi

This is the Murphi language support for VS code.

## Features

### Syntax Highlighting

* Use `_t` (struct), `_e` (enum), `_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.