tla-parser-s 0.2.5

A library paring TLA+ language. Gem name `tla-parser-s` because did not want to reserve "officical" `tla-parser` name. Sematic routines create a list of files -names (=modules) needed to satisfy set of entry points. Entry points include names passed as parameters to command line tool (`bin/tla-resolver.rb`), or as API paramters to `TlaParserS::Resolver#resolveModulesDo`.

Gemfile:
= 复制到剪贴板已复制！

安装:
=

版本列表:

0.2.5 - December 18, 2017 (42.5 KB)
0.2.2 - December 02, 2016 (42.5 KB)
0.1.2 - May 18, 2016 (38.5 KB)
0.1.0 - March 03, 2016 (36.5 KB)

Runtime 依赖 (3):

ffi >= 1.9.18, ~> 1.9

thor >= 0.19.1, ~> 0.19

treetop >= 1.6.3, ~> 1.6

显示所有传递性依赖

业主:

作者:

jarjuk

SHA 256 校验和:

9711e0a3d50c51b2f66ce9b79466373b13901fbb38c3615a6dd2a13f0198bc65

tla-parser-s 0.2.5

Gemfile:
= 复制到剪贴板已复制！

安装:
=

版本列表:

Runtime 依赖 (3):

业主:

作者:

SHA 256 校验和:

下载总量 9,025

这个版本 2,203

许可:
MIT

需要的 Ruby 版本: ~> 2

链接:

tla-parser-s 0.2.5

Gemfile: = 复制到剪贴板 已复制！

安装: =

版本列表:

Runtime 依赖 (3):

业主:

作者:

SHA 256 校验和:

下载总量 9,025

这个版本 2,203

许可: MIT

需要的 Ruby 版本: ~> 2

链接:

Gemfile:
= 复制到剪贴板已复制！

安装:
=

许可:
MIT