From faaab2f18f388e4d249ce6cf6385aaf2c787e049 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Mon, 7 Oct 2024 10:55:43 +0000 Subject: [PATCH] Deployed e66d31b with MkDocs version: 1.6.1 --- .nojekyll | 0 404.html | 734 ++ assets/images/favicon.png | Bin 0 -> 1870 bytes assets/images/social/index.png | Bin 0 -> 20519 bytes assets/images/social/projects/catcomp.png | Bin 0 -> 36066 bytes assets/images/social/projects/codeaswiki.png | Bin 0 -> 39645 bytes assets/images/social/projects/dependobuf.png | Bin 0 -> 40833 bytes assets/images/social/projects/gc.png | Bin 0 -> 28686 bytes assets/images/social/projects/graphcat.png | Bin 0 -> 41860 bytes assets/images/social/projects/hitgc.png | Bin 0 -> 42500 bytes assets/images/social/projects/index.png | Bin 0 -> 41351 bytes assets/images/social/projects/mlgc.png | Bin 0 -> 47444 bytes assets/images/social/projects/parsergen.png | Bin 0 -> 31399 bytes assets/images/social/projects/sanskrit.png | Bin 0 -> 47285 bytes assets/images/social/projects/twelf.png | Bin 0 -> 34392 bytes assets/images/social/projects/zksnark.png | Bin 0 -> 31257 bytes assets/images/social/testtask.png | Bin 0 -> 42032 bytes assets/javascripts/bundle.525ec568.min.js | 16 + assets/javascripts/bundle.525ec568.min.js.map | 7 + assets/javascripts/lunr/min/lunr.ar.min.js | 1 + assets/javascripts/lunr/min/lunr.da.min.js | 18 + assets/javascripts/lunr/min/lunr.de.min.js | 18 + assets/javascripts/lunr/min/lunr.du.min.js | 18 + assets/javascripts/lunr/min/lunr.el.min.js | 1 + assets/javascripts/lunr/min/lunr.es.min.js | 18 + assets/javascripts/lunr/min/lunr.fi.min.js | 18 + assets/javascripts/lunr/min/lunr.fr.min.js | 18 + assets/javascripts/lunr/min/lunr.he.min.js | 1 + assets/javascripts/lunr/min/lunr.hi.min.js | 1 + assets/javascripts/lunr/min/lunr.hu.min.js | 18 + assets/javascripts/lunr/min/lunr.hy.min.js | 1 + assets/javascripts/lunr/min/lunr.it.min.js | 18 + assets/javascripts/lunr/min/lunr.ja.min.js | 1 + assets/javascripts/lunr/min/lunr.jp.min.js | 1 + assets/javascripts/lunr/min/lunr.kn.min.js | 1 + assets/javascripts/lunr/min/lunr.ko.min.js | 1 + assets/javascripts/lunr/min/lunr.multi.min.js | 1 + assets/javascripts/lunr/min/lunr.nl.min.js | 18 + assets/javascripts/lunr/min/lunr.no.min.js | 18 + assets/javascripts/lunr/min/lunr.pt.min.js | 18 + assets/javascripts/lunr/min/lunr.ro.min.js | 18 + assets/javascripts/lunr/min/lunr.ru.min.js | 18 + assets/javascripts/lunr/min/lunr.sa.min.js | 1 + .../lunr/min/lunr.stemmer.support.min.js | 1 + assets/javascripts/lunr/min/lunr.sv.min.js | 18 + assets/javascripts/lunr/min/lunr.ta.min.js | 1 + assets/javascripts/lunr/min/lunr.te.min.js | 1 + assets/javascripts/lunr/min/lunr.th.min.js | 1 + assets/javascripts/lunr/min/lunr.tr.min.js | 18 + assets/javascripts/lunr/min/lunr.vi.min.js | 1 + assets/javascripts/lunr/min/lunr.zh.min.js | 1 + assets/javascripts/lunr/tinyseg.js | 206 + assets/javascripts/lunr/wordcut.js | 6708 +++++++++++++++++ .../workers/search.6ce7567c.min.js | 42 + .../workers/search.6ce7567c.min.js.map | 7 + assets/stylesheets/main.8c3ca2c6.min.css | 1 + assets/stylesheets/main.8c3ca2c6.min.css.map | 1 + assets/stylesheets/palette.06af60db.min.css | 1 + .../stylesheets/palette.06af60db.min.css.map | 1 + index.html | 903 +++ javascripts/mathjax.js | 19 + projects/catcomp/index.html | 934 +++ projects/codeaswiki/index.html | 872 +++ projects/dependobuf/index.html | 959 +++ projects/gc/index.html | 840 +++ projects/graphcat/index.html | 869 +++ projects/hitgc/index.html | 957 +++ projects/index.html | 809 ++ projects/mlgc/index.html | 923 +++ projects/parsergen/index.html | 850 +++ projects/sanskrit/index.html | 1077 +++ projects/twelf/index.html | 855 +++ projects/zksnark/index.html | 1076 +++ search/search_index.json | 1 + sitemap.xml | 59 + sitemap.xml.gz | Bin 0 -> 293 bytes testtask/index.html | 972 +++ 77 files changed, 20986 insertions(+) create mode 100644 .nojekyll create mode 100644 404.html create mode 100644 assets/images/favicon.png create mode 100644 assets/images/social/index.png create mode 100644 assets/images/social/projects/catcomp.png create mode 100644 assets/images/social/projects/codeaswiki.png create mode 100644 assets/images/social/projects/dependobuf.png create mode 100644 assets/images/social/projects/gc.png create mode 100644 assets/images/social/projects/graphcat.png create mode 100644 assets/images/social/projects/hitgc.png create mode 100644 assets/images/social/projects/index.png create mode 100644 assets/images/social/projects/mlgc.png create mode 100644 assets/images/social/projects/parsergen.png create mode 100644 assets/images/social/projects/sanskrit.png create mode 100644 assets/images/social/projects/twelf.png create mode 100644 assets/images/social/projects/zksnark.png create mode 100644 assets/images/social/testtask.png create mode 100644 assets/javascripts/bundle.525ec568.min.js create mode 100644 assets/javascripts/bundle.525ec568.min.js.map create mode 100644 assets/javascripts/lunr/min/lunr.ar.min.js create mode 100644 assets/javascripts/lunr/min/lunr.da.min.js create mode 100644 assets/javascripts/lunr/min/lunr.de.min.js create mode 100644 assets/javascripts/lunr/min/lunr.du.min.js create mode 100644 assets/javascripts/lunr/min/lunr.el.min.js create mode 100644 assets/javascripts/lunr/min/lunr.es.min.js create mode 100644 assets/javascripts/lunr/min/lunr.fi.min.js create mode 100644 assets/javascripts/lunr/min/lunr.fr.min.js create mode 100644 assets/javascripts/lunr/min/lunr.he.min.js create mode 100644 assets/javascripts/lunr/min/lunr.hi.min.js create mode 100644 assets/javascripts/lunr/min/lunr.hu.min.js create mode 100644 assets/javascripts/lunr/min/lunr.hy.min.js create mode 100644 assets/javascripts/lunr/min/lunr.it.min.js create mode 100644 assets/javascripts/lunr/min/lunr.ja.min.js create mode 100644 assets/javascripts/lunr/min/lunr.jp.min.js create mode 100644 assets/javascripts/lunr/min/lunr.kn.min.js create mode 100644 assets/javascripts/lunr/min/lunr.ko.min.js create mode 100644 assets/javascripts/lunr/min/lunr.multi.min.js create mode 100644 assets/javascripts/lunr/min/lunr.nl.min.js create mode 100644 assets/javascripts/lunr/min/lunr.no.min.js create mode 100644 assets/javascripts/lunr/min/lunr.pt.min.js create mode 100644 assets/javascripts/lunr/min/lunr.ro.min.js create mode 100644 assets/javascripts/lunr/min/lunr.ru.min.js create mode 100644 assets/javascripts/lunr/min/lunr.sa.min.js create mode 100644 assets/javascripts/lunr/min/lunr.stemmer.support.min.js create mode 100644 assets/javascripts/lunr/min/lunr.sv.min.js create mode 100644 assets/javascripts/lunr/min/lunr.ta.min.js create mode 100644 assets/javascripts/lunr/min/lunr.te.min.js create mode 100644 assets/javascripts/lunr/min/lunr.th.min.js create mode 100644 assets/javascripts/lunr/min/lunr.tr.min.js create mode 100644 assets/javascripts/lunr/min/lunr.vi.min.js create mode 100644 assets/javascripts/lunr/min/lunr.zh.min.js create mode 100644 assets/javascripts/lunr/tinyseg.js create mode 100644 assets/javascripts/lunr/wordcut.js create mode 100644 assets/javascripts/workers/search.6ce7567c.min.js create mode 100644 assets/javascripts/workers/search.6ce7567c.min.js.map create mode 100644 assets/stylesheets/main.8c3ca2c6.min.css create mode 100644 assets/stylesheets/main.8c3ca2c6.min.css.map create mode 100644 assets/stylesheets/palette.06af60db.min.css create mode 100644 assets/stylesheets/palette.06af60db.min.css.map create mode 100644 index.html create mode 100644 javascripts/mathjax.js create mode 100644 projects/catcomp/index.html create mode 100644 projects/codeaswiki/index.html create mode 100644 projects/dependobuf/index.html create mode 100644 projects/gc/index.html create mode 100644 projects/graphcat/index.html create mode 100644 projects/hitgc/index.html create mode 100644 projects/index.html create mode 100644 projects/mlgc/index.html create mode 100644 projects/parsergen/index.html create mode 100644 projects/sanskrit/index.html create mode 100644 projects/twelf/index.html create mode 100644 projects/zksnark/index.html create mode 100644 search/search_index.json create mode 100644 sitemap.xml create mode 100644 sitemap.xml.gz create mode 100644 testtask/index.html diff --git a/.nojekyll b/.nojekyll new file mode 100644 index 0000000..e69de29 diff --git a/404.html b/404.html new file mode 100644 index 0000000..4c44b07 --- /dev/null +++ b/404.html @@ -0,0 +1,734 @@ + + + +
+ + + + + + + + + + + + + + +>xp?~PiZa7iGJAsxJDDTNS9V74g!j$3VfJc^L)XplER@y<)BB#tTFgndx
zoF9-miKcjUaz_Cs+eg_W1lpaH^`W$0jj(NU;~pOfFT=d$9C`EOIcl3geB>rF0(eX|
z>Qb9qz{oIxx%`3RuS9vqT_Zs{#i_0S(6jo(^Ha>*YlVH!1aS2jIU_vDRIVJe{%QG@
zjFF2u0|^PtKpDG$*oy?T>E++N9#<+*;-cNMzb_UAK;_f^E$*otr?mfz9E$8orIxO^
zj>x0kJWT)kDx&w-C|(Sc%9GB>z>+~4BRYEyEX#e;=z|9~C%8TpG3Bj~R}-OZr>exr
z7w&9c`*KRCT2V#vcxTbPL-FEUe !#2li36WJ0@ug?|HiEULln%pawZ(|A4?~Sof}U|ViU| T7U&QLTM%&>S;6*!>pk%&Nn;p85qP&@YUllxM6
zJ?>@P@iq1>o_jT%5;|C2BdRqO9zIc6I?!|WCN^3=gpX|P84(c?dKgUD1M-GCDwe2=htsP@(8KIf1uqd>U4?S+_WQJp6H8*WbGoyX&jlcP1_leE-i+v4fks{7*
zT9
-6ZsjTF?SHA
zH{CHR+sy>1P9yJcWMg(2zV%JC-KmcYuO56c=%gq-a`&4kQk!k#$UP2yax*|qxxEB+
zxlMKLh(G`Qc9Ih;ShWD8B;V{ByEhV(h8fd7C!e>84!w(K!Cm_DR1U=CpGn6sWbU2B
z1T*ysn+e55iMuCRt&F@`=;Jmi!d7b=5jBA@&aaDqRXpYK