Skip to content

Commit 6863cea

Browse files
thibautbenjaminthibautbenjamin
committed
artifacts for the eh paper
1 parent 86f0744 commit 6863cea

229 files changed

Lines changed: 13972 additions & 17005 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.gitignore‎

Lines changed: 0 additions & 38 deletions
This file was deleted.

‎.ocamlformat‎

Lines changed: 0 additions & 2 deletions
This file was deleted.

‎CHANGES.md‎

Lines changed: 0 additions & 20 deletions
This file was deleted.

‎LICENSE‎

Lines changed: 0 additions & 21 deletions
This file was deleted.

‎README.md‎

Lines changed: 47 additions & 298 deletions
Large diffs are not rendered by default.

‎artifacts/all_sizes‎

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
48 4975 ./results/eh_2_0_1
2+
48 5340 ./results/eh_2_1_0
3+
138 49138 ./results/eh_3_0_1
4+
125 33898 ./results/eh_3_0_2
5+
138 67208 ./results/eh_3_1_0
6+
55 6550 ./results/eh_3_1_2
7+
125 44209 ./results/eh_3_2_0
8+
55 6993 ./results/eh_3_2_1
9+
373 3570563 ./results/eh_4_0_1
10+
325 2086910 ./results/eh_4_0_2
11+
319 1750757 ./results/eh_4_0_3
12+
373 5339606 ./results/eh_4_1_0
13+
148 89596 ./results/eh_4_1_2
14+
136 55500 ./results/eh_4_1_3
15+
325 3117243 ./results/eh_4_2_0
16+
148 116343 ./results/eh_4_2_1
17+
60 7628 ./results/eh_4_2_3
18+
319 2615998 ./results/eh_4_3_0
19+
136 73981 ./results/eh_4_3_1
20+
60 8152 ./results/eh_4_3_2
21+
336 4251598 ./results/eh_5_1_3
22+
335 3374492 ./results/eh_5_1_4
23+
153 141387 ./results/eh_5_2_3
24+
145 81026 ./results/eh_5_2_4
25+
g336 6176548 ./results/eh_5_3_1
26+
153 178592 ./results/eh_5_3_2
27+
65 8818 ./results/eh_5_3_4
28+
335 5035151 ./results/eh_5_4_1
29+
145 110166 ./results/eh_5_4_2
30+
65 9453 ./results/eh_5_4_3

