====== Generating sequence diagrams ======

This is a tool for generating sequence diagrams from TLC state traces. It produces SVGs that look like:

{{https://github.com/eras/tlsd/raw/master/doc/sequence.svg|Sequence diagram}} or [[https://github.com/eras/tlsd/blob/master/doc/sequence.pdf|like this PDF]].

Link to the tool [[https://github.com/eras/tlsd|here]].