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

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

SHA 256 checksum:

856caf44f3db1be469dcbb2fc6361c6fd3a6aca88b7e469923abf6aed2ca4cf4

tla-sbuilder 0.3.9

Gemfile:
= Copy to clipboard Copied!

install:
=

Versions:

Runtime Dependencies (5):

Owners:

Authors:

SHA 256 checksum:

Total downloads 15,261

For this version 2,148

License:
MIT

Required Ruby Version: >= 2.3.1, ~> 2

Links:

tla-sbuilder 0.3.9

Gemfile: = Copy to clipboard Copied!

install: =

Versions:

Runtime Dependencies (5):

Owners:

Authors:

SHA 256 checksum:

Total downloads 15,261

For this version 2,148

License: MIT

Required Ruby Version: >= 2.3.1, ~> 2

Links:

Gemfile:
= Copy to clipboard Copied!

install:
=

License:
MIT