A wrapper in Sublime Text for rsltc, the type checker of RAISE Specification Language - RSL.
You should have following software installed and running
The package can be installed using one of the following methods:
Via Package Control (recommended)
Package Control: Install Package > RSL
Sublime Menu > Preferences > Browse Packages ...
git clone https://github.com/li-vu/st-rsl RSL
The following commands are available:
Type Check
Pretty Print
Translate SML
Run SML
Translate to SAL
Run SAL Wellformed Checker
Run SAL Deadlock Checker
Run SAL Symbolic Model Checker
Translate to SML and Run
: Chain of Command is required to run this command.Join Comments
: Experimental feature allows joining consecutive line comments into a block comment.
Copyright (C) 2016 li-vu
This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation. http://www.gnu.org/licenses/gpl.html
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.