From 853885e5b66270b56f217b4a2528003bdd4230e6 Mon Sep 17 00:00:00 2001
From: sneeker
Date: Wed, 25 Mar 2020 12:00:00 +0000
Subject: [PATCH] differentially validate coverage witnesses and compiled
dispatch
---
.gitignore | 1 +
README.md | 1 +
artifacts/protocol-complete-tree.dot | 42 +++++
artifacts/protocol-complete-tree.png | Bin 0 -> 48581 bytes
artifacts/protocol-complete-tree.svg | 253 +++++++++++++++++++++++++++
artifacts/protocol-decision-tree.svg | 123 +++++++++++++
artifacts/protocol-tree.dot | 22 +++
artifacts/tessera-demo.gif | Bin 0 -> 895986 bytes
benchmarks/Bench.hs | 46 +++++
scripts/setup | 0
tests/Spec.hs | 249 ++++++++++++++++++++++++++
11 files changed, 737 insertions(+)
create mode 100644 README.md
create mode 100644 artifacts/protocol-complete-tree.dot
create mode 100644 artifacts/protocol-complete-tree.png
create mode 100644 artifacts/protocol-complete-tree.svg
create mode 100644 artifacts/protocol-decision-tree.svg
create mode 100644 artifacts/protocol-tree.dot
create mode 100644 artifacts/tessera-demo.gif
create mode 100644 benchmarks/Bench.hs
mode change 100644 => 100755 scripts/setup
create mode 100644 tests/Spec.hs
diff --git a/.gitignore b/.gitignore
index 87fe535..2837e2c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
dist/
+dist-newstyle/
.toolchain/
*.o
*.hi
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..f650649
--- /dev/null
+++ b/README.md
@@ -0,0 +1 @@
+

XM?%U`cB$*UK~S1H!|Z2Wu~|TGw+XJ``Nf
z!(%g+y?XU(1z#0rF~bKm6xkg+goT8t($iIq4!LpIxUG`qWjx{8w~|saHPR&IeqQ|e
z@#7P {|A(5Kb|Pe4q)nwq+YHrZG5(4iwnrlvRM=T`u$t$`5-N4ZL-
zUWFR7jOdEEt;4xV5sA8e+q~)VJ_W~K3UbEm^f)tUGuA2~Ffg}mvi(tdx&WLA1UNGB
z*TAR4K^#hC><%;H=!cBbiT9^oe1|y>$lJk00sH(W!V@;H4)4%WSe(d|FQz+szkPa1
zoH{-}3;Q~E=HkN8%!KHu4Q>lF#i3+g0E9Jc
z;O%9^9gvWnfLQxeHx(xjk079An0YE76Vx9%a)h7=^y?HbZ3yG}ehl`ivwUc56h1D2
z0!~eRS=rZ`bPtk~H$wA}g2n?aIti1Wc1nvVT$9jbg`}nbY0B_Uw1=|mW>{HSIfLmk
z$Ejf>G^z=CfHv0h=PTXe%lb+G z=2Fq=OyIZDtMG@dxZMGG*tA2dBkuzw(~Sz@~Yzubs}
z7|D7Cmbo8?ol&cFb!{ygYSpqY`Qo_29@BGIAW6)3%_s%WXs2HdXdeE6;9Bk;X77|@
zku=`%GXyWxjFk9}3R>)WNidqhkl!2B-v*BEINGiG?(XJd$f*PI(Krsf0UL`tw6K0G
zG W%%%ro`IkB`1)q#7FU;9Fz1Ie;ra*P_>F>no%al=YjB4MecPI)zr)Mi?$R
zVXyOT^JQLLQQ~T>lz0*2DRYDF>mpU sq9V%0{mOMS58E;zCw$!WfuhhNfAZ_=Mdx;5s!z5
z+1Zf>N}AT2t@j++=kiZX6A>H0q1t{8At6!OutIB2N?tyB$FQ<8s-fiHk9ldzOZ7DT!8LL6!`%-
z532xH;eoj5`7Ki?zxMp6G}4g}642%##!4T~@!_a1x4&iX5GsO0P1m`_S3x-I198`0*-8$rY0W)lf{od!1KjaU5yf
zNZPXiJb7UTk8%_qbo!_Wjn<`~D7-daH1|C{J{jZ!)dadPv~dqpwqmCN?fIF3aL->Y
zxt>4X8g&iQ+=uXh;0NRihX#pG#H+pWlF9a{R1IkeOC$jywIzA)`AOr~d3o3PQ_FwB
zECN0U+8czk4*qEGS@ilfH~KKu05jvMG1-E2U?IDqdAr8m)m3v+$(_Tg>e>jYWc&7v
zeeq9lQ$Q9dxWqVuUAJ!+1s1~!RGnO!T>
)*?$HD?l^I!pPqye?q
zoj$yHKzn
B(Y`bc414uscI^A6pcM!Hw^R;BWQ89va&q3m
zykC-iPvk(*`fMb=0Zc9hE>BhlyH+_i;A~egsXuavjf=xnZRpI5+wi9*4(WUP-*oxO
zh$`|*GZf#(nlGBBgIDM^SE2#ua73O4&AZn9j7L({b8w?XQ;NY
zHc*2oITg;X8iDNCJUdj-Osq2$+;gA)*+{IbO-%CPN;8oUjg>F&?2JXZcY*hr_+&62
zfq6Uuy!GI=(*1{3viWWsQ$kI0>@zXyfw#wK;=0FPI|||3kZ?1R9HO)1ks9~j5#QWW
zgoSwr$@t{#cnx6nKKQSpFDG93ISBo?Dbq>^jpO0QWCoNe=(NYI&TzYd%YhbFrWbkx
zlR`zf3}lQAL@kUa!)$?fG*iF12+~ER;%vT;k$1r$h;}G%AbtyuCtkDa#rK$0#&A2X
z?C9ZPJwG!Em22;vC(q%a=aw|5An|1Un%dW_sJ?EjyKo&fH8q5oJ?MqLeT%o!bZT^T
z=D9JzmJUF9BDWYqW>pyfT%+H!B!f65qkMNe5YlU1+U)5)=sCeQO@#>*Fo>6kEoYN3
z!s0Otj@+XO8^ADL^@JSI51e$^ZeV=89tXYVi>F2
qV|HldyO#c|-TPdW{5(5So%K>LgOwN%upNFIb67V%p~Wl<01@#(2$Q%*
ztI;>$Jw#3;ROk;0l(kL$9NT(PobFFYzoJ{G
zb$%=KoiAJ5x!-732l)Yw2$6z?pJ#CCksjET#0zIPde&Fp<>wssf9zWpC;PZh58L*V
zp{j;tH$ukl%#Miu^fd_&`NTF-CH-8t3YmdbHkwGiyvj1l#ctS#SZPT3q`02@^RkWW
z+9hryf}{avoon#{p#l0glgKd!BC1_RQn)AI@}QVOQ)VE*3@t775#-qfH~z_edZ1Mo
z-$LcWe0JHjMTy}l0X5hyt5IRC7H&QM)myAm(w~Z+4