/st-rsl

A wrapper in Sublime Text for rsltc, the type checker of RAISE Specification Language - RSL

Primary LanguagePython

RSL

A wrapper in Sublime Text for rsltc, the type checker of RAISE Specification Language - RSL.

Prerequisites

You should have following software installed and running

Install

The package can be installed using one of the following methods:

Via Package Control (recommended)

Package Control: Install Package > RSL

Manual

  1. Sublime Menu > Preferences > Browse Packages ...
  2. git clone https://github.com/li-vu/st-rsl RSL

Features

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.

License

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.