eras/tlsd

Generate (message) sequence diagrams from TLA+ state traces

75 best points · 7 comments · 1 Hacker News post · 75 GitHub stars · View on GitHub

Hacker News discussions

• Tlsd: Generate (message) sequence diagrams from TLA+ state traces (75 points, 7 comments, by todsacerdoti, 2024-07-15)