RubyGems Navigation menu

tla-trace-filter 0.0.3

A command line filter utility for processing [[http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html][TLA+ Tools]] output resulting created when model checking [[[http://research.microsoft.com/en-us/um/people/lamport/tla/book.html][TLA+ language]]] formal model generated using [[https://github.com/jarjuk/tla-sbuilder][sbuilder]] -tool.

Gemfile:
=

安裝:
=

版本列表:

  1. 0.0.6 February 02, 2018 (37.5 KB)
  2. 0.0.3 December 20, 2017 (34.0 KB)

Runtime 相依性套件 (4):

mustache >= 1.0.3, ~> 1.0
thor >= 0.19.1, ~> 0.19
tla-sbuilder > 0.3.7, ~> 0.3
treetop >= 1.6.3, ~> 1.6

擁有者:

作者:

  • jarjuk

SHA 256 總和檢查碼:

=

總下載次數 3,799

這個版本 1,652

版本发布:

授權:

MIT

Ruby 版本需求: >= 2.3, ~> 2

相關連結: