A wrapper in Sublime Text for rsltc, the type checker of RAISE Specification Language - RSL
- Total 51
- Win 29
- OS X 12
- Linux 10
|Dec 14||Dec 13||Dec 12||Dec 11||Dec 10||Dec 9||Dec 8||Dec 7||Dec 6||Dec 5||Dec 4||Dec 3||Dec 2||Dec 1||Nov 30||Nov 29||Nov 28||Nov 27||Nov 26||Nov 25||Nov 24||Nov 23||Nov 22||Nov 21||Nov 20||Nov 19||Nov 18||Nov 17||Nov 16||Nov 15||Nov 14||Nov 13||Nov 12||Nov 11||Nov 10||Nov 9||Nov 8||Nov 7||Nov 6||Nov 5||Nov 4||Nov 3||Nov 2||Nov 1||Oct 31|
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:
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 © 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.