sscoble/speckl
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

fix: compact speckdl-pipeline.svg — was way too tall for a 4-box flow

Browse source
This commit is contained in:
Content Agent 2026-04-28 16:15:42 -07:00
parent c9b746d7d4
commit 0ea2204d5b
1 changed files with 23 additions and 37 deletions
Download patch file Download diff file Expand all files Collapse all files

60
docs/diagrams/speckdl-pipeline.svg
View file

@ -1,47 +1,33 @@
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 800 200">
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 780 100">
<defs>
<marker id="arrow" markerWidth="10" markerHeight="7" refX="10" refY="3.5" orient="auto" fill="#3b82f6">
<marker id="a" markerWidth="10" markerHeight="7" refX="9" refY="3.5" orient="auto" fill="#3b82f6">
<polygon points="0 0, 10 3.5, 0 7"/>
</marker>
<marker id="arrow-down" markerWidth="10" markerHeight="7" refX="5" refY="7" orient="auto" fill="#6b7280">
<polygon points="0 0, 10 0, 5 7"/>
</marker>
</defs>
<!-- Box: SpeckDL -->
<rect x="20" y="20" width="140" height="60" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
<text x="90" y="47" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="15" font-weight="bold">SpeckDL</text>
<text x="90" y="66" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="11">specification language</text>
<!-- Boxes -->
<rect x="0" y="10" width="130" height="45" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
<text x="65" y="30" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="13" font-weight="bold">SpeckDL</text>
<text x="65" y="46" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="10">specification</text>
<!-- Arrow: SpeckDL → Z3 -->
<line x1="160" y1="50" x2="230" y2="50" stroke="#3b82f6" stroke-width="2" marker-end="url(#arrow)"/>
<rect x="195" y="10" width="150" height="45" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
<text x="270" y="30" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="13" font-weight="bold">Z3 (SMT Solver)</text>
<text x="270" y="46" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="10">verify constraints</text>
<!-- Box: Z3 -->
<rect x="235" y="20" width="140" height="60" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
<text x="305" y="47" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="15" font-weight="bold">Z3 (SMT Solver)</text>
<text x="305" y="66" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="11">verify constraints</text>
<rect x="410" y="10" width="150" height="45" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
<text x="485" y="30" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="13" font-weight="bold">DST</text>
<text x="485" y="46" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="10">decision structures</text>
<!-- Arrow: Z3 → DST -->
<line x1="375" y1="50" x2="445" y2="50" stroke="#3b82f6" stroke-width="2" marker-end="url(#arrow)"/>
<rect x="625" y="10" width="130" height="45" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
<text x="690" y="30" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="13" font-weight="bold">WASM</text>
<text x="690" y="46" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="10">verified artifacts</text>
<!-- Box: DST -->
<rect x="450" y="20" width="150" height="60" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
<text x="525" y="47" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="15" font-weight="bold">DST</text>
<text x="525" y="66" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="11">decision structures</text>
<!-- Arrows between boxes -->
<line x1="130" y1="32" x2="192" y2="32" stroke="#3b82f6" stroke-width="2" marker-end="url(#a)"/>
<line x1="345" y1="32" x2="407" y2="32" stroke="#3b82f6" stroke-width="2" marker-end="url(#a)"/>
<line x1="560" y1="32" x2="622" y2="32" stroke="#3b82f6" stroke-width="2" marker-end="url(#a)"/>
<!-- Arrow: DST → WASM -->
<line x1="600" y1="50" x2="670" y2="50" stroke="#3b82f6" stroke-width="2" marker-end="url(#arrow)"/>
<!-- Box: WASM -->
<rect x="675" y="20" width="110" height="60" rx="6" fill="#1e3a5f" stroke="#3b82f6" stroke-width="2"/>
<text x="730" y="47" text-anchor="middle" fill="#f8fafc" font-family="system-ui, sans-serif" font-size="15" font-weight="bold">WASM</text>
<text x="730" y="66" text-anchor="middle" fill="#94a3b8" font-family="system-ui, sans-serif" font-size="11">verified artifacts</text>
<!-- Provenance sub-flow -->
<rect x="20" y="120" width="765" height="65" rx="6" fill="none" stroke="#6b7280" stroke-width="1.5" stroke-dasharray="6,3"/>
<text x="400" y="143" text-anchor="middle" fill="#6b7280" font-family="system-ui, sans-serif" font-size="12">Provenance graph grows automatically at each stage</text>
<line x1="90" y1="80" x2="90" y2="118" stroke="#6b7280" stroke-width="1.5" marker-end="url(#arrow-down)"/>
<line x1="305" y1="80" x2="305" y2="118" stroke="#6b7280" stroke-width="1.5" marker-end="url(#arrow-down)"/>
<line x1="525" y1="80" x2="525" y2="118" stroke="#6b7280" stroke-width="1.5" marker-end="url(#arrow-down)"/>
<line x1="730" y1="80" x2="730" y2="118" stroke="#6b7280" stroke-width="1.5" marker-end="url(#arrow-down)"/>
</svg>
<!-- Provenance bar -->
<rect x="0" y="70" width="755" height="28" rx="4" fill="none" stroke="#6b7280" stroke-width="1" stroke-dasharray="4,3"/>
<text x="377" y="88" text-anchor="middle" fill="#6b7280" font-family="system-ui, sans-serif" font-size="11">Provenance graph grows automatically at each stage</text>
</svg>
Side by side Swipe Overlay

Before

Width:  |  Height:  |  Size: 3.1 KiB

After

Width:  |  Height:  |  Size: 2.4 KiB

Before After
Before After