GitHub - eras/tlsd: Generate (message) sequence diagrams from TLA+ state traces

GitHub Daily Trend - En podcast af VoiceFeed

Prøv Podimo gratis! i 30 dage

Et univers fyldt med hundredvis af eksklusive podcasts & lydbøger, klik her for at prøve

https://github.com/eras/tlsd Generate (message) sequence diagrams from TLA+ state traces - eras/tlsd