https://github.com/trinnguyen/mcrl2-viewer

VSCode extension: Preview mCRL2 model using Graphviz engine (DOT)
https://github.com/trinnguyen/mcrl2-viewer

Last synced: 2 months ago
JSON representation

VSCode extension: Preview mCRL2 model using Graphviz engine (DOT)

• Host: GitHub
• URL: https://github.com/trinnguyen/mcrl2-viewer
• Owner: trinnguyen
• License: mit
• Created: 2020-07-31T13:00:55.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2022-12-30T20:58:13.000Z (over 2 years ago)
• Last Synced: 2023-08-03T15:31:34.258Z (over 1 year ago)
• Language: TypeScript
• Homepage:
• Size: 322 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# mCRL2 Viewer (VSCode extension)

[![Version](https://vsmarketplacebadge.apphb.com/version/trinnguyen.mcrl2-viewer.svg)](https://marketplace.visualstudio.com/items?itemName=trinnguyen.mcrl2-viewer)

- Preview mCRL2 model using Graphviz engine (DOT)

- Visual Studio Code extension

- Checkout source code: https://github.com/trinnguyen/mcrl2-viewer

## Requirements

- Install three tools to the system and add to PATH environment variable: **mcrl22lps, lps2lts, dot**

    - mCRL2: https://www.mcrl2.org/web/user_manual/download.html

    - DOT: https://graphviz.org/download

## Features

- Preview mCRL2

    - Run VSCode command: **mCRL2: Preview** on the active .mcrl2 editor

    - Shortcut key: 

        - macOS: **cmd + shift + v**

        - Linux/Windows: **ctlr + shift + v**

- PBES Syntax highlight

## Screenshots

### Preview mCRL2

![samples/sample-preview.png](samples/sample-preview.png)

### PBES Syntax highlight

![samples/sample-pbes-demo.png](samples/sample-pbes-demo.png)