File tree
8 files changed
+35
-29
lines changed- benchmarks
- benchmark-camlboy
- benchmark-fiat-crypto
- benchmark-ocamlc
- benchmark-partial-render-table
8 files changed
+35
-29
lines changedLines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| 7 | + |
Lines changed: 11 additions & 26 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
34 | 34 |
| |
35 | 35 |
| |
36 | 36 |
| |
37 |
| - | |
38 |
| - | |
39 |
| - | |
40 |
| - | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
41 | 40 |
| |
42 | 41 |
| |
43 |
| - | |
44 |
| - | |
45 |
| - | |
46 |
| - | |
47 |
| - | |
48 |
| - | |
49 |
| - | |
50 |
| - | |
51 |
| - | |
52 |
| - | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
53 | 45 |
| |
54 |
| - | |
55 |
| - | |
56 |
| - | |
57 |
| - | |
58 |
| - | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
59 | 49 |
| |
60 |
| - | |
61 |
| - | |
62 |
| - | |
63 |
| - | |
64 |
| - | |
65 |
| - | |
66 |
| - | |
| 50 | + | |
| 51 | + | |
67 | 52 |
| |
68 | 53 |
|
Lines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
| 17 | + | |
| 18 | + | |
| 19 | + | |
17 | 20 |
| |
18 | 21 |
| |
19 | 22 |
| |
20 | 23 |
| |
21 | 24 |
| |
22 | 25 |
| |
23 | 26 |
| |
| 27 | + | |
24 | 28 |
| |
| 29 | + | |
25 | 30 |
| |
26 | 31 |
| |
27 | 32 |
| |
28 | 33 |
| |
29 | 34 |
| |
| 35 | + | |
30 | 36 |
| |
31 | 37 |
| |
32 | 38 |
| |
|
Lines changed: 6 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
12 | 16 |
| |
13 | 17 |
| |
| 18 | + | |
14 | 19 |
| |
15 | 20 |
| |
16 | 21 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
| 8 | + | |
8 | 9 |
| |
9 | 10 |
| |
| 11 | + | |
10 | 12 |
| |
11 | 13 |
| |
12 | 14 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
| 8 | + | |
8 | 9 |
| |
9 | 10 |
| |
10 | 11 |
| |
| 12 | + | |
11 | 13 |
| |
12 | 14 |
| |
13 | 15 |
| |
| |||
18 | 20 |
| |
19 | 21 |
| |
20 | 22 |
| |
21 |
| - | |
|
Lines changed: 5 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
8 | 12 |
| |
9 | 13 |
| |
| 14 | + | |
10 | 15 |
| |
11 | 16 |
| |
12 | 17 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
326 | 326 |
| |
327 | 327 |
| |
328 | 328 |
| |
329 |
| - | |
| 329 | + | |
| 330 | + | |
330 | 331 |
| |
331 | 332 |
| |
332 | 333 |
| |
|
0 commit comments