graphlang / assets /add.svg
Jose-dev's picture
Add dataset (examples.jsonl, equivalence.csv), IR visualizations, didactic labeling, Space link
c319cf6 verified
|
Raw
History Blame Contribute Delete
11.7 kB
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 15.0.0 (0)
-->
<!-- Title: GraphLang Pages: 1 -->
<svg width="292pt" height="420pt"
viewBox="0.00 0.00 292.00 420.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 416.08)">
<title>GraphLang</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-416.08 288,-416.08 288,4 -4,4"/>
<!-- n1 -->
<g id="node1" class="node">
<title>n1</title>
<path fill="#2b8a3e" stroke="black" d="M44,-412.08C44,-412.08 14,-412.08 14,-412.08 8,-412.08 2,-406.08 2,-400.08 2,-400.08 2,-384.06 2,-384.06 2,-378.06 8,-372.06 14,-372.06 14,-372.06 44,-372.06 44,-372.06 50,-372.06 56,-378.06 56,-384.06 56,-384.06 56,-400.08 56,-400.08 56,-406.08 50,-412.08 44,-412.08"/>
<text xml:space="preserve" text-anchor="middle" x="29" y="-394.92" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">var</text>
<text xml:space="preserve" text-anchor="middle" x="29" y="-380.67" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">add</text>
</g>
<!-- n2 -->
<g id="node2" class="node">
<title>n2</title>
<path fill="#2b8a3e" stroke="black" d="M114,-260.04C114,-260.04 84,-260.04 84,-260.04 78,-260.04 72,-254.04 72,-248.04 72,-248.04 72,-232.02 72,-232.02 72,-226.02 78,-220.02 84,-220.02 84,-220.02 114,-220.02 114,-220.02 120,-220.02 126,-226.02 126,-232.02 126,-232.02 126,-248.04 126,-248.04 126,-254.04 120,-260.04 114,-260.04"/>
<text xml:space="preserve" text-anchor="middle" x="99" y="-242.88" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">var</text>
<text xml:space="preserve" text-anchor="middle" x="99" y="-228.63" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">a</text>
</g>
<!-- n3 -->
<g id="node3" class="node">
<title>n3</title>
<path fill="#2b8a3e" stroke="black" d="M42,-260.04C42,-260.04 12,-260.04 12,-260.04 6,-260.04 0,-254.04 0,-248.04 0,-248.04 0,-232.02 0,-232.02 0,-226.02 6,-220.02 12,-220.02 12,-220.02 42,-220.02 42,-220.02 48,-220.02 54,-226.02 54,-232.02 54,-232.02 54,-248.04 54,-248.04 54,-254.04 48,-260.04 42,-260.04"/>
<text xml:space="preserve" text-anchor="middle" x="27" y="-242.88" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">var</text>
<text xml:space="preserve" text-anchor="middle" x="27" y="-228.63" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">b</text>
</g>
<!-- n4 -->
<g id="node4" class="node">
<title>n4</title>
<path fill="#868e96" stroke="black" d="M42,-334.05C42,-334.05 12,-334.05 12,-334.05 6,-334.05 0,-328.05 0,-322.05 0,-322.05 0,-310.05 0,-310.05 0,-304.05 6,-298.05 12,-298.05 12,-298.05 42,-298.05 42,-298.05 48,-298.05 54,-304.05 54,-310.05 54,-310.05 54,-322.05 54,-322.05 54,-328.05 48,-334.05 42,-334.05"/>
<text xml:space="preserve" text-anchor="middle" x="27" y="-311.77" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">args</text>
</g>
<!-- n4&#45;&gt;n2 -->
<g id="edge1" class="edge">
<title>n4&#45;&gt;n2</title>
<path fill="none" stroke="#5b7bb4" d="M43.7,-297.88C52.2,-289.14 62.75,-278.3 72.34,-268.44"/>
<polygon fill="#5b7bb4" stroke="#5b7bb4" points="74.59,-271.15 79.05,-261.54 69.57,-266.27 74.59,-271.15"/>
</g>
<!-- n4&#45;&gt;n3 -->
<g id="edge2" class="edge">
<title>n4&#45;&gt;n3</title>
<path fill="none" stroke="#5b7bb4" d="M27,-297.88C27,-290.1 27,-280.66 27,-271.73"/>
<polygon fill="#5b7bb4" stroke="#5b7bb4" points="30.5,-271.97 27,-261.97 23.5,-271.97 30.5,-271.97"/>
</g>
<!-- n5 -->
<g id="node5" class="node">
<title>n5</title>
<path fill="#2b8a3e" stroke="black" d="M200,-412.08C200,-412.08 170,-412.08 170,-412.08 164,-412.08 158,-406.08 158,-400.08 158,-400.08 158,-384.06 158,-384.06 158,-378.06 164,-372.06 170,-372.06 170,-372.06 200,-372.06 200,-372.06 206,-372.06 212,-378.06 212,-384.06 212,-384.06 212,-400.08 212,-400.08 212,-406.08 206,-412.08 200,-412.08"/>
<text xml:space="preserve" text-anchor="middle" x="185" y="-394.92" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">var</text>
<text xml:space="preserve" text-anchor="middle" x="185" y="-380.67" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">a</text>
</g>
<!-- n6 -->
<g id="node6" class="node">
<title>n6</title>
<path fill="#2b8a3e" stroke="black" d="M272,-412.08C272,-412.08 242,-412.08 242,-412.08 236,-412.08 230,-406.08 230,-400.08 230,-400.08 230,-384.06 230,-384.06 230,-378.06 236,-372.06 242,-372.06 242,-372.06 272,-372.06 272,-372.06 278,-372.06 284,-378.06 284,-384.06 284,-384.06 284,-400.08 284,-400.08 284,-406.08 278,-412.08 272,-412.08"/>
<text xml:space="preserve" text-anchor="middle" x="257" y="-394.92" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">var</text>
<text xml:space="preserve" text-anchor="middle" x="257" y="-380.67" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">b</text>
</g>
<!-- n7 -->
<g id="node7" class="node">
<title>n7</title>
<path fill="#2b8a3e" stroke="black" d="M150,-40.02C150,-40.02 120,-40.02 120,-40.02 114,-40.02 108,-34.02 108,-28.02 108,-28.02 108,-12 108,-12 108,-6 114,0 120,0 120,0 150,0 150,0 156,0 162,-6 162,-12 162,-12 162,-28.02 162,-28.02 162,-34.02 156,-40.02 150,-40.02"/>
<text xml:space="preserve" text-anchor="middle" x="135" y="-22.86" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">var</text>
<text xml:space="preserve" text-anchor="middle" x="135" y="-8.61" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">a</text>
</g>
<!-- n8 -->
<g id="node8" class="node">
<title>n8</title>
<path fill="#2b8a3e" stroke="black" d="M222,-40.02C222,-40.02 192,-40.02 192,-40.02 186,-40.02 180,-34.02 180,-28.02 180,-28.02 180,-12 180,-12 180,-6 186,0 192,0 192,0 222,0 222,0 228,0 234,-6 234,-12 234,-12 234,-28.02 234,-28.02 234,-34.02 228,-40.02 222,-40.02"/>
<text xml:space="preserve" text-anchor="middle" x="207" y="-22.86" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">var</text>
<text xml:space="preserve" text-anchor="middle" x="207" y="-8.61" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">b</text>
</g>
<!-- n9 -->
<g id="node9" class="node">
<title>n9</title>
<path fill="#1864ab" stroke="black" d="M186.3,-112.02C186.3,-112.02 155.7,-112.02 155.7,-112.02 149.7,-112.02 143.7,-106.02 143.7,-100.02 143.7,-100.02 143.7,-88.02 143.7,-88.02 143.7,-82.02 149.7,-76.02 155.7,-76.02 155.7,-76.02 186.3,-76.02 186.3,-76.02 192.3,-76.02 198.3,-82.02 198.3,-88.02 198.3,-88.02 198.3,-100.02 198.3,-100.02 198.3,-106.02 192.3,-112.02 186.3,-112.02"/>
<text xml:space="preserve" text-anchor="middle" x="171" y="-89.74" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">binop</text>
</g>
<!-- n9&#45;&gt;n7 -->
<g id="edge3" class="edge">
<title>n9&#45;&gt;n7</title>
<path fill="none" stroke="#5b7bb4" d="M162.29,-75.59C158.5,-68.01 153.96,-58.93 149.67,-50.36"/>
<polygon fill="#5b7bb4" stroke="#5b7bb4" points="152.93,-49.04 145.32,-41.66 146.67,-52.17 152.93,-49.04"/>
</g>
<!-- n9&#45;&gt;n8 -->
<g id="edge4" class="edge">
<title>n9&#45;&gt;n8</title>
<path fill="none" stroke="#5b7bb4" d="M179.71,-75.59C183.5,-68.01 188.04,-58.93 192.33,-50.36"/>
<polygon fill="#5b7bb4" stroke="#5b7bb4" points="195.33,-52.17 196.68,-41.66 189.07,-49.04 195.33,-52.17"/>
</g>
<!-- n10 -->
<g id="node10" class="node">
<title>n10</title>
<path fill="#c92a2a" stroke="black" d="M187.8,-184.02C187.8,-184.02 154.2,-184.02 154.2,-184.02 148.2,-184.02 142.2,-178.02 142.2,-172.02 142.2,-172.02 142.2,-160.02 142.2,-160.02 142.2,-154.02 148.2,-148.02 154.2,-148.02 154.2,-148.02 187.8,-148.02 187.8,-148.02 193.8,-148.02 199.8,-154.02 199.8,-160.02 199.8,-160.02 199.8,-172.02 199.8,-172.02 199.8,-178.02 193.8,-184.02 187.8,-184.02"/>
<text xml:space="preserve" text-anchor="middle" x="171" y="-161.74" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">return</text>
</g>
<!-- n10&#45;&gt;n9 -->
<g id="edge5" class="edge">
<title>n10&#45;&gt;n9</title>
<path fill="none" stroke="#5b7bb4" d="M171,-147.72C171,-140.43 171,-131.75 171,-123.56"/>
<polygon fill="#5b7bb4" stroke="#5b7bb4" points="174.5,-123.64 171,-113.64 167.5,-123.64 174.5,-123.64"/>
</g>
<!-- n11 -->
<g id="node11" class="node">
<title>n11</title>
<path fill="#868e96" stroke="black" d="M186,-258.03C186,-258.03 156,-258.03 156,-258.03 150,-258.03 144,-252.03 144,-246.03 144,-246.03 144,-234.03 144,-234.03 144,-228.03 150,-222.03 156,-222.03 156,-222.03 186,-222.03 186,-222.03 192,-222.03 198,-228.03 198,-234.03 198,-234.03 198,-246.03 198,-246.03 198,-252.03 192,-258.03 186,-258.03"/>
<text xml:space="preserve" text-anchor="middle" x="171" y="-235.75" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">block</text>
</g>
<!-- n11&#45;&gt;n10 -->
<g id="edge6" class="edge">
<title>n11&#45;&gt;n10</title>
<path fill="none" stroke="#5b7bb4" d="M171,-221.6C171,-213.81 171,-204.44 171,-195.67"/>
<polygon fill="#5b7bb4" stroke="#5b7bb4" points="174.5,-195.8 171,-185.8 167.5,-195.8 174.5,-195.8"/>
</g>
<!-- n12 -->
<g id="node12" class="node">
<title>n12</title>
<path fill="#d9480f" stroke="black" d="M130.18,-336.06C130.18,-336.06 83.83,-336.06 83.83,-336.06 77.83,-336.06 71.83,-330.06 71.83,-324.06 71.83,-324.06 71.83,-308.04 71.83,-308.04 71.83,-302.04 77.83,-296.04 83.83,-296.04 83.83,-296.04 130.18,-296.04 130.18,-296.04 136.18,-296.04 142.18,-302.04 142.18,-308.04 142.18,-308.04 142.18,-324.06 142.18,-324.06 142.18,-330.06 136.18,-336.06 130.18,-336.06"/>
<text xml:space="preserve" text-anchor="middle" x="107" y="-318.9" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">function</text>
<text xml:space="preserve" text-anchor="middle" x="107" y="-304.65" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">add</text>
</g>
<!-- n12&#45;&gt;n2 -->
<g id="edge7" class="edge">
<title>n12&#45;&gt;n2</title>
<path fill="none" stroke="#5b7bb4" d="M104.9,-295.6C104.11,-288.29 103.19,-279.79 102.32,-271.71"/>
<polygon fill="#5b7bb4" stroke="#5b7bb4" points="105.8,-271.42 101.25,-261.85 98.85,-272.17 105.8,-271.42"/>
</g>
<!-- n12&#45;&gt;n3 -->
<g id="edge8" class="edge">
<title>n12&#45;&gt;n3</title>
<path fill="none" stroke="#5b7bb4" d="M85.98,-295.6C76.89,-287.19 66.09,-277.2 56.23,-268.08"/>
<polygon fill="#5b7bb4" stroke="#5b7bb4" points="58.71,-265.6 48.99,-261.38 53.95,-270.74 58.71,-265.6"/>
</g>
<!-- n12&#45;&gt;n11 -->
<g id="edge9" class="edge">
<title>n12&#45;&gt;n11</title>
<path fill="none" stroke="#5b7bb4" d="M123.82,-295.6C131.39,-286.84 140.45,-276.36 148.59,-266.94"/>
<polygon fill="#5b7bb4" stroke="#5b7bb4" points="151.16,-269.33 155.05,-259.47 145.86,-264.75 151.16,-269.33"/>
</g>
<!-- n13 -->
<g id="node13" class="node">
<title>n13</title>
<path fill="#868e96" stroke="black" d="M128.3,-410.07C128.3,-410.07 85.7,-410.07 85.7,-410.07 79.7,-410.07 73.7,-404.07 73.7,-398.07 73.7,-398.07 73.7,-386.07 73.7,-386.07 73.7,-380.07 79.7,-374.07 85.7,-374.07 85.7,-374.07 128.3,-374.07 128.3,-374.07 134.3,-374.07 140.3,-380.07 140.3,-386.07 140.3,-386.07 140.3,-398.07 140.3,-398.07 140.3,-404.07 134.3,-410.07 128.3,-410.07"/>
<text xml:space="preserve" text-anchor="middle" x="107" y="-387.79" font-family="Helvetica,sans-Serif" font-size="12.00" fill="white">module</text>
</g>
<!-- n13&#45;&gt;n12 -->
<g id="edge10" class="edge">
<title>n13&#45;&gt;n12</title>
<path fill="none" stroke="#5b7bb4" d="M107,-373.9C107,-366.12 107,-356.68 107,-347.75"/>
<polygon fill="#5b7bb4" stroke="#5b7bb4" points="110.5,-347.99 107,-337.99 103.5,-347.99 110.5,-347.99"/>
</g>
</g>
</svg>