Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== 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]]. using/generating_sequence_diagrams.txt Last modified: 2024/09/28 15:58by 127.0.0.1
127.0.0.1