tla-sbuilder 0.3.9

A tool to generate runnable specification models in TLA+ language for business IT systems. Specification model can be verified using TLA+ Tools, and parts of it can be presented as implementation blueprints to developers.

Gemfile:
=

install:
=

Versions:

0.3.9 February 02, 2018 (131 KB)
0.3.8 December 20, 2017 (131 KB)
0.3.7 December 18, 2017 (131 KB)
0.3.4 December 02, 2016 (127 KB)
0.2.2 June 03, 2016 (85.5 KB)

Show all versions (8 total)

Runtime Dependencies (5):

hashie >= 3.3.2, ~> 3.3

json-schema >= 2.5.2, ~> 2.5

mustache >= 1.0.3, ~> 1.0

thor >= 0.19.1, ~> 0.19

tla-parser-s >= 0.2.2, ~> 0.2

Show all transitive dependencies

Owners:

Authors:

jarjuk

tla-sbuilder 0.3.9

Gemfile:
=

install:
=

Versions:

Runtime Dependencies (5):

Owners:

Authors:

SHA 256 checksum:

Total downloads 15,906

For this version 2,267

Version Released:
February 2, 2018 7:34am

License:
MIT

Required Ruby Version: >= 2.3.1, ~> 2

Links:

tla-sbuilder 0.3.9

Gemfile: =

install: =

Versions:

Runtime Dependencies (5):

Owners:

Authors:

SHA 256 checksum:

Total downloads 15,906

For this version 2,267

Version Released: February 2, 2018 7:34am

License: MIT

Required Ruby Version: >= 2.3.1, ~> 2

Links:

Gemfile:
=

install:
=

Version Released:
February 2, 2018 7:34am

License:
MIT