generating sequence diagrams

FedericoPonzi · Jul 15, 2024 · 9630127 · 9630127
1 parent af5f2eb
commit 9630127
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -28,7 +28,8 @@
     - [Standard Library](./using/standard-lib.md)
     - [Community Modules](./using/community-modules.md)
     - [Debugger](./using/debugger.md)
-    - [Generating stage graphs](./using/generating-state-graphs.md)
+    - [Generating state graphs](./using/generating-state-graphs.md)
+    - [Generating sequence diagrams](./using/generating-sequence-diagrams.md)
     - [TLA+ Web Explorer](./using/tla-web-explorer.md)
     - [Generating Animations of State Changes](./using/generating-animation.md)
     - [(Github) CI for your specifications](./using/ci-for-specs.md)

diff --git a/src/using/generating-sequence-diagrams.md b/src/using/generating-sequence-diagrams.md
@@ -0,0 +1,8 @@
+# Generating sequence diagrams
+
+This is a tool for generating sequence diagrams from TLC state traces. It produces SVGs that look like:
+
+![Sequence diagram](https://github.com/eras/tlsd/raw/master/doc/sequence.svg)
+or [like this PDF](https://github.com/eras/tlsd/blob/master/doc/sequence.pdf).
+
+Link to the tool [here](https://github.com/eras/tlsd).