Repository for the Visual Studio Code Asmeta extension asmetaVSCE.
As the extension is still a work in progress it is not yet published on the Visual Code Extension Marketplace.
You can either download the pre build package asmetavsce-<major>.<minor>.<patch>.vsix, or clone the repository and package it yourself.
To import the extension once downloaded or built go to: Extensions > Install from VSIX.
At this point in time you need to provide jars of the compiled asmeta modules yourself. Move the necessary jars file into the same directory and declare an environment variable ASMETA_HOME which points to that dorectory.
- Simulator run
- Syntax highlighter
- Parser run
- Model Checker run
- File paths must NOT contain spaces
I do not own the rights to Asmeta or any of it's components.
Please note that this is just a sideproject. As such, it is not regularly updated or worked on. Every contribute is well appreciated.