tla-parser-s 0.2.2

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:
= Copy to clipboard Copied!

install:
=

Versions:

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 Dependencies (2):

thor >= 0.19.1, ~> 0.19

treetop >= 1.6.3, ~> 1.6

Show all transitive dependencies

Owners:

Authors:

jarjuk

SHA 256 checksum:

90d7b4a1cc9fb69360388c724a9115be5e86990e2c8cf9173b4ebfc6d67ff0e7