‎artifacts/eh_2_0_1‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
let v0 = Coh([[[[][][][][]]]], .4 -> .13) in
2+
let v1 = Coh([[[]]], .2 -> .3) in
3+
let v2 = Coh([[[[]]]], v1 (.4) -> v1 (.5)) in
4+
let v3 = Coh([[[[][][]]]], .4 -> .9) in
5+
let v4 = Coh([[]], .2 -> .2) in
6+
let v5 = Coh([[[][]]], .2 -> .5) in
7+
let v6 = λ{.0,*} {.1,*} {.2,.1 -> .0} {.3,.1 -> .0} (.4,.2 -> .3) {.5,.1 -> .0} (.6,.3 -> .5) => v5 (.4) (.6) in
8+
let v7 = Coh([[[]]], v6 (.4) (v4 (.3)) -> v6 (v4 (.2)) (.4)) in
9+
let v8 = Coh([[[[]][[]]]], v5 (.4) (.8) -> v5 (.5) (.9)) in
10+
let v9 = λ{.0,*} {.1,*} {.2,.0 -> .1} {.3,.0 -> .1} {.4,.2 -> .3} {.5,.2 -> .3} (.6,.4 -> .5) {.7,.0 -> .1} {.8,.3 -> .7} {.9,.3 -> .7} (.10,.8 -> .9) => v8 (.6) (.10) in
11+
let v10 = λ{.0,*} {.1,*} {.2,.0 -> .1} {.3,.0 -> .1} (.4,.2 -> .3) {.5,.0 -> .1} (.6,.3 -> .5) => v5 (.4) (.6) in
12+
let v11 = Coh([[[]]], .4 -> .4) in
13+
let v12 = Coh([[][]], .0 -> .3) in
14+
let v13 = Coh([[[]][[]]], v12 (.2) (.6) -> v12 (.3) (.7)) in
15+
let v14 = λ{.0,*} {.1,*} {.2,.0 -> .1} {.3,.0 -> .1} (.4,.2 -> .3) {.5,*} {.6,.1 -> .5} {.7,.1 -> .5} (.8,.6 -> .7) => v13 (.4) (.8) in
16+
let v15 = Coh([[[]][[]]], v14 (.4) (.8) -> v10 (v14 (.4) (v4 (.6))) (v14 (v4 (.3)) (.8))) in
17+
let v16 = λ{.0,*} {.1,*} {.2,.1 -> .0} {.3,.1 -> .0} (.4,.2 -> .3) {.5,*} {.6,.5 -> .1} {.7,.5 -> .1} (.8,.6 -> .7) => v13 (.8) (.4) in
18+
let v17 = λ{.0,*} {.1,*} (.2,.1 -> .0) {.3,*} (.4,.3 -> .1) => v12 (.4) (.2) in
19+
let v18 = λ{.0,*} {.1,*} (.2,.0 -> .1) {.3,*} (.4,.1 -> .3) => v12 (.2) (.4) in
20+
let v19 = Coh([], .0 -> .0) in
21+
let v20 = Coh([[]], .2 -> v17 (.2) (v19 (.0))) in
22+
let v21 = Coh([], v18 (v19 (.0)) (v19 (.0)) -> v19 (.0)) in
23+
let v22 = Coh([[]], v17 (.2) (v19 (.0)) -> .2) in
24+
let v23 = Coh([], v6 (v22 (v19 (.0))) (v4 (v19 (.0))) -> v21 (.0)) in
25+
let v24 = Coh([[]], .2 -> v18 (.2) (v19 (.1))) in
26+
let v25 = Coh([[]], v18 (.2) (v19 (.1)) -> .2) in
27+
let v26 = Coh([], v10 (v25 (v19 (.0))) (v4 (v19 (.0))) -> v21 (.0)) in
28+
let v27 = Coh([], v19 (.0) -> v18 (v19 (.0)) (v19 (.0))) in
29+
let v28 = Coh([], v5 (v19 (.0)) (v18 (v19 (.0)) (v19 (.0))) (v27 (.0)) (v21 (.0)) -> v4 (v19 (.0))) in
30+
let v29 = Coh([], v24 (v19 (.0)) -> v10 (v4 (v19 (.0))) (v27 (.0))) in
31+
let v30 = Coh([], v20 (v19 (.0)) -> v6 (v4 (v19 (.0))) (v27 (.0))) in
32+
let v31 = Coh([[[][][]]], .2 -> .7) in
33+
let v32 = Coh([[[][][]]], v31 (.4) (.6) (.8) -> v1 (v31 (.4) (.6) (.8))) in
34+
let v33 = Coh([[[][][[]]]], v31 (.4) (.6) (.8) -> v31 (.4) (.6) (.9)) in
35+
let v34 = Coh([[[][][][]]], v31 (.4) (.6) (v5 (.8) (.10)) -> v31 (.4) (v5 (.6) (.8)) (.10)) in
36+
let v35 = Coh([[[][][][]]], v31 (.4) (v5 (.6) (.8)) (.10) -> v31 (v5 (.4) (.6)) (.8) (.10)) in
37+
let v36 = Coh([[[[]][][]]], v31 (.4) (.8) (.10) -> v31 (.5) (.8) (.10)) in
38+
let v37 = Coh([[[][][]]], v1 (v31 (.4) (.6) (.8)) -> v31 (.4) (.6) (.8)) in
39+
let v38 = Coh([[[][]]], v31 (.4) (v4 (.3)) (.6) -> v10 (.4) (.6)) in
40+
let v39 = Coh([[[]]], v16 (.4) (v4 (v19 (.0))) -> v31 (v22 (.2)) (.4) (v20 (.3))) in
41+
let v40 = Coh([[[]]], v14 (.4) (v4 (v19 (.1))) -> v31 (v25 (.2)) (.4) (v24 (.3))) in
42+
let v41 = Coh([[[][][][][][]]], v10 (v31 (.4) (.6) (.8)) (v31 (.10) (.12) (.14)) -> v31 (.4) (v31 (.6) (v10 (.8) (.10)) (.12)) (.14)) in
43+
let v42 = Coh([[[][[]][]]], v31 (.4) (.6) (.10) -> v31 (.4) (.7) (.10)) in
44+
let v43 = λ{.0,*} {.1,*} {.2,.0 -> .1} {.3,.0 -> .1} {.3+,.0 -> .1} {.3~,.3 -> .3+} {.4,.2 -> .3} {.4+,.2 -> .3+} (.4~,v10 (.4) (.3~) -> .4+) {.5,.0 -> .1} {.5+,.0 -> .1} {.5~,.5 -> .5+} {.6,.3 -> .5} {.6+,.3+ -> .5+} (.6~,v10 (.6) (.5~) -> v10 (.3~) (.6+)) {.7,.0 -> .1} {.8,.5 -> .7} {.8+,.5+ -> .7} (.8~,.8 -> v10 (.5~) (.8+)) => v3 (v32 (.4) (.6) (.8)) (v2 (v0 (v33 (.4) (.6) (.8~)) (v34 (.4) (.6) (.5~) (.8+)) (v42 (.4) (.6~) (.8+)) (v35 (.4) (.3~) (.6+) (.8+)) (v36 (.4~) (.6+) (.8+)))) (v37 (.2) (.4+) (.6+) (.8+)) in
45+
let v44 = λ{.0,*} {.1,*} {.2,.1 -> .0} {.3,.1 -> .0} {.4,.1 -> .0} {.5,.3 -> .4} {.6,.2 -> .3} {.7,.2 -> .4} (.8,v6 (.6) (.5) -> .7) {.9,.1 -> .0} {.10,.1 -> .0} {.11,.9 -> .10} {.12,.3 -> .9} {.13,.4 -> .10} (.14,v6 (.12) (.11) -> v6 (.5) (.13)) {.15,.1 -> .0} {.16,.9 -> .15} {.17,.10 -> .15} (.18,.16 -> v6 (.11) (.17)) => v3 (v32 (.6) (.12) (.16)) (v2 (v0 (v33 (.6) (.12) (.18)) (v34 (.6) (.12) (.11) (.17)) (v42 (.6) (.14) (.17)) (v35 (.6) (.5) (.13) (.17)) (v36 (.8) (.13) (.17)))) (v37 (.7) (.13) (.17)) in
46+
let v45 = λ{.0,*} {.1,*} {.2,.0 -> .1} {.3,.0 -> .1} (.4,.2 -> .3) {.5,.0 -> .1} {.6,.3 -> .5} {.7,.3 -> .5} (.8,.6 -> .7) {.9,.0 -> .1} (.10,.5 -> .9) => v42 (.4) (.8) (.10) in
47+
let v46 = Coh([[[[][][][]]]], .4 -> .11) in
48+
v46 (v15 (a^2) (b^2)) (v9 (v40 (a^2)) (v39 (b^2))) (v9 (v43 (v26 (x)) (v7 (a^2)) (v29 (x))) (v44 (v23 (x)) (v7 (b^2)) (v30 (x)))) (v46 (v41 (v21 (x)) (a^2) (v27 (x)) (v21 (x)) (b^2) (v27 (x))) (v45 (v21 (x)) (v45 (a^2) (v28 (x)) (b^2)) (v27 (x))) (v45 (v21 (x)) (v38 (a^2) (b^2)) (v27 (x))) (v45 (v21 (x)) (v11 (v10 (a^2) (b^2))) (v27 (x)))).

