From 39b7a145145fd4bbd8ebbe11a5c7827d434fe36f Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Tue, 21 May 2024 14:32:57 +0200
Subject: [PATCH 1/3] feat: add a logo

---
 README.md | 4 ++++
 logo.svg  | 7 +++++++
 2 files changed, 11 insertions(+)
 create mode 100644 logo.svg

diff --git a/README.md b/README.md
index b5bbfc400..98e529df5 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,7 @@
+<p align="center">
+  <img src="logo.svg"/>
+</p>
+
 <p align="center">
   <a href="https://hacspec.org/">🌐 Website</a> |
   <a href="https://hacspec.org/book">📖 Book</a> |
diff --git a/logo.svg b/logo.svg
new file mode 100644
index 000000000..7d3e6253f
--- /dev/null
+++ b/logo.svg
@@ -0,0 +1,7 @@
+<!-- <svg width="195.529" height="61.184" viewBox="0 0 51.734 16.188" xmlns="http://www.w3.org/2000/svg"> -->
+<svg width="293.2935" height="91.776" viewBox="0 0 51.734 16.188" xmlns="http://www.w3.org/2000/svg">
+  <path style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#a12000;stroke-width:.264583" d="M50.688 118.29h-2.032v-16.121h2.032zm11.354 0H60.01v-7.519h-8.264v-1.784h8.264v-6.818h2.032z" transform="translate(-48.656 -102.169)"/>
+  <path style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#d14b03;stroke-width:.264583" d="m76.86 102.169-.87 2.359c.044.15.091.32.147.53.105.332.21.656.316.972.105.316.18.534.226.654l1.806 4.877h-5.103l-.677 1.806h6.39l1.941 4.99h2.1zm-7.133 16.188h-2.054l6.299-16.188h1.829a1078.59 1078.59 0 0 1-6.074 16.188z" transform="translate(-49.655 -102.169)"/>
+  <path style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#f87c32;stroke-width:.264583" d="m113.802 69.143 5.013 7.721-5.351 8.4h2.145l4.335-7 4.267 7h2.303c-3.394-5.446-7.053-10.681-10.453-16.121z" transform="translate(-75.351 -69.143)"/>
+  <path style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#ffba6e;fill-opacity:1;stroke-width:.264583" d="m122.095 76.819 4.99-7.676h-2.145l-3.974 6.321z" transform="translate(-75.351 -69.143)"/>
+</svg>

From ed498a5eb66028b6cd5808f607597147540aa7fd Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Tue, 28 May 2024 19:03:13 +0200
Subject: [PATCH 2/3] alt version of logo

---
 logo-alt.svg | 61 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 61 insertions(+)
 create mode 100644 logo-alt.svg

diff --git a/logo-alt.svg b/logo-alt.svg
new file mode 100644
index 000000000..527ae6f84
--- /dev/null
+++ b/logo-alt.svg
@@ -0,0 +1,61 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- <svg width="195.529" height="61.184" viewBox="0 0 51.734 16.188" xmlns="http://www.w3.org/2000/svg"> -->
+
+<svg
+   width="293.29349"
+   height="91.394531"
+   viewBox="0 0 51.734 16.120714"
+   version="1.1"
+   id="svg4"
+   sodipodi:docname="logo-alt.svg"
+   inkscape:version="1.3.2 (091e20ef0f, 2023-11-25)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <defs
+     id="defs4" />
+  <sodipodi:namedview
+     id="namedview4"
+     pagecolor="#ffffff"
+     bordercolor="#000000"
+     borderopacity="0.25"
+     inkscape:showpageshadow="2"
+     inkscape:pageopacity="0.0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1"
+     inkscape:zoom="11.621412"
+     inkscape:cx="209.0968"
+     inkscape:cy="7.8733979"
+     inkscape:window-width="2256"
+     inkscape:window-height="1504"
+     inkscape:window-x="0"
+     inkscape:window-y="0"
+     inkscape:window-maximized="1"
+     inkscape:current-layer="svg4" />
+  <path
+     style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#960000;fill-opacity:1;stroke-width:0.264583"
+     d="M 0,16.120891 H 2.032 V 8.6018904 h 8.264 v -1.784 H 2.032 V -1.0964709e-4 H 0 Z"
+     id="path1"
+     sodipodi:nodetypes="ccccccccc" />
+  <path
+     id="path2"
+     style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#d14b03;fill-opacity:1;stroke-width:0.264585;stroke-dasharray:none"
+     d="M 18.043788,-1.7860709e-4 24.316997,16.120891 h 1.829012 A 1078.59,1078.59 0 0 0 20.097421,-1.7860709e-4 Z m 13.311234,0 L 29.439883,4.9228902 h -6.389999 l 0.676965,1.8059291 h 5.103248 l -1.805929,4.8772487 c -0.046,0.12 -0.120999,0.337883 -0.225999,0.653883 -0.106,0.316 -0.211262,0.639867 -0.316262,0.971867 -0.056,0.21 -0.102762,0.380203 -0.146762,0.530203 l 0.869892,2.35887 6.250127,-16.12106960709 z" />
+  <g
+     id="g1"
+     transform="translate(0,-0.06693123)">
+    <path
+       style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#f87c32;fill-opacity:1;stroke-width:0.264583"
+       d="m 38.451,0.066822 5.013,7.721 -5.351,8.4 h 2.145 l 4.335,-7 4.267,7 h 2.303 c -3.394,-5.446 -7.053,-10.681 -10.453,-16.121 z"
+       id="path3" />
+    <path
+       style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#ffba6e;fill-opacity:1;stroke-width:0.264583"
+       d="m 46.744,7.742822 4.99,-7.676 h -2.145 l -3.974,6.321 z"
+       id="path4" />
+  </g>
+  <path
+     d="m 11.354,16.120891 h 2.032 V 2.4735291e-4 h -2.032 z"
+     style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#b42602;fill-opacity:1;stroke-width:0.264583"
+     id="path1-3" />
+</svg>

