RSL
Sublime Text中rsltc的包装器，RAISE规格语言-RSL的类型检查器
详细信息
安装
- 总计 162
- Win 81
- Mac 38
- Linux 43
| 8月6日 | 8月5日 | 8月4日 | 8月3日 | 8月2日 | 8月1日 | 7月31日 | 7月30日 | 7月29日 | 7月28日 | 7月27日 | 7月26日 | 7月25日 | 7月24日 | 7月23日 | 7月22日 | 7月21日 | 7月20日 | 7月19日 | 7月18日 | 7月17日 | 7月16日 | 7月15日 | 7月14日 | 7月13日 | 7月12日 | 7月11日 | 7月10日 | 7月9日 | 7月8日 | 7月7日 | 7月6日 | 7月5日 | 7月4日 | 7月3日 | 7月2日 | 7月1日 | 6月30日 | 6月29日 | 6月28日 | 6月27日 | 6月26日 | 6月25日 | 6月24日 | 6月23日 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Windows | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Mac | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Linux | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
README
RSL
Sublime Text中rsltc的包装器，RAISE规格语言-RSL的类型检查器。
先决条件
您应该安装并运行以下软件
安装
可以使用以下方法之一安装此包
通过Package Control（推荐）
Package Control：安装包 > RSL
手动
Sublime菜单 > 偏好设置 > 浏览包...git clone https://github.com/li-vu/st-rsl RSL
功能
以下命令可用： - 类型检查 - 美化打印 - 翻译SML - 运行SML - 翻译到SAL - 运行SAL Wellformed Checker - 运行SAL Deadlock Checker - 运行SAL Symbolic Model Checker - 翻译到SML并运行：需要Chain of Command来运行此命令。- 合并注释：实验性功能允许将连续行注释合并为块注释。
许可证
版权所有 © 2016 li-vu
此程序是免费软件：您可以自由重新分发和/或修改它，只要遵守自由软件基金会发布的GNU通用公共许可证
。有关详细信息，请参阅GNU通用公共许可证。