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`.

Required Ruby Version

~> 2

Authors

jarjuk

Versions

  1. 0.2.5

    1. source

      1. 0.2.5 source December 18, 2017 (42.5 KB)
  2. 0.2.2

    1. source

      1. 0.2.2 source December 02, 2016 (42.5 KB)
  3. 0.1.2

    1. source

      1. 0.1.2 source May 18, 2016 (38.5 KB)
  4. 0.1.0

    1. source

      1. 0.1.0 source March 03, 2016 (36.5 KB)

SHA 256 checksum

← Previous version