tla-parser-s 的反向依赖以下 Gem 的最新版本需要 tla-parser-s

tla-sbuilder 0.3.9

A tool to generate runnable specification models in TLA+ language for business IT sys...

15,383 下载

sbuilder-al 0.0.8

API language interface to tla-sbuilder. Uses API Loader Extension Point and Snippet L...

2,299 下载