RubyGems Navigation menu

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:
=

installation:
=

Versions:

  1. 0.2.5 December 18, 2017 (42,5 ko)
  2. 0.2.2 December 02, 2016 (42,5 ko)
  3. 0.1.2 May 18, 2016 (38,5 ko)
  4. 0.1.0 March 03, 2016 (36,5 ko)

Dépendances de Runtime (2):

thor >= 0.19.1, ~> 0.19
treetop >= 1.6.3, ~> 1.6
Show all transitive dependencies

Propriétaires:

Auteurs:

  • jarjuk

Total de contrôle SHA 256:

=
← Version précédente Version suivante →

Total de téléchargements 9 352

Pour cette version 1 985

Version publiée:

License:

MIT

Version de Ruby requise: ~> 2

Liens:

Documentation Télécharger Review changes Badge Abonnement RSS Signaler un abus Reverse dependencies Adoption