mCRL2 Viewer 1.0.1 Vsix File Free Download
A Free Other Extension By Tri Nguyen (trinnguyen)
Downloads: 2 Updated: November 20, 2020
You are about to download the mCRL2 Viewer Vsix v1.0.1 file for Visual Studio Code 1.47.0 and up: Preview mCRL2 model using Graphviz engine (DOT) ...
Please note that the mCRL2 Viewer Vsix file v1.0.1 on VsixHub is the original file archived from the Visual Studio Marketplace. You could choose a server to download the offline vsix extension file and install it.
VSIX Package File
• Vsix File: mcrl2-viewer-1.0.1_vsixhub.com.vsix
• Extension Version: 1.0.1
• Requires: VS Code 1.47.0 and up
• File Size: 174.11 KB (178291 Bytes)
• MD5: 32cfb503254e9e817b8f3c1f44933449
• SHA1: 583c6384e0c9090925636c5df89f3829c300d4c6
• SHA256: b0740aba6e5166e194d1d3065eba0dad92bb84a6def3f00769b77eb7d7f4d807
• Download VSIX File from VsixHub >
• Download VSIX File from
Sendspace >• Download VSIX File from Rapidgator >
• Get it on Visual Studio Marketplace >
Also mCRL2 Viewer is included in these tags:
⋅ pbes ⋅ keybindings
What Does The Extension Do
mCRL2 Viewer is a freeware extension for VS Code published by Tri Nguyen, you can install it to increase the power of your Visual Studio Code:
Preview mCRL2 model using Graphviz engine (DOT) ... Learn More >
How to Install mCRL2 Viewer From a VSIX
You can easily install the mCRL2 Viewer extension packaged in the .vsix file:
Launch VS Code, use the Install from VSIX command in the Extensions view command drop-down, or the Extensions: Install from VSIX... command in the Command Palette, and point to the .vsix file (i.e. mcrl2-viewer-1.0.1_vsixhub.com.vsix).
mCRL2 Viewer Version History
mCRL2 Viewer 1.0.0 (Updated: July 31, 2020)