‎artifacts/eh_2_1_0‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
let v0 = Coh([[[[][][][][]]]], .4 -> .13) in
2+
let v1 = Coh([[[]]], .2 -> .3) in
3+
let v2 = Coh([[[[]]]], v1 (.4) -> v1 (.5)) in
4+
let v3 = Coh([[[[][][]]]], .4 -> .9) in
5+
let v4 = Coh([[[]]], .4 -> .4) in
6+
let v5 = Coh([[]], .2 -> .2) in
7+
let v6 = Coh([[[][]]], .2 -> .5) in
8+
let v7 = Coh([[[[]][[]]]], v6 (.4) (.8) -> v6 (.5) (.9)) in
9+
let v8 = λ{.0,*} {.1,*} {.2,.0 -> .1} {.3,.0 -> .1} {.4,.2 -> .3} {.5,.2 -> .3} (.6,.4 -> .5) {.7,.0 -> .1} {.8,.3 -> .7} {.9,.3 -> .7} (.10,.8 -> .9) => v7 (.6) (.10) in
10+
let v9 = λ{.0,*} {.1,*} {.2,.1 -> .0} {.3,.1 -> .0} (.4,.2 -> .3) {.5,.1 -> .0} (.6,.3 -> .5) => v6 (.4) (.6) in
11+
let v10 = Coh([[[]]], v9 (.4) (v5 (.3)) -> v9 (v5 (.2)) (.4)) in
12+
let v11 = λ{.0,*} {.1,*} {.2,.0 -> .1} {.3,.0 -> .1} (.4,.2 -> .3) {.5,.0 -> .1} (.6,.3 -> .5) => v6 (.4) (.6) in
13+
let v12 = Coh([], .0 -> .0) in
14+
let v13 = Coh([[][]], .0 -> .3) in
15+
let v14 = Coh([[[]][[]]], v13 (.2) (.6) -> v13 (.3) (.7)) in
16+
let v15 = λ{.0,*} {.1,*} {.2,.0 -> .1} {.3,.0 -> .1} (.4,.2 -> .3) {.5,*} {.6,.1 -> .5} {.7,.1 -> .5} (.8,.6 -> .7) => v14 (.4) (.8) in
17+
let v16 = λ{.0,*} {.1,*} {.2,.1 -> .0} {.3,.1 -> .0} (.4,.2 -> .3) {.5,*} {.6,.5 -> .1} {.7,.5 -> .1} (.8,.6 -> .7) => v14 (.8) (.4) in
18+
let v17 = λ{.0,*} {.1,*} (.2,.1 -> .0) {.3,*} (.4,.3 -> .1) => v13 (.4) (.2) in
19+
let v18 = Coh([[]], v17 (.2) (v12 (.0)) -> .2) in
20+
let v19 = Coh([[]], .2 -> v17 (.2) (v12 (.0))) in
21+
let v20 = Coh([[[]][[]]], v11 (v15 (.4) (v5 (.6))) (v15 (v5 (.3)) (.8)) -> v15 (.4) (.8)) in
22+
let v21 = λ{.0,*} {.1,*} (.2,.0 -> .1) {.3,*} (.4,.1 -> .3) => v13 (.2) (.4) in
23+
let v22 = Coh([[]], v21 (.2) (v12 (.1)) -> .2) in
24+
let v23 = Coh([[]], .2 -> v21 (.2) (v12 (.1))) in
25+
let v24 = Coh([], v12 (.0) -> v21 (v12 (.0)) (v12 (.0))) in
26+
let v25 = Coh([], v9 (v19 (v12 (.0))) (v5 (v17 (v12 (.0)) (v12 (.0)))) -> v24 (.0)) in
27+
let v26 = Coh([], v11 (v23 (v12 (.0))) (v5 (v21 (v12 (.0)) (v12 (.0)))) -> v24 (.0)) in
28+
let v27 = Coh([], v21 (v12 (.0)) (v12 (.0)) -> v12 (.0)) in
29+
let v28 = Coh([], v6 (v21 (v12 (.0)) (v12 (.0))) (v12 (.0)) (v27 (.0)) (v24 (.0)) -> v5 (v21 (v12 (.0)) (v12 (.0)))) in
30+
let v29 = Coh([], v18 (v12 (.0)) -> v9 (v5 (v17 (v12 (.0)) (v12 (.0)))) (v27 (.0))) in
31+
let v30 = Coh([], v22 (v12 (.0)) -> v11 (v5 (v21 (v12 (.0)) (v12 (.0)))) (v27 (.0))) in
32+
let v31 = Coh([[[][][]]], .2 -> .7) in
33+
let v32 = Coh([[[]]], .4 -> v31 (v19 (.2)) (v16 (.4) (v5 (v12 (.0)))) (v18 (.3))) in
34+
let v33 = Coh([[[][][]]], v1 (v31 (.4) (.6) (.8)) -> v31 (.4) (.6) (.8)) in
35+
let v34 = Coh([[[[]][][]]], v31 (.4) (.8) (.10) -> v31 (.5) (.8) (.10)) in
36+
let v35 = Coh([[[][][][]]], v31 (.4) (v6 (.6) (.8)) (.10) -> v31 (v6 (.4) (.6)) (.8) (.10)) in
37+
let v36 = Coh([[[][][][]]], v31 (.4) (.6) (v6 (.8) (.10)) -> v31 (.4) (v6 (.6) (.8)) (.10)) in
38+
let v37 = Coh([[[][][[]]]], v31 (.4) (.6) (.8) -> v31 (.4) (.6) (.9)) in
39+
let v38 = Coh([[[][][]]], v31 (.4) (.6) (.8) -> v1 (v31 (.4) (.6) (.8))) in
40+
let v39 = Coh([[[][][][][][]]], v11 (v31 (.4) (.6) (.8)) (v31 (.10) (.12) (.14)) -> v31 (.4) (v31 (.6) (v11 (.8) (.10)) (.12)) (.14)) in
41+
let v40 = Coh([[[]]], .4 -> v31 (v23 (.2)) (v15 (.4) (v5 (v12 (.1)))) (v22 (.3))) in
42+
let v41 = Coh([[[][]]], v31 (.4) (v5 (.3)) (.6) -> v11 (.4) (.6)) in
43+
let v42 = Coh([[[][[]][]]], v31 (.4) (.6) (.10) -> v31 (.4) (.7) (.10)) in
44+
let v43 = λ{.0,*} {.1,*} {.2,.0 -> .1} {.3,.0 -> .1} {.3+,.0 -> .1} {.3~,.3 -> .3+} {.4,.2 -> .3} {.4+,.2 -> .3+} (.4~,v11 (.4) (.3~) -> .4+) {.5,.0 -> .1} {.5+,.0 -> .1} {.5~,.5 -> .5+} {.6,.3 -> .5} {.6+,.3+ -> .5+} (.6~,v11 (.6) (.5~) -> v11 (.3~) (.6+)) {.7,.0 -> .1} {.8,.5 -> .7} {.8+,.5+ -> .7} (.8~,.8 -> v11 (.5~) (.8+)) => v3 (v38 (.4) (.6) (.8)) (v2 (v0 (v37 (.4) (.6) (.8~)) (v36 (.4) (.6) (.5~) (.8+)) (v42 (.4) (.6~) (.8+)) (v35 (.4) (.3~) (.6+) (.8+)) (v34 (.4~) (.6+) (.8+)))) (v33 (.2) (.4+) (.6+) (.8+)) in
45+
let v44 = λ{.0,*} {.1,*} {.2,.1 -> .0} {.3,.1 -> .0} {.4,.1 -> .0} {.5,.3 -> .4} {.6,.2 -> .3} {.7,.2 -> .4} (.8,v9 (.6) (.5) -> .7) {.9,.1 -> .0} {.10,.1 -> .0} {.11,.9 -> .10} {.12,.3 -> .9} {.13,.4 -> .10} (.14,v9 (.12) (.11) -> v9 (.5) (.13)) {.15,.1 -> .0} {.16,.9 -> .15} {.17,.10 -> .15} (.18,.16 -> v9 (.11) (.17)) => v3 (v38 (.6) (.12) (.16)) (v2 (v0 (v37 (.6) (.12) (.18)) (v36 (.6) (.12) (.11) (.17)) (v42 (.6) (.14) (.17)) (v35 (.6) (.5) (.13) (.17)) (v34 (.8) (.13) (.17)))) (v33 (.7) (.13) (.17)) in
46+
let v45 = λ{.0,*} {.1,*} {.2,.0 -> .1} {.3,.0 -> .1} (.4,.2 -> .3) {.5,.0 -> .1} {.6,.3 -> .5} {.7,.3 -> .5} (.8,.6 -> .7) {.9,.0 -> .1} (.10,.5 -> .9) => v42 (.4) (.8) (.10) in
47+
let v46 = Coh([[[[][][][]]]], .4 -> .11) in
48+
v46 (v8 (v40 (a^2)) (v32 (b^2))) (v8 (v43 (v26 (x)) (v10 (v15 (a^2) (v5 (v12 (x))))) (v30 (x))) (v44 (v25 (x)) (v10 (v15 (v5 (v12 (x))) (b^2))) (v29 (x)))) (v46 (v39 (v24 (x)) (v15 (a^2) (v5 (v12 (x)))) (v27 (x)) (v24 (x)) (v15 (v5 (v12 (x))) (b^2)) (v27 (x))) (v45 (v24 (x)) (v45 (v15 (a^2) (v5 (v12 (x)))) (v28 (x)) (v15 (v5 (v12 (x))) (b^2))) (v27 (x))) (v45 (v24 (x)) (v41 (v15 (a^2) (v5 (v12 (x)))) (v15 (v5 (v12 (x))) (b^2))) (v27 (x))) (v45 (v24 (x)) (v4 (v11 (v15 (a^2) (v5 (v12 (x)))) (v15 (v5 (v12 (x))) (b^2)))) (v27 (x)))) (v45 (v24 (x)) (v20 (a^2) (b^2)) (v27 (x))).

0 commit comments

Comments
 (0)