Add initial files

author: Yann Herklotz <git@yannherklotz.com> 2021-09-02 11:28:21 +0200
committer: Yann Herklotz <git@yannherklotz.com> 2021-09-02 11:28:21 +0200
commit: 77afcd337370da8c8e5425e86978cacd72850ae0 (patch)
tree: f056fc39908e8c72523acd3cc1594b6b8040028e /static/docs
download: yannherklotz.com-77afcd337370da8c8e5425e86978cacd72850ae0.tar.gz
yannherklotz.com-77afcd337370da8c8e5425e86978cacd72850ae0.zip
19 files changed, 211 insertions, 0 deletions
diff --git a/static/docs/RTDSP_paper.pdf b/static/docs/RTDSP_paper.pdf
new file mode 100644
index 0000000..39d8f87
--- /dev/null
+++ b/static/docs/RTDSP_paper.pdf
diff --git a/static/docs/drafts/formal_hls.pdf/index.html b/static/docs/drafts/formal_hls.pdf/index.html
new file mode 100644
index 0000000..6f7d235
--- /dev/null
+++ b/static/docs/drafts/formal_hls.pdf/index.html
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/papers/fvhls_oopsla21.pdf'" />
+  </head>
+  <body>
+  </body>
+</html>
diff --git a/static/docs/drafts/formal_hls_v1.pdf b/static/docs/drafts/formal_hls_v1.pdf
new file mode 100644
index 0000000..9169b33
--- /dev/null
+++ b/static/docs/drafts/formal_hls_v1.pdf
diff --git a/static/docs/drafts/fuzzing_hls.pdf/index.html b/static/docs/drafts/fuzzing_hls.pdf/index.html
new file mode 100644
index 0000000..29b0c34
--- /dev/null
+++ b/static/docs/drafts/fuzzing_hls.pdf/index.html
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/papers/esrhls_fccm2021.pdf'" />
+  </head>
+  <body>
+  </body>
+</html>
diff --git a/static/docs/drafts/fuzzing_hls_v1.pdf b/static/docs/drafts/fuzzing_hls_v1.pdf
new file mode 100755
index 0000000..4045979
--- /dev/null
+++ b/static/docs/drafts/fuzzing_hls_v1.pdf
diff --git a/static/docs/drafts/fuzzing_hls_v2.pdf b/static/docs/drafts/fuzzing_hls_v2.pdf
new file mode 100644
index 0000000..f4e867b
--- /dev/null
+++ b/static/docs/drafts/fuzzing_hls_v2.pdf
diff --git a/static/docs/fpga2020/verismith_bib.txt b/static/docs/fpga2020/verismith_bib.txt
new file mode 100644
index 0000000..104c1cd
--- /dev/null
+++ b/static/docs/fpga2020/verismith_bib.txt
@@ -0,0 +1,12 @@
+@inproceedings{herklotz20_findin_under_bugs_fpga_synth_tools,
+  author =       {Herklotz, Yann and Wickerson, John},
+  title =        {Finding and Understanding Bugs in FPGA Synthesis Tools},
+  booktitle =    {ACM/SIGDA International Symposium on Field-Programmable Gate
+                  Arrays},
+  doi =          {10.1145/3373087.3375310},
+  year =         2020,
+  location =     {Seaside, CA, USA},
+  numpages =     11,
+  publisher =    {ACM},
+  series =       {FPGA '20},
+}
diff --git a/static/docs/fpga2020/verismith_paper.pdf b/static/docs/fpga2020/verismith_paper.pdf
new file mode 100644
index 0000000..cfa400b
--- /dev/null
+++ b/static/docs/fpga2020/verismith_paper.pdf
diff --git a/static/docs/fpga2020/verismith_slides.pdf b/static/docs/fpga2020/verismith_slides.pdf
new file mode 100644
index 0000000..ebcf96e
--- /dev/null
+++ b/static/docs/fpga2020/verismith_slides.pdf
diff --git a/static/docs/fpga2020/verismith_thesis.pdf b/static/docs/fpga2020/verismith_thesis.pdf
new file mode 100644
index 0000000..80fde2c
--- /dev/null
+++ b/static/docs/fpga2020/verismith_thesis.pdf
diff --git a/static/docs/fpga2021/fpga2021_slides.pdf b/static/docs/fpga2021/fpga2021_slides.pdf
new file mode 100644
index 0000000..cec283c
--- /dev/null
+++ b/static/docs/fpga2021/fpga2021_slides.pdf
diff --git a/static/docs/msrphd2019/verismith_poster.pdf b/static/docs/msrphd2019/verismith_poster.pdf
new file mode 100755
index 0000000..60ce504
--- /dev/null
+++ b/static/docs/msrphd2019/verismith_poster.pdf
diff --git a/static/docs/pldi2020/vericert_slides.pdf b/static/docs/pldi2020/vericert_slides.pdf
new file mode 100755
index 0000000..66f8191
--- /dev/null
+++ b/static/docs/pldi2020/vericert_slides.pdf
diff --git a/static/docs/verismith/verismith_paper.pdf/index.html b/static/docs/verismith/verismith_paper.pdf/index.html
new file mode 100644
index 0000000..d4d3aa9
--- /dev/null
+++ b/static/docs/verismith/verismith_paper.pdf/index.html
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/papers/fubfst_fpga2020.pdf'" />
+  </head>
+  <body>
+  </body>
+</html>
diff --git a/static/docs/verismith/verismith_poster.pdf/index.html b/static/docs/verismith/verismith_poster.pdf/index.html
new file mode 100644
index 0000000..7fa2668
--- /dev/null
+++ b/static/docs/verismith/verismith_poster.pdf/index.html
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/docs/msrphd2019/verismith_poster.pdf'" />
+  </head>
+  <body>
+  </body>
+</html>
diff --git a/static/docs/verismith/verismith_slides.pdf/index.html b/static/docs/verismith/verismith_slides.pdf/index.html
new file mode 100644
index 0000000..b965be7
--- /dev/null
+++ b/static/docs/verismith/verismith_slides.pdf/index.html
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/docs/fpga2020/verismith_slides.pdf'" />
+  </head>
+  <body>
+  </body>
+</html>
diff --git a/static/docs/verismith/verismith_thesis.pdf/index.html b/static/docs/verismith/verismith_thesis.pdf/index.html
new file mode 100644
index 0000000..86b5893
--- /dev/null
+++ b/static/docs/verismith/verismith_thesis.pdf/index.html
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/docs/fpga2020/verismith_thesis.pdf'" />
+  </head>
+  <body>
+  </body>
+</html>
diff --git a/static/docs/yann_herklotz_cv.pdf b/static/docs/yann_herklotz_cv.pdf
new file mode 100644
index 0000000..a72e273
--- /dev/null
+++ b/static/docs/yann_herklotz_cv.pdf
diff --git a/static/docs/yannherklotz.gpg b/static/docs/yannherklotz.gpg
new file mode 100644
index 0000000..dfb35d2
--- /dev/null
+++ b/static/docs/yannherklotz.gpg
@@ -0,0 +1,151 @@
+-----BEGIN PGP PUBLIC KEY BLOCK-----
+
+mQINBFwaEIIBEAC+QdrjQA6L1/ebrs5OAqz14JVukIjqdj4Uw7Yt5627AX/GuHuv
+j2Nkmbs0ECoHSr2jt2IQ1CGVb7fbT/GJeXo3c6KURQ62GSYPCW8I4hwdnKRifycT
+zpAv7Y4opsP+SPn1P34hk9aGfkS2n+H8WoM3VRrnHfpC+NVudJ4sptLNNcGL5v+q
+GWaOXM3dSytriuH6+BRSsPo3gt1BvB2UMoh31fSNpZOLBb0HR1zJt5Ir0tiu53I+
+FgsU1PVJDV9ceCayCRTlLtJPLYXsGQNOgwvFYy0GW0wxd4V88zKj1V+WL4jdw3ZF
+QWh8WsJW1y5Q9OhraAYhyHqVMwZ1A9bGE3uI3b/w4ZZgyXBdu2jB5xo/iJMg/FFQ
+6vuD3dSK6gezTZdM/GIdsVOm669G4Pu7CIlO8LCc8MCNIvzWtCWtlyNvCTOoLcIO
+xs8JGJb94+Yio6vnVLso5YOHhGwYqwJy2Im1OEZKwwTIRwUQDHe5sMykzx4v+t9W
+Xsg0xklQjzK0maEQXgqJS/7Ai9x9x1/2DZdPWFqV3+XoJqfdrq9Ql6cWiRZOSwIK
+wa4/CWniDGcA9V/SfnOFYjpBrnJqQIBLxLNoBeK4Gi16mHznMxzPDcjueyoQMidO
+cdW+DBjjjEebGjcqrZ+K9SKPq16Eo70w07Ev5ehZ/BvUwrZzWH1AjslHqwARAQAB
+tCRZYW5uIEhlcmtsb3R6IDx5bWhlcmtsb3R6QGdtYWlsLmNvbT6JAk4EEwEKADgW
+IQTY2rMIPqHP9bLh09Zhr3U1iX5CsAUCXNv+mQIbAwULCQgHAwUVCgkICwUWAgMB
+AAIeAQIXgAAKCRBhr3U1iX5CsC8uD/0XTWjsiembAGWf4LKWTonLC3gtqnZrkEKo
+5XPqwdaUpKjUomYhSVOKqBWbdEWYsR5IfedzxuUgf4vmOMD4HYTG4BZHF9uCZs4E
+W9ID3vwzju1FVMxxKKftoSZyBwQ2sIMS95VQOXHc48mfVt3xfEi9uekrG9baIbDi
+pUikIhdpLxmMMocBG9q9Fgywsy30mCOPWgyOnZIRnmdNjerrZK9ImgMwmfMWd1JL
+M/9hmxj7uT+vKtMLOchHi+zaGNb4CM8ywwsiUXwp5KwxmPnd/jlSYFPl7FG7M1kB
+eoMIAjZ8wJ5PmrcCw+0eCuXw1fgjwSf8Tvh9UdN9HrShOa4Tfo6u13I62ZTrnLq7
+oYWwmhTSD7k/KIJvr/q1fyWoh2oQMdp/i/ARrEnYV/WjkafXIxx4azFp98fVx8ZV
+0N+oO4rSy284NSlFZr6YLA5WEbmScDxGKGj3zUYEQ8tELSfEyGVfdJSm8Pg6dXjZ
+5q3muJC8kFH1GEKu+RqgVX7yFQQX/XdUzBTJaI4yY7oFJD1EjMVehHCgPuvy7XXO
+lIj5rKtrlb9lZaiSv6u/nSWd3bYYDAdeUb6Qum2lmjZ2JToML67BtgKZpWRSZxMz
+QpFy54AaY+620k+fMY5p03qSzN9qNMqO0lZIhX/WRq4Nr8dQx1ELgci1y1CJ6ShX
+uQNCsHsMgrQlWWFubiBIZXJrbG90eiA8eWFubkB5YW5uaGVya2xvdHouY29tPokC
+TgQTAQoAOBYhBNjaswg+oc/1suHT1mGvdTWJfkKwBQJcw4cQAhsDBQsJCAcDBRUK
+CQgLBRYCAwEAAh4BAheAAAoJEGGvdTWJfkKwiDUQALO2enLQxukzoedGYr/4XIfA
+GJ+/o5wijjppUHQj+IoL0/CMXJV5iJ2MVbg3ljgeZU/7RwFwNqWjeSV/TRG1w03L
+CzaUp5680e0iZEixepjWfq/E6bhUUZd6RdKViZSt0gX0g/qEBQ5JdMeorZtA+Fid
+fHbV0UK6mglWT962mD1Fr794yl3QGtDUDNEG9TgMUduRzfHXByN+Z+kbdgsvEjOK
+4Tu9c2fFu3t3G0KMVCfMS9kPcneaqbR4Op6sa0GkdEzWG3SqPaGaacyL/t+9k6wx
+/uZkiHIVX8RAMM5WlSXABOETYiK5Wti5986OjfYc4Z+/+9aMLuD+6qQP/uDCgWBn
+CVBUqnNIChBfIjX28Dx2vpEG0od2/xbvRNBG0QgfcTsOrca+5vMYf6l95p9p5+H3
+BHoGyzn+RTYg1N8UNasOrS09GZTJUk/W3IZNPtSNw/Bc/VeH+jELR/HCmdqZyED9
+PeAwDPqs6qFemLViLfLZCt6o7D27pMlrNQU6szbJYKyGkVti+035sQq184i+tuh6
+TExdiGvHYN2F2u7Vvtf9TGdCN6/lafCd3y+CX/Aw5ls/kvbe1S+KhkAbaXBE6hT+
+L76w/d2lpKpPAPzJ37gseiT0Y+sELx54bXPqY1SOB93cIEmtFAXlx44ct0QnQKtZ
+JILr2kjeOGNVemTsiiddtCpZYW5uIEhlcmtsb3R6IChnaXQpIDxnaXRAeWFubmhl
+cmtsb3R6LmNvbT6JAk4EEwEKADgWIQTY2rMIPqHP9bLh09Zhr3U1iX5CsAUCXNv+
+SwIbAwULCQgHAwUVCgkICwUWAgMBAAIeAQIXgAAKCRBhr3U1iX5CsNjZD/0T7azH
+XOKvt398JxT/xdKwP6+BK+x8f1ALH+YP3xNB4HvOrokuIjHI46cDpywU3foXhocb
+MGW6+3g9HH+SMsg6LmDXs/n39bpo5StosB/re9EWa8vGl2wO+7kc+y6jE6DgS5AN
+hFJAXtAWuz5k4+X25wQwEmY1UTp35nFAZB8NI41GGguDY3tST+vcrpzqNZWzi3oz
+njKjBdq1ovR4FdgNc+rHTIp23Tp+hhdkuk0vdNo3l0w7IMhHSOuySqiRqYr4D78y
+B4MBufyFSwRf3cVOOB+asb4pTSodPKUu0JS9103nOkC/WTCwQi0iV2MmY3U7iNwS
+Ct4wzcX/jENdKWrcCLabkieEeJADseQ+Ge42rt51UlhaBIqBBx4YQHvCyspRXcAW
+V/r8LrIdZ1DS6GkcZX0jl4A1p9SH4XNiTT4ltwAenEt8/3iuHZU/2PSwdkoWdlbm
+YO8xrfML8B31227mAqKMhQZxdMbgwr5e0+1n4tVk8tGz9MbLk7NtlPNQfJSmB/QF
+UDHZsuOciIpYGh4QZ6nEFfMcddk4Tdn7HtU3LYmVbXaq2LW7vhyNW8gpIKke5i3k
+JRSadm/H1KM2wY8ymgA92aopZ3pXo4ETrxTzDS2tGuAUq3as3bL2x+NdG7Gdb6JD
+49pgFhpNiUS8GvmkT9H0lGkNyK46/6lTA49Q07kCDQRcGhCCARAAollKKv4qqpDk
+Un3DodOjF+wtLH7kY8WEvN5ntbHnQ06Ffz64B4d3D0Y8uB3JMENezV4rWD4HmXwC
+Pbj8tnKcrrUFujbWsdEI0pm1QbYBDjuT7NKAAigl+8wrOkZGBrcYfFe8EcX8lbrx
+DYyYDTIrtOYzjRkEOwC6UfYUM0EMA9HsPCTxEbidlqs4CDjYMivxblVBbjkDNNpU
+ha1TLTsVwWrtEHplJvmQUUFRUN/2/FLvQGPbG+JwocM7QJv7JTNctYtBq/sAmbFn
+j0XXl72lDhW9UnqxhVXVOXurmxKraQT2j2XWVYx1VCb5SONXQUjShO617jQUhz3W
+evl/eAYTHfzSlOUs3pZGniKV6ByG7EPI2cjQgwrf6HF7EcOedhoHkdH6NG3E1+Ux
+zyQayXdiCXyetLosjkVhKROwSDHWthXaAfZN9EFfeX928bZYyHdQvBy6CoUanv6M
+kiGYES2uealbbYVSf+a0aaleFu0VSWdZ+w7S+665bwRz8VFae2Km/z9uGptjOS7z
+6X9KG9Ad6+ChLvc9SpqCQxx6PIZd+255X3jcV5nSm5VSMWyZYqFn5769gS9sbs0I
+HM5yzGXiPgq9tgiz8dWd7BfPj+LJWFPsQEjl99AkLD87NHqmOs2F0w8GueDiQlRD
+mQeXE+M7ekWGY2VYdOxQC2fe5foer00AEQEAAYkCNgQYAQgAIBYhBNjaswg+oc/1
+suHT1mGvdTWJfkKwBQJcGhCCAhsMAAoJEGGvdTWJfkKwGzIP/jKOM5Yj1JrX3OMV
+W3yT1XZP0avYzgDLM968hvDsqpTp1LsmQ4jczaUMxHjRqA9anaAtU4U/W1tRI4//
+36Y06s19d1h0l7bDGJh2DHcmA9zOPQ0b2btKzfbk+m02VIvARbRY1dyFcQHSXJqd
+cGDNd1SzDAbkB+ly+L29OyKsPDbm3Z3P0xucV3QJctrBi17gqxLUrCR+P4aRK/Pb
+ZWGc/csUIEp1Qt8aJC5hSmv9NoH0VISgUk+/wBZ/LfRmLJy9ncJXnd5ml+FCFLec
+W1IU0FwQF6/p+7nncfGljRqf+4sNYIvolcHdgF3D8i/bwxw1HwJVrZidcjPKQdPQ
+9yQhtGnXrKTTeQzxazQMz/FNe2xBTtkQ1xfx99f32Kp9U6jKZtwwW+jINeaf+3lR
+5TTftcMVnKUrHnZM+sXSJ3nE9UZQ8DldcptY72a2FFNVuf4MAtgx1sGmvrL47U+8
+GJtMm3gege5HIViJ+GA/KJuFIRjMYw32wHL8oQDN88WyC1L1NrytWBA1tEE1Myg2
+iRRDzc4dVOCfsQuvy8gdxZd0EzJE+yDGc0d/7NVSnYm0YkCU8GS8CVhStSR8N/uW
++SDP2+G9dOcPV23LZ/e2gsKGGakUWAaq/IcD/Npm+j9/FseT6Eh/8PVdBGkggrvV
+heDJ+JXwjfmgIjjWntewJuV301rvuQSuBFxqzqMRDACxvKVXClAXEY+Kl74M7zfe
+iYOc3dQ+IhQ+KarKSJNcJYLOQeJf14iY5P1cYSkJM51iiwQ9Fp0aoL2/QdJVHYB6
+0ZnK7Rv9VsCF3IJ44Vo317LHu3GsOySVRnFG0Obfnj39Pgfd1r1vm9/kNONfflak
+3gVlgH4TVjZnTjA5Y2/ot0pTRTQdB/KCzSiT7lf/X3tX0O0d8vs6yNRuUfBI/rcQ
+qUpPgtlFlUMEs2z4uQhujg9ozH1aubcRu+WhN6UFXKIFqY+FOVnUcHiYXumnINMF
+OB6iap6bdrHfXPoKZdTqlNZQvtuSUJe30w6ojbPQXwCq5dkPvim5fahdev4BCzJH
+RX5BvXE71iIL4CdI2jxjWFKvgNfnZUCTK/nN67Bo1t9bQrrgPkcxwHwXXy7O/Ig+
+b8d5+NNR9EDT1ts/k8WIXvwR2u/AZpNZ9jcGL+18TAYBSdOYp7D6Q0VRe7ieLr0u
+G85RzEeoDuI/Gl+8ssZmq22a7qrgh1fXiZpNRYfSen8BAPvcdt99eXaEWntXD7h2
+DanpCgfZFLwTONLoqGCCgzP5C/9snsIxhbb79sDGnHlrI0jGkX9hxcV2rdf1atpi
+quqEAkSLvO/4S+Xm1SAbT0fO0Qw/s68+pFs7YTiGmBZK+REH4qh8tD3LmT8rZDux
+ZlRnG1JyEHf261CLJ7GqRtDgQ9tLF/ecHh/4+Y9CHCOxW/FRgZ2b7biUYmAZDPd8
+PY8TZjTcDJc7vwH32ZXDn8CRU0rJN0/xIF+K1mmWhkV9chBX/2rzdQ41Bb8qxj2b
+k06HV+NRghxjGEHgkORFdEli+q4lmHH8hXQIGcCPQ4bljyZfJFHqqRsDPkyUk7i0
+CLQpcaVhGOzO9I/3UUlgKh1g2brsJXHb/duq2VBJ57y0TZS8zXRrSUkuvQIESu6G
+EVj5LOTUbqxfAHyuYyyUAL0gCCbOVgg8xoZG71xjIbtn93knq64lblv8N4kQgKt3
+2m/5w2TG8v5O5sYu8lKPYLqdwtqbn+fs1x6PtZOo3rig/Iz03rzkzigUcA9QShB5
+xNjScw9YGrjpvmJWBpxUSjmFtscMAI2dwx9bTXrOdE6Vv2C48fb6Lun6JIY74A1E
+qu1uw5k0FnyNX8b1IrPPF/x2w4BA+92MALFL2VnDNZdta/PBokCQ8L81TOSrWIla
+0dcnIaYPadCnMXWOTxXwn0g3I+YpfMbqbYta1puLW+ncQRwDPdSekdTUACMMwKvS
+DjhTIgaLyF5NKQBK13E8wdZtqARKqmwNPB1bOxhb9QoLq1+er1XuLAhlo+YWtFxp
+5HbRIZz3CEatH70xii0jZQQz7dFRPkR0s9K6zcy9jKfX2upQz9yETLGNNT9ADfRd
+HTOK2+n8fP+PYmO0pM29ZnvToYi1DmsE3JhJ1QpgX3obuS3RvEcleOvREQE+iFWY
+wwioGtrEgdYcu5nWVM9sgjYoLq/0ZMBd//FAiSIGLwLUTzK4NUM9luwHAL8rkgo7
+v3WdE19w9t7tTqx8kzUMjKiJuPd8XJUgT5TBbfyZyHgJTuVyl4nlbbhgGgHLFKYn
+WGLh4W3OSljcIuJblPCYzb9JhlrXSYkCrQQYAQgAIBYhBNjaswg+oc/1suHT1mGv
+dTWJfkKwBQJcas6jAhsCAIEJEGGvdTWJfkKwdiAEGREIAB0WIQRzm091WfsDq1Qz
+6eDKZU03VveUlgUCXGrOowAKCRDKZU03VveUlo9qAP97GQdXQumAFgWNd4tWIxIo
+NFWsekmfQWsUmHGh11awYwEA45p80HWW0YK+ojEVkvW6TmkG9ETZzrPm6CuZAWRC
+vPSp+A/+OvB85JtoUi826ShesBqPHxxQ1mM6WGqX0TaJS7WPB+QzcpgzVL14hqhY
+/dPwYakoQdBN07LLPCHBaxiH7/1p9jE7dnOiEZ+iPXUW3CIGy9Egws+wZrVAe/Rl
+OSw94A9YFJIBnQ6NaT7zR4KQMiL0amaGMv0gEzS9WxVYN5NAXv8VY1cbErzR5aHa
+CDtFut71ifVRVdj+i+xMuCJq+ayUSi49b9PSt6wCQvm8EIIa682U+lxwktvB/o6X
+4qemgHqGSJ2NSaD3EYshcqdWXGOleHM4+X/NAQacBt7L3wdpP9zlwOtIhWtAJT6x
+X02kkpyD7GgwYvDOQAHzGcECmcttEZHjTYEF2HgqbBa86OCRBQjon531SZioPkil
+6zqOAa08kfivDsnapTAFVcS5zegkXw0EkUHeCqW/togoeCoJ2MKDt5ZX3JNBAnSc
+BDd9OIqXBkhTtzgg3hSFthRpqNE5nf0HlzTOWBVMI3By2CBdwDlZUIqikjBMYDRI
+7C00AUj6u1LvorReJv1HOWBTQ0SegQipMFSJPoY18CfUPV9Ri1MxGVkDjVTU9+st
+h0NkAv75nOZRx0fA8vVs54DpOfnaJwzPTFKnAjy0RJ72fVeQWc9e0gB+LJGRZAiR
+QSO906GojK/jukvOaCV+ecJlISOAxy22ImjziRLrF22htGMfIZO5BA0EXoYZXxAQ
+AIvAqbiddZCiMdpYHsiLX27IeGdsrJDGNuVP0TOWkM/iE6jgeshc0V6fDdL5MtnV
+F6tkQyIfvU+9v1rEjPpOmzgYvl706jBUS8ZkX0r9MdELVdmTLdtROozh/M8WQ/ux
+OVvwG4tfeNUWEZxOiNBsOR2jr/HjcYj8Ire9cYK9vRNzHmhZasx1ZKKaVJlx/wFB
+lUUJF8SKX7uTUQpJB0L7dqMUqdf4vI7cbaOnfvYOnOWyxH6XGJHFJIyprLOxVR32
+y3EZs6HiYXwbnrywlZpikOQYnFai5gzO6NLIC0ONiE7J+9TraVHvzgeSYtKft5Sc
+Ng6ChKlaFt1sFYbvyvOsAy2cbdNnZ2vX7rXEIn4TlTJLHd6tiuxFBSETXQ1cC7ue
+LU9msSHzocrRqOTlkT1ZSdcXECmx3ijMyq7MohOqB3JCTB5oFlburevCSEDGeV2b
+HbsyRdWoOdaLwV6bhODeFa1aaXjapOodiF6koZPd5pEKeXGMNhAlf8WGzLdNCt2/
+a1hQDgaTTFfg5vgxfPRJs5KHRrx641hdhO7qN8K3cdz7JZ1ifV5kfuPSxybxs0py
+OxgButDU0urJ+RynK7FGs/zK8xnaOr2ms0e6OnAvVZuux5YQ1Y10WHI6OWVcw5hp
+bJulp5oMELREe2ObnFWakAiQDEGXZ7jq8tcJbzBlyoSvAAMHD/9oEkKRUDFuHXwv
+TERv3Aob8gxBen/sc8i3YADskggSzfxkA7oqD15Ec0MRJD1eD8+cVhUMDPrXpLDc
+jC+yu1gMpmHNHl0FBUtisAzwV4k6iaQfZ3Fztx2S+LzL79P/ELLij7KvAj9Cnto+
+Iwn5mVka9NPJU3nYzNvJX1je/7gmnSZ39wRIJ0n/QO2NQKGrY+6V+AeApJCzsfCH
+ui1mBVyGhmbF/yiF18QxC+HiLhK31ktFtrOSMl8PCVZxCQsNQu9OBBuXRI1lmGYB
+Lv7ml58wP3Lga8Wejh2IkFKC5z0n4aoIJfWtqfMvQ74Qv30UimOHDjUL50mEZLLh
+VX4rp37MWKbnHhUqZHGsVxJCw+iWedC/PwC05FMOmkE+va5rf8fYvPCsWV9W9L9t
+UhhxXwxEOtWOZXMmPOi3v5yEDCY9Ic5ecJO62palqkzGyZ23FgOTcyz/RqKZr3/j
+eyQWpxkiAapSjyDv2VrFkyf20b3Y6j5IPQc5HF40CQkaLGfD8frepqLY6FQfiHNZ
+ybhV7SHE429Yvz2B/qBgTgrB48+gbYXLO8qxoCEHZJEJZBTvJ755kwTtmJcFxGgA
+9mWjyjAeujS+ljiOZrIuATByJH/IJamKHca/LOv3+0qbaPYXpuy/WHY9HKFpXTk6
+sBVDCUnzPMcVzkTDavL9lT972vZ49IkCNgQYAQoAIBYhBNjaswg+oc/1suHT1mGv
+dTWJfkKwBQJehhlfAhsMAAoJEGGvdTWJfkKwIDAP/0xHkWY1dOB1L46QL0S41B5m
+TVlf5funz3xCB06KxaXaDva/AW22YfbyImAkcKwQEVpn1FKLbBszhBN90LOmezJG
+Br98EP9ksmN+MCQ8szgja1Hw/7nVETbAgP68TsLgLNL/o0mOFR/nIwrMkuVNNNTS
+5qvxMvarOYQJ4RE9oiWDzwTrJbCXz1BbFNDKrbHaBrqBEMZgrxlh67Tla1WgczQB
+FX9h/aE638Y8KX3kdt2EeeAVTzXdNdPOn9mJzR7Er8O5MQ+1MWvHnatHApJlnD5S
+B/JY3pto5Cl8T3nt76r8HcBJnHzpBlq8jGZ1/uUn79cuY0urCU5p+XpFcxnrpDgb
+h1laWx7qOLzpfHlzaoxYhA0YgKACSMCRs7Ky4Tj78G2OWLg6qMVpKrK+x3FVFQPP
+grWqysZz3QKDSPAf01cc27K6CL35UgQ49UutPocKkOCJTwpo1EPx85TnPFTEd2uX
+etpt/UuVTAYy6Tmcz3WXNflk3lGlU3/XuY03rz2mtMHl5apDFcTIP4DMBYr8QqJa
+hRxaa2dJYh65VLDMjtTZ03NLEfymE+FdLzw9npg8Z8rqg8yVNKd84QDNypBN7AWc
+9+mYFQQBS6d58ptQWpmnPKYVF4MkJrEXe7pdBcJX8N6j4RRj7m4UP3zHGBmH8k0Q
+NLSgZd0xh1L/SAooETiF
+=4WJ1
+-----END PGP PUBLIC KEY BLOCK-----
author	Yann Herklotz <git@yannherklotz.com>	2021-09-02 11:28:21 +0200
committer	Yann Herklotz <git@yannherklotz.com>	2021-09-02 11:28:21 +0200
commit	77afcd337370da8c8e5425e86978cacd72850ae0 (patch)
tree	f056fc39908e8c72523acd3cc1594b6b8040028e /static/docs
download	yannherklotz.com-77afcd337370da8c8e5425e86978cacd72850ae0.tar.gz yannherklotz.com-77afcd337370da8c8e5425e86978cacd72850ae0.zip