From d7265c2177f12ce82224682e47f8b94ed7baf0a1 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas.franceschino@inria.fr>
Date: Thu, 6 Jun 2024 14:27:54 +0200
Subject: [PATCH 3/3] use logo-alt, use `A` not a forall

---
 logo-alt.svg | 61 -------------------------------------------------
 logo.svg     | 64 ++++++++++++++++++++++++++++++++++++++++++++++++----
 2 files changed, 59 insertions(+), 66 deletions(-)
 delete mode 100644 logo-alt.svg

diff --git a/logo-alt.svg b/logo-alt.svg
deleted file mode 100644
index 527ae6f84..000000000
--- a/logo-alt.svg
+++ /dev/null
@@ -1,61 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<!-- <svg width="195.529" height="61.184" viewBox="0 0 51.734 16.188" xmlns="http://www.w3.org/2000/svg"> -->
-
-<svg
-   width="293.29349"
-   height="91.394531"
-   viewBox="0 0 51.734 16.120714"
-   version="1.1"
-   id="svg4"
-   sodipodi:docname="logo-alt.svg"
-   inkscape:version="1.3.2 (091e20ef0f, 2023-11-25)"
-   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
-   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
-   xmlns="http://www.w3.org/2000/svg"
-   xmlns:svg="http://www.w3.org/2000/svg">
-  <defs
-     id="defs4" />
-  <sodipodi:namedview
-     id="namedview4"
-     pagecolor="#ffffff"
-     bordercolor="#000000"
-     borderopacity="0.25"
-     inkscape:showpageshadow="2"
-     inkscape:pageopacity="0.0"
-     inkscape:pagecheckerboard="0"
-     inkscape:deskcolor="#d1d1d1"
-     inkscape:zoom="11.621412"
-     inkscape:cx="209.0968"
-     inkscape:cy="7.8733979"
-     inkscape:window-width="2256"
-     inkscape:window-height="1504"
-     inkscape:window-x="0"
-     inkscape:window-y="0"
-     inkscape:window-maximized="1"
-     inkscape:current-layer="svg4" />
-  <path
-     style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#960000;fill-opacity:1;stroke-width:0.264583"
-     d="M 0,16.120891 H 2.032 V 8.6018904 h 8.264 v -1.784 H 2.032 V -1.0964709e-4 H 0 Z"
-     id="path1"
-     sodipodi:nodetypes="ccccccccc" />
-  <path
-     id="path2"
-     style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#d14b03;fill-opacity:1;stroke-width:0.264585;stroke-dasharray:none"
-     d="M 18.043788,-1.7860709e-4 24.316997,16.120891 h 1.829012 A 1078.59,1078.59 0 0 0 20.097421,-1.7860709e-4 Z m 13.311234,0 L 29.439883,4.9228902 h -6.389999 l 0.676965,1.8059291 h 5.103248 l -1.805929,4.8772487 c -0.046,0.12 -0.120999,0.337883 -0.225999,0.653883 -0.106,0.316 -0.211262,0.639867 -0.316262,0.971867 -0.056,0.21 -0.102762,0.380203 -0.146762,0.530203 l 0.869892,2.35887 6.250127,-16.12106960709 z" />
-  <g
-     id="g1"
-     transform="translate(0,-0.06693123)">
-    <path
-       style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#f87c32;fill-opacity:1;stroke-width:0.264583"
-       d="m 38.451,0.066822 5.013,7.721 -5.351,8.4 h 2.145 l 4.335,-7 4.267,7 h 2.303 c -3.394,-5.446 -7.053,-10.681 -10.453,-16.121 z"
-       id="path3" />
-    <path
-       style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#ffba6e;fill-opacity:1;stroke-width:0.264583"
-       d="m 46.744,7.742822 4.99,-7.676 h -2.145 l -3.974,6.321 z"
-       id="path4" />
-  </g>
-  <path
-     d="m 11.354,16.120891 h 2.032 V 2.4735291e-4 h -2.032 z"
-     style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#b42602;fill-opacity:1;stroke-width:0.264583"
-     id="path1-3" />
-</svg>
diff --git a/logo.svg b/logo.svg
index 7d3e6253f..38f1960a1 100644
--- a/logo.svg
+++ b/logo.svg
@@ -1,7 +1,61 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!-- <svg width="195.529" height="61.184" viewBox="0 0 51.734 16.188" xmlns="http://www.w3.org/2000/svg"> -->
-<svg width="293.2935" height="91.776" viewBox="0 0 51.734 16.188" xmlns="http://www.w3.org/2000/svg">
-  <path style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#a12000;stroke-width:.264583" d="M50.688 118.29h-2.032v-16.121h2.032zm11.354 0H60.01v-7.519h-8.264v-1.784h8.264v-6.818h2.032z" transform="translate(-48.656 -102.169)"/>
-  <path style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#d14b03;stroke-width:.264583" d="m76.86 102.169-.87 2.359c.044.15.091.32.147.53.105.332.21.656.316.972.105.316.18.534.226.654l1.806 4.877h-5.103l-.677 1.806h6.39l1.941 4.99h2.1zm-7.133 16.188h-2.054l6.299-16.188h1.829a1078.59 1078.59 0 0 1-6.074 16.188z" transform="translate(-49.655 -102.169)"/>
-  <path style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#f87c32;stroke-width:.264583" d="m113.802 69.143 5.013 7.721-5.351 8.4h2.145l4.335-7 4.267 7h2.303c-3.394-5.446-7.053-10.681-10.453-16.121z" transform="translate(-75.351 -69.143)"/>
-  <path style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#ffba6e;fill-opacity:1;stroke-width:.264583" d="m122.095 76.819 4.99-7.676h-2.145l-3.974 6.321z" transform="translate(-75.351 -69.143)"/>
+
+<svg
+   width="293.29349"
+   height="91.394531"
+   viewBox="0 0 51.734 16.120714"
+   version="1.1"
+   id="svg4"
+   sodipodi:docname="logo-alt.svg"
+   inkscape:version="1.3.2 (091e20ef0f, 2023-11-25)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <defs
+     id="defs4" />
+  <sodipodi:namedview
+     id="namedview4"
+     pagecolor="#ffffff"
+     bordercolor="#000000"
+     borderopacity="0.25"
+     inkscape:showpageshadow="2"
+     inkscape:pageopacity="0.0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1"
+     inkscape:zoom="0.80203359"
+     inkscape:cx="231.28707"
+     inkscape:cy="165.20505"
+     inkscape:window-width="1402"
+     inkscape:window-height="1059"
+     inkscape:window-x="962"
+     inkscape:window-y="1069"
+     inkscape:window-maximized="1"
+     inkscape:current-layer="svg4" />
+  <path
+     style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#960000;fill-opacity:1;stroke-width:0.264583"
+     d="M 0,16.120891 H 2.032 V 8.6018904 h 8.264 v -1.784 H 2.032 V -1.0964709e-4 H 0 Z"
+     id="path1"
+     sodipodi:nodetypes="ccccccccc" />
+  <path
+     id="path2"
+     style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#d14b03;fill-opacity:1;stroke-width:0.264585;stroke-dasharray:none"
+     d="M 18.043788,16.120891 24.316997,-1.7860709e-4 h 1.829012 A 1078.59,1078.59 0 0 1 20.097421,16.120891 Z m 13.311234,0 -1.915139,-4.923069 h -6.389999 l 0.676965,-1.8059289 h 5.103248 L 27.024168,4.5146444 c -0.046,-0.12 -0.120999,-0.337883 -0.225999,-0.653883 -0.106,-0.316 -0.211262,-0.639867 -0.316262,-0.971867 -0.056,-0.21 -0.102762,-0.380203 -0.146762,-0.530203 L 27.205037,-1.7860709e-4 33.455164,16.120891 Z" />
+  <g
+     id="g1"
+     transform="translate(0,-0.06693123)">
+    <path
+       style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#f87c32;fill-opacity:1;stroke-width:0.264583"
+       d="m 38.451,0.066822 5.013,7.721 -5.351,8.4 h 2.145 l 4.335,-7 4.267,7 h 2.303 c -3.394,-5.446 -7.053,-10.681 -10.453,-16.121 z"
+       id="path3" />
+    <path
+       style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#ffba6e;fill-opacity:1;stroke-width:0.264583"
+       d="m 46.744,7.742822 4.99,-7.676 h -2.145 l -3.974,6.321 z"
+       id="path4" />
+  </g>
+  <path
+     d="m 11.354,16.120891 h 2.032 V 2.4735291e-4 h -2.032 z"
+     style="font-size:85.3333px;font-family:'Noto Sans';-inkscape-font-specification:'Noto Sans';white-space:pre;fill:#b42602;fill-opacity:1;stroke-width:0.264583"
+     id="path1-3" />
 </svg>