From 0ea2204d5b11c71f2b05aa95f56f2fa5c74b433a Mon Sep 17 00:00:00 2001 From: Content Agent Date: Tue, 28 Apr 2026 16:15:42 -0700 Subject: [PATCH] =?UTF-8?q?fix:=20compact=20speckdl-pipeline.svg=20?= =?UTF-8?q?=E2=80=94=20was=20way=20too=20tall=20for=20a=204-box=20flow?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/diagrams/speckdl-pipeline.svg | 60 ++++++++++++------------------ 1 file changed, 23 insertions(+), 37 deletions(-) diff --git a/docs/diagrams/speckdl-pipeline.svg b/docs/diagrams/speckdl-pipeline.svg index 305eb29..274459e 100644 --- a/docs/diagrams/speckdl-pipeline.svg +++ b/docs/diagrams/speckdl-pipeline.svg @@ -1,47 +1,33 @@ - + - + - - - - - - SpeckDL - specification language + + + SpeckDL + specification - - + + Z3 (SMT Solver) + verify constraints - - - Z3 (SMT Solver) - verify constraints + + DST + decision structures - - + + WASM + verified artifacts - - - DST - decision structures + + + + - - - - - - WASM - verified artifacts - - - - Provenance graph grows automatically at each stage - - - - - + + + Provenance graph grows automatically at each stage + \ No newline at end of file