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,050 of 180,702
Downloads: 3,646
Daily
Ranking: 70,382 of 180,689
Downloads: 3
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
Rank | Downloads | Name |
---|---|---|
139,064 | 3,695 | tla-trace-arch |
Depends on
Rank | Downloads | Name |
---|---|---|
25 | 766,539,751 | thor |
400 | 82,031,141 | treetop |
647 | 59,308,325 | mustache |
59,265 | 15,312 | tla-sbuilder |
Owners
# | Gravatar | Handle |
---|---|---|
1 | jarjuk |