Generating sequence diagrams
This is a tool for generating sequence diagrams from TLC state traces. It produces SVGs that look like:
or like this PDF.
Link to the tool here.
using:generating_sequence_diagrams
This is a tool for generating sequence diagrams from TLC state traces. It produces SVGs that look like:
or like this PDF.
Link to the tool here.