/tlsd

Generate (message) sequence diagrams from TLA+ state traces

Primary LanguagePythonMIT LicenseMIT

Watchers