Categories: None [Edit]
tla-trace-filter
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.
Total
Ranking: 140,198 of 183,477
Downloads: 3,821
Daily
Ranking: 63,432 of 183,470
Downloads: 0
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
Rank | Downloads | Name |
---|---|---|
138,899 | 3,887 | tla-trace-arch |
Depends on
Rank | Downloads | Name |
---|---|---|
24 | 843,235,067 | thor |
430 | 84,866,599 | treetop |
681 | 63,925,756 | mustache |
59,867 | 15,886 | tla-sbuilder |
Owners
# | Gravatar | Handle |
---|---|---|
1 | jarjuk |