BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us
modules.com
⌘K

tla-trace-filter

v0.0.6RubyGems· Ruby

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.

The verdict
Abandoned. Last published 8 years ago. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the RubyGems registry · derived rules, not AI
How it scores
MaintenanceAbandoned
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published 8 years ago.
Popularity
6 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
  • 0.0.68 years ago
  • 0.0.38 years ago
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. (Ruby / RubyGems) · Modules