File tree
17 files changed
+575
-705
lines changed- benches
- common
- src
- stdlib/src
- vm
- src
- builtins
- protocol
- stdlib
- wasm/lib/src
17 files changed
+575
-705
lines changedLines changed: 491 additions & 639 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 6 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
49 | 49 |
| |
50 | 50 |
| |
51 | 51 |
| |
52 |
| - | |
| 52 | + | |
53 | 53 |
| |
54 | 54 |
| |
55 | 55 |
| |
| |||
105 | 105 |
| |
106 | 106 |
| |
107 | 107 |
| |
108 |
| - | |
| 108 | + | |
109 | 109 |
| |
110 | 110 |
| |
111 | 111 |
| |
| |||
143 | 143 |
| |
144 | 144 |
| |
145 | 145 |
| |
146 |
| - | |
| 146 | + | |
147 | 147 |
| |
148 | 148 |
| |
149 | 149 |
| |
| |||
158 | 158 |
| |
159 | 159 |
| |
160 | 160 |
| |
161 |
| - | |
| 161 | + | |
162 | 162 |
| |
163 | 163 |
| |
164 | 164 |
| |
| |||
176 | 176 |
| |
177 | 177 |
| |
178 | 178 |
| |
| 179 | + | |
| 180 | + | |
179 | 181 |
| |
180 | 182 |
| |
181 | 183 |
| |
|
Lines changed: 5 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
16 |
| - | |
17 |
| - | |
| 16 | + | |
| 17 | + | |
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
| |||
53 | 53 |
| |
54 | 54 |
| |
55 | 55 |
| |
| 56 | + | |
56 | 57 |
| |
57 |
| - | |
58 |
| - | |
| 58 | + | |
| 59 | + | |
59 | 60 |
| |
60 | 61 |
| |
61 | 62 |
| |
|
Lines changed: 12 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 | 8 |
| |
| |||
44 | 45 |
| |
45 | 46 |
| |
46 | 47 |
| |
47 |
| - | |
| 48 | + | |
48 | 49 |
| |
49 | 50 |
| |
50 |
| - | |
51 |
| - | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
52 | 56 |
| |
53 | 57 |
| |
54 | 58 |
| |
55 | 59 |
| |
56 | 60 |
| |
57 | 61 |
| |
58 | 62 |
| |
59 |
| - | |
60 |
| - | |
| 63 | + | |
| 64 | + | |
61 | 65 |
| |
62 | 66 |
| |
63 | 67 |
| |
64 | 68 |
| |
65 |
| - | |
| 69 | + | |
66 | 70 |
| |
67 | 71 |
| |
68 | 72 |
| |
| |||
93 | 97 |
| |
94 | 98 |
| |
95 | 99 |
| |
96 |
| - | |
| 100 | + | |
97 | 101 |
| |
98 |
| - | |
| 102 | + | |
99 | 103 |
| |
100 | 104 |
| |
101 | 105 |
| |
|
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
19 |
| - | |
20 | 19 |
| |
21 | 20 |
| |
22 | 21 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
2 | 1 |
| |
3 | 2 |
| |
4 | 3 |
| |
| |||
32 | 31 |
| |
33 | 32 |
| |
34 | 33 |
| |
35 |
| - | |
| 34 | + | |
36 | 35 |
| |
37 | 36 |
| |
38 | 37 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
| 4 | + | |
3 | 5 |
| |
4 | 6 |
| |
5 | 7 |
| |
|
Lines changed: 4 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1842 | 1842 |
| |
1843 | 1843 |
| |
1844 | 1844 |
| |
| 1845 | + | |
1845 | 1846 |
| |
1846 | 1847 |
| |
1847 | 1848 |
| |
1848 | 1849 |
| |
1849 | 1850 |
| |
1850 |
| - | |
| 1851 | + | |
1851 | 1852 |
| |
1852 |
| - | |
1853 |
| - | |
| 1853 | + | |
| 1854 | + | |
1854 | 1855 |
| |
1855 | 1856 |
| |
1856 | 1857 |
| |
|
Lines changed: 6 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
74 | 74 |
| |
75 | 75 |
| |
76 | 76 |
| |
77 |
| - | |
| 77 | + | |
78 | 78 |
| |
79 | 79 |
| |
80 | 80 |
| |
| |||
94 | 94 |
| |
95 | 95 |
| |
96 | 96 |
| |
97 |
| - | |
98 |
| - | |
| 97 | + | |
| 98 | + | |
99 | 99 |
| |
100 | 100 |
| |
101 | 101 |
| |
102 |
| - | |
| 102 | + | |
103 | 103 |
| |
104 | 104 |
| |
105 | 105 |
| |
| |||
108 | 108 |
| |
109 | 109 |
| |
110 | 110 |
| |
111 |
| - | |
| 111 | + | |
112 | 112 |
| |
113 | 113 |
| |
114 | 114 |
| |
| |||
152 | 152 |
| |
153 | 153 |
| |
154 | 154 |
| |
155 |
| - | |
| 155 | + |
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
540 | 540 |
| |
541 | 541 |
| |
542 | 542 |
| |
543 |
| - | |
| 543 | + | |
| 544 | + | |
544 | 545 |
| |
545 | 546 |
| |
546 | 547 |
| |
|
Lines changed: 14 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
131 | 131 |
| |
132 | 132 |
| |
133 | 133 |
| |
134 |
| - | |
| 134 | + | |
135 | 135 |
| |
136 | 136 |
| |
137 | 137 |
| |
138 | 138 |
| |
139 | 139 |
| |
140 | 140 |
| |
141 | 141 |
| |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
| 150 | + | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
| 154 | + | |
142 | 155 |
| |
143 | 156 |
| |
144 | 157 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
855 | 855 |
| |
856 | 856 |
| |
857 | 857 |
| |
858 |
| - | |
| 858 | + | |
859 | 859 |
| |
860 | 860 |
| |
861 | 861 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
77 | 77 |
| |
78 | 78 |
| |
79 | 79 |
| |
80 |
| - | |
| 80 | + | |
81 | 81 |
| |
82 | 82 |
| |
83 | 83 |
| |
|
Lines changed: 14 additions & 19 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
406 | 406 |
| |
407 | 407 |
| |
408 | 408 |
| |
409 |
| - | |
| 409 | + | |
410 | 410 |
| |
411 |
| - | |
| 411 | + | |
412 | 412 |
| |
413 | 413 |
| |
414 | 414 |
| |
| |||
631 | 631 |
| |
632 | 632 |
| |
633 | 633 |
| |
634 |
| - | |
| 634 | + | |
635 | 635 |
| |
636 | 636 |
| |
637 |
| - | |
| 637 | + | |
638 | 638 |
| |
639 | 639 |
| |
640 | 640 |
| |
| |||
877 | 877 |
| |
878 | 878 |
| |
879 | 879 |
| |
880 |
| - | |
881 |
| - | |
| 880 | + | |
882 | 881 |
| |
883 | 882 |
| |
884 |
| - | |
885 |
| - | |
886 |
| - | |
887 |
| - | |
888 |
| - | |
889 |
| - | |
| 883 | + | |
| 884 | + | |
890 | 885 |
| |
891 | 886 |
| |
892 | 887 |
| |
| |||
901 | 896 |
| |
902 | 897 |
| |
903 | 898 |
| |
904 |
| - | |
| 899 | + | |
905 | 900 |
| |
906 | 901 |
| |
907 | 902 |
| |
| |||
1227 | 122
10000
2 |
| |
1228 | 1223 |
| |
1229 | 1224 |
| |
1230 |
| - | |
| 1225 | + | |
1231 | 1226 |
| |
1232 | 1227 |
| |
1233 | 1228 |
| |
| |||
1756 | 1751 |
| |
1757 | 1752 |
| |
1758 | 1753 |
| |
1759 |
| - | |
| 1754 | + | |
1760 | 1755 |
| |
1761 | 1756 |
| |
1762 |
| - | |
| 1757 | + | |
1763 | 1758 |
| |
1764 | 1759 |
| |
1765 | 1760 |
| |
| |||
1973 | 1968 |
| |
1974 | 1969 |
| |
1975 | 1970 |
| |
1976 |
| - | |
| 1971 | + | |
1977 | 1972 |
| |
1978 | 1973 |
| |
1979 |
| - | |
| 1974 | + | |
1980 | 1975 |
| |
1981 | 1976 |
| |
1982 | 1977 |
| |
| |||
1986 | 1981 |
| |
1987 | 1982 |
| |
1988 | 1983 |
| |
1989 |
| - | |
| 1984 | + | |
1990 | 1985 |
| |
1991 | 1986 |
| |
1992 | 1987 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
630 | 630 |
| |
631 | 631 |
| |
632 | 632 |
| |
633 |
| - | |
| 633 | + | |
634 | 634 |
| |
635 | 635 |
| |
636 | 636 |
| |
|
0 commit comments