From 96301270a1d4522106904a863878cbd9b2bf1d29 Mon Sep 17 00:00:00 2001 From: Federico Ponzi Date: Tue, 16 Jul 2024 00:04:50 +0100 Subject: [PATCH] generating sequence diagrams --- src/SUMMARY.md | 3 ++- src/using/generating-sequence-diagrams.md | 8 ++++++++ 2 files changed, 10 insertions(+), 1 deletion(-) create mode 100644 src/using/generating-sequence-diagrams.md diff --git a/src/SUMMARY.md b/src/SUMMARY.md index 78c87cc..ad0b41c 100644 --- 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 new file mode 100644 index 0000000..1680328 --- /dev/null +++ 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). \ No newline at end of file