docs: Add PULP logo to README

fischeti · fischeti · commit 74864c0baa1e · 2026-04-01T15:52:48.000+02:00
diff --git a/README.md b/README.md
@@ -77,4 +77,8 @@ at your option.
 
 ---
 
+<a href="https://pulp-platform.org/">
+<img src="website/pulp_logo_icon.svg" alt="PULP Platform" width="80" align="right">
+</a>
+
 Bender is maintained by the [PULP Platform](https://pulp-platform.org/) at ETH Zurich and the University of Bologna.
diff --git a/website/pulp_logo_icon.svg b/website/pulp_logo_icon.svg
@@ -0,0 +1,194 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   width="335.366pt"
+   height="287.43991pt"
+   viewBox="0 0 335.36598 287.43992"
+   version="1.1"
+   id="svg77"
+   xmlns:xlink="http://www.w3.org/1999/xlink"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <defs
+     id="defs33">
+    <g
+       id="g22">
+      <g
+         id="glyph-0-0" />
+      <g
+         id="glyph-0-1">
+        <path
+           d="M 2.390625,-37.125 V 0 h 6.59375 v -11.921875 c 0.03125,0.04687 0.125,0.04687 0.125,0.04687 0,-0.203125 -0.046875,-0.3125 -0.125,-0.3125 l 17.703125,-0.04687 c 3.484375,0 6.34375,-3.46875 6.34375,-7.640625 v -9.609375 c 0,-4.1875 -2.859375,-7.640625 -6.34375,-7.640625 z m 6.59375,8 H 26.34375 v 8.828125 H 8.984375 Z m 0,0"
+           id="path19" />
+      </g>
+    </g>
+    <clipPath
+       id="clip-0">
+      <path
+         clip-rule="nonzero"
+         d="M 68,92 H 321 V 291.96875 H 68 Z m 0,0"
+         id="path24" />
+    </clipPath>
+    <clipPath
+       id="clip-1">
+      <path
+         clip-rule="nonzero"
+         d="M 141,20 H 340.15625 V 272 H 141 Z m 0,0"
+         id="path27" />
+    </clipPath>
+    <clipPath
+       id="clip-2">
+      <path
+         clip-rule="nonzero"
+         d="M 156,49 H 340.15625 V 265 H 156 Z m 0,0"
+         id="path30" />
+    </clipPath>
+  </defs>
+  <path
+     fill-rule="nonzero"
+     fill="#b4b4b5"
+     fill-opacity="1"
+     d="m 258.9518,210.57152 c 0,0 -14.08594,-14.07422 -19.98438,-19.98438 -5.90625,-5.89453 -8.20312,23.27735 -26.20312,5.26563 -18.39454,-18.38672 9.80859,-21.65625 5.55078,-25.92188 -4.26563,-4.26172 -20.25391,-20.26172 -20.25391,-20.26172 -0.004,-0.004 -0.008,-0.008 -0.008,-0.008 -3.20313,-3.19141 -8.39844,-3.1875 -11.60156,0.008 0,0 -15.99219,16 -20.25391,20.26172 -4.25781,4.26172 -7.53906,-23.93359 -25.92969,-5.55078 -18.0039,18.00391 11.17188,20.3125 5.27735,26.20703 -5.90625,5.91016 -19.98047,19.98438 -19.98047,19.98438 -3.20703,3.1914 -3.20703,8.40234 0,11.60156 l 60.88672,60.87891 c 3.20312,3.19921 8.40234,3.19921 11.60937,0 l 60.89063,-60.87891 c 3.19531,-3.19922 3.19531,-8.39844 0.008,-11.60156 z m 0,0"
+     id="path35" />
+  <g
+     clip-path="url(#clip-0)"
+     id="g39"
+     transform="translate(-2.3958649,-2.264424)">
+    <path
+       fill="none"
+       stroke-width="4"
+       stroke-linecap="butt"
+       stroke-linejoin="miter"
+       stroke="#b4b4b5"
+       stroke-opacity="1"
+       stroke-miterlimit="10"
+       d="m -9.4375e-4,-7.375e-4 c 0,0 -14.08593725,14.0742185 -19.98437525,19.9843745 -5.90625,5.894532 -8.203125,-23.277343 -26.203125,-5.265625 -18.394531,18.386719 9.808594,21.65625 5.550781,25.921875 -4.265625,4.261719 -20.253906,20.261719 -20.253906,20.261719 -0.0039,0.0039 -0.0078,0.0078 -0.0078,0.0078 -3.203125,3.191406 -8.398438,3.1875 -11.601563,-0.0078 0,0 -15.992187,-16 -20.253906,-20.261719 -4.257813,-4.261718 -7.539062,23.933594 -25.929692,5.550782 -18.0039,-18.003907 11.17188,-20.3125 5.27735,-26.207032 -5.90625,-5.910156 -19.98047,-19.9843745 -19.98047,-19.9843745 -3.20703,-3.1914065 -3.20703,-8.4023435 0,-11.6015625 l 60.886718,-60.878906 c 3.203125,-3.199219 8.402344,-3.199219 11.609375,0 L -9.4375e-4,-11.6023 C 3.194369,-8.403081 3.194369,-3.203863 0.00686875,-7.375e-4 Z m 0,0"
+       transform="matrix(1,0,0,-1,261.3486,212.8352)"
+       id="path37" />
+  </g>
+  <path
+     fill-rule="nonzero"
+     fill="#1cb24b"
+     fill-opacity="1"
+     d="m 76.885385,210.41527 c 0,0 14.074219,-14.08594 19.972656,-19.96875 0.05469,-0.0547 0.08594,-0.10547 0.132813,-0.16016 -4.867188,-4.82031 -22.488281,-10.00391 -5.929688,-26.57812 16.933604,-16.92579 22.898444,-0.0547 27.105474,5.41796 5.02734,-5.02734 19.60547,-19.60156 19.60547,-19.60156 0,-0.004 0,-0.008 0.004,-0.008 3.19922,-3.20703 3.19922,-8.39453 -0.004,-11.60156 0,0 -15.99219,-15.99219 -20.25781,-20.2461 -4.26172,-4.27343 23.93359,-7.54687 5.55468,-25.9375 -18.01562,-17.995904 -20.3125,11.18379 -26.210939,5.277534 -5.898437,-5.898438 -19.972656,-19.976563 -19.972656,-19.976563 -3.207031,-3.203125 -8.402344,-3.203125 -11.609375,0 L 4.3892911,137.91527 c -3.203125,3.20703 -3.203125,8.39843 0,11.60937 L 65.27601,210.41917 c 3.207031,3.19532 8.390625,3.19532 11.601563,0.008 0.0039,-0.004 0.0039,-0.004 0.0078,-0.0117"
+     id="path41" />
+  <path
+     fill="none"
+     stroke-width="4"
+     stroke-linecap="butt"
+     stroke-linejoin="miter"
+     stroke="#1cb24b"
+     stroke-opacity="1"
+     stroke-miterlimit="10"
+     d="m 76.885385,210.41527 c 0,0 14.074219,-14.08594 19.972656,-19.96875 0.05469,-0.0547 0.08594,-0.10547 0.132813,-0.16016 -4.867188,-4.82031 -22.488281,-10.00391 -5.929688,-26.57812 16.933594,-16.92579 22.898444,-0.0547 27.105474,5.41796 5.02734,-5.02734 19.60547,-19.60156 19.60547,-19.60156 0,-0.004 0,-0.008 0.004,-0.008 3.19922,-3.20703 3.19922,-8.39453 -0.004,-11.60156 0,0 -15.99219,-15.99219 -20.25781,-20.24609 -4.26172,-4.27344 23.93359,-7.54688 5.55468,-25.937511 -18.01562,-17.99609 -20.3125,11.183601 -26.210939,5.27735 -5.898437,-5.89844 -19.972656,-19.97656 -19.972656,-19.97656 -3.207031,-3.20313 -8.402344,-3.20313 -11.609375,0 L 4.3892911,137.91527 c -3.203125,3.20703 -3.203125,8.39843 0,11.60937 L 65.27601,210.41917 c 3.207031,3.19532 8.390625,3.19532 11.601562,0.008 0.0039,-0.004 0.0039,-0.004 0.0078,-0.0117 z m 0,0"
+     id="path43" />
+  <path
+     fill-rule="nonzero"
+     fill="#5e5e5e"
+     fill-opacity="1"
+     d="m 258.47523,77.032451 c 0,0 -14.07422,14.082031 -19.96875,19.976563 -5.91797,5.906256 23.27344,8.191406 5.26953,26.207036 -18.39062,18.39062 -21.67968,-9.82031 -25.92968,-5.54688 -4.26563,4.25782 -20.26172,20.2461 -20.26172,20.2461 0,0.004 -0.004,0.004 -0.004,0.008 -3.19922,3.20703 -3.19922,8.39453 0.004,11.60156 0,0 15.99219,15.9961 20.26172,20.25781 4.25,4.26172 -23.9375,7.53907 -5.5586,25.92188 18.00782,18.01172 20.30078,-11.17578 26.21485,-5.25781 5.89453,5.88672 19.97265,19.97265 19.97265,19.97265 3.21485,3.19532 8.39844,3.19532 11.60938,0.004 l 60.88672,-60.89844 c 3.21093,-3.20703 3.21093,-8.40234 0,-11.60937 L 270.08461,77.032451 c -3.21094,-3.199219 -8.38281,-3.203125 -11.59766,-0.0078 -0.004,0.0039 -0.008,0.0078 -0.0117,0.0078"
+     id="path45" />
+  <g
+     clip-path="url(#clip-1)"
+     id="g49"
+     transform="translate(-2.3958649,-2.264424)">
+    <path
+       fill="none"
+       stroke-width="4"
+       stroke-linecap="butt"
+       stroke-linejoin="miter"
+       stroke="#5e5e5e"
+       stroke-opacity="1"
+       stroke-miterlimit="10"
+       d="m -0.00100625,0.001225 c 0,0 -14.07421875,-14.082031 -19.96874975,-19.976562 -5.917969,-5.90625 23.273437,-8.191407 5.269531,-26.207032 -18.390625,-18.390625 -21.679687,9.820313 -25.929687,5.546875 -4.265625,-4.257812 -20.261719,-20.246093 -20.261719,-20.246093 0,-0.0039 -0.0039,-0.0039 -0.0039,-0.0078 -3.199219,-3.207031 -3.199219,-8.394531 0.0039,-11.601562 0,0 15.992187,-15.996094 20.261719,-20.257813 4.25,-4.261719 -23.9375,-7.539068 -5.558594,-25.921878 18.007812,-18.01172 20.300781,11.17578 26.214844,5.25781 5.894531,-5.88672 19.97265575,-19.97265 19.97265575,-19.97265 3.21484425,-3.19532 8.39843725,-3.19532 11.60937525,-0.004 l 60.886719,60.898441 c 3.210937,3.207031 3.210937,8.402343 0,11.609375 L 11.608369,0.001225 C 8.397431,3.200444 3.225556,3.20435 0.0107125,0.0090375 0.00680625,0.00513125 0.0029,0.001225 -0.00100625,0.001225 Z m 0,0"
+       transform="matrix(1,0,0,-1,260.8721,79.2981)"
+       id="path47" />
+  </g>
+  <path
+     fill-rule="nonzero"
+     fill="#000000"
+     fill-opacity="1"
+     d="m 258.9518,76.876201 c 3.19531,-3.203125 3.19531,-8.402344 0,-11.601563 L 198.06117,4.38792 c -3.20703,-3.199219 -8.40625,-3.199219 -11.60937,0 l -60.88672,60.886718 c -3.20313,3.199219 -3.20703,8.390626 -0.004,11.601563 h 0.004 c 0,0 14.07422,14.078125 19.98047,19.984375 0.14453,0.148438 0.28906,0.257812 0.42968,0.359375 5.10157,-3.386719 9.87891,-24.179687 27.4336,-6.644531 17.96484,17.96875 -2.14063,23.58594 -6.28516,27.86329 5.26563,5.26953 19.32813,19.33203 19.32813,19.33203 0,0.004 0.004,0.008 0.008,0.008 3.20703,3.19922 8.39453,3.19531 11.60156,-0.008 0,0 15.98828,-15.98828 20.25391,-20.25782 4.25781,-4.26171 7.53515,23.92969 25.91406,5.55469 18.02344,-18.01172 -11.16797,-20.3125 -5.26172,-26.207034 5.89844,-5.90625 19.98438,-19.984375 19.98438,-19.984375"
+     id="path51" />
+  <path
+     fill="none"
+     stroke-width="4"
+     stroke-linecap="butt"
+     stroke-linejoin="miter"
+     stroke="#000000"
+     stroke-opacity="1"
+     stroke-miterlimit="10"
+     d="m 258.9518,76.876201 c 3.19531,-3.203125 3.19531,-8.402344 0,-11.601562 L 198.06117,4.38792 c -3.20703,-3.199219 -8.40625,-3.199219 -11.60937,0 l -60.88672,60.886719 c -3.20313,3.199218 -3.20703,8.390625 -0.004,11.601562 h 0.004 c 0,0 14.07422,14.078125 19.98047,19.984375 0.14453,0.148438 0.28906,0.257813 0.42968,0.359375 5.10157,-3.386719 9.87891,-24.179687 27.4336,-6.644531 17.96484,17.96875 -2.14063,23.58594 -6.28516,27.86329 5.26563,5.26953 19.32813,19.33203 19.32813,19.33203 0,0.004 0.004,0.008 0.008,0.008 3.20703,3.19921 8.39453,3.19531 11.60156,-0.008 0,0 15.98828,-15.98828 20.2539,-20.25782 4.25782,-4.26171 7.53516,23.92969 25.91407,5.55469 18.02343,-18.01172 -11.16797,-20.3125 -5.26172,-26.207034 5.89844,-5.90625 19.98437,-19.984375 19.98437,-19.984375 z m 0,0"
+     id="path53" />
+  <g
+     clip-path="url(#clip-2)"
+     id="g57"
+     transform="translate(-2.3958649,-2.264424)">
+    <path
+       fill="none"
+       stroke-width="7"
+       stroke-linecap="square"
+       stroke-linejoin="miter"
+       stroke="#ffffff"
+       stroke-opacity="1"
+       stroke-miterlimit="9"
+       d="M 0.00195,7.8125e-4 C 3.986325,-3.897656 6.455075,-9.311719 6.455075,-15.276563 c 0,-11.875 -9.730469,-21.480468 -21.734375,-21.480468 -12.015625,0 -21.753906,9.605468 -21.753906,21.480468 0,6.074219 2.554687,11.554688 6.65625,15.464844"
+       transform="matrix(1,0,0,-1,282.9043,139.0125)"
+       id="path55" />
+  </g>
+  <path
+     fill="none"
+     stroke-width="7"
+     stroke-linecap="square"
+     stroke-linejoin="miter"
+     stroke="#ffffff"
+     stroke-opacity="1"
+     stroke-miterlimit="9"
+     d="m 265.22914,153.13011 v -29.5625"
+     id="path59" />
+  <path
+     fill-rule="nonzero"
+     fill="#000000"
+     fill-opacity="1"
+     d="m 47.393197,129.41917 c 0.691407,-0.6875 1.847657,-0.64453 2.585938,0.0937 l 12.863281,12.87891 c 0.738281,0.72266 0.78125,1.88281 0.09766,2.57031 L 49.889294,158.0285 c -0.691406,0.6875 -1.847656,0.64062 -2.59375,-0.0977 L 34.43226,145.0637 c -0.738281,-0.73828 -0.78125,-1.89843 -0.08984,-2.58593 z m 0,0"
+     id="path61" />
+  <path
+     fill-rule="nonzero"
+     fill="#000000"
+     fill-opacity="1"
+     d="m 68.260385,108.56371 c 0.6875,-0.69141 1.839844,-0.64454 2.585938,0.0937 l 12.859374,12.85546 c 0.742188,0.75 0.785157,1.90625 0.09375,2.59766 l -13.046874,13.05078 c -0.6875,0.6875 -1.847657,0.64063 -2.59375,-0.0977 L 55.295541,124.20042 c -0.738281,-0.74609 -0.785156,-1.90234 -0.09375,-2.58984 z m 0,0"
+     id="path63" />
+  <path
+     fill-rule="nonzero"
+     fill="#000000"
+     fill-opacity="1"
+     d="m 68.260385,150.29027 c 0.6875,-0.6875 1.839844,-0.64844 2.585938,0.0898 l 12.859374,12.86719 c 0.742188,0.73437 0.785157,1.89453 0.09375,2.58203 l -13.046874,13.05859 c -0.6875,0.6875 -1.847657,0.63672 -2.59375,-0.0977 L 55.295541,165.92699 c -0.738281,-0.7461 -0.785156,-1.90625 -0.09375,-2.58985 z m 0,0"
+     id="path65" />
+  <path
+     fill-rule="nonzero"
+     fill="#000000"
+     fill-opacity="1"
+     d="m 89.123666,129.41917 c 0.683594,-0.6875 1.839844,-0.64453 2.585938,0.0937 l 12.863286,12.875 c 0.73828,0.72657 0.77734,1.88672 0.0898,2.57422 L 91.615814,158.0285 c -0.6875,0.6875 -1.847657,0.63672 -2.59375,-0.0977 l -12.863241,-12.871 c -0.738282,-0.73438 -0.785157,-1.89453 -0.08984,-2.58203 z m 0,0"
+     id="path67" />
+  <g
+     fill="#ffffff"
+     fill-opacity="1"
+     id="g71"
+     transform="translate(-2.3958649,-2.264424)">
+    <use
+       xlink:href="#glyph-0-1"
+       x="178.8008"
+       y="75.881104"
+       id="use69" />
+  </g>
+  <g
+     fill="#000000"
+     fill-opacity="1"
+     id="g75"
+     transform="translate(-2.3958649,-2.264424)">
+    <use
+       xlink:href="#glyph-0-1"
+       x="178.8008"
+       y="255.30647"
+       id="use73" />
+  </g>
+</svg>
