File tree
13 files changed
+71
-181
lines changed- src
- discof/replay
- flamenco
- rewards
- runtime
- context
- program
- tests
- harness
- stakes
- vm/syscall
13 files changed
+71
-181
lines changedLines changed: 15 additions & 16 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
360 | 360 |
| |
361 | 361 |
| |
362 | 362 |
| |
363 |
| - | |
364 |
| - | |
365 |
| - | |
366 |
| - | |
367 |
| - | |
368 |
| - | |
369 |
| - | |
| 363 | + | |
| 364 | + | |
| 365 | + | |
| 366 | + | |
| 367 | + | |
| 368 | + | |
| 369 | + | |
| 370 | + | |
| 371 | + | |
370 | 372 |
| |
371 | 373 |
| |
372 |
| - | |
373 |
| - | |
374 |
| - | |
375 |
| - | |
376 |
| - | |
| 374 | + | |
| 375 | + | |
377 | 376 |
| |
378 | 377 |
| |
379 |
| - | |
380 |
| - | |
| 378 | + | |
| 379 | + | |
381 | 380 |
| |
382 | 381 |
| |
383 | 382 |
| |
384 |
| - | |
385 |
| - | |
| 383 | + | |
| 384 | + | |
386 | 385 |
| |
387 | 386 |
| |
388 | 387 |
| |
|
Lines changed: 3 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1205 | 1205 |
| |
1206 | 1206 |
| |
1207 | 1207 |
| |
1208 |
| - | |
1209 |
| - | |
1210 |
| - | |
1211 |
| - | |
1212 |
| - | |
1213 |
| - | |
| 1208 | + | |
| 1209 | + | |
| 1210 | + | |
1214 | 1211 |
| |
1215 | 1212 |
| |
1216 | 1213 |
| |
|
Lines changed: 7 additions & 56 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
167 | 167 |
| |
168 | 168 |
| |
169 | 169 |
| |
170 |
| - | |
171 |
| - | |
172 |
| - | |
173 |
| - | |
174 |
| - | |
175 |
| - | |
176 |
| - | |
177 |
| - | |
178 |
| - | |
179 |
| - | |
180 |
| - | |
181 |
| - | |
182 |
| - | |
183 |
| - | |
184 |
| - | |
185 |
| - | |
186 |
| - | |
187 |
| - | |
188 |
| - | |
189 |
| - | |
190 |
| - | |
191 |
| - | |
192 |
| - | |
193 |
| - | |
194 |
| - | |
195 |
| - | |
196 |
| - | |
197 |
| - | |
198 |
| - | |
199 |
| - | |
200 |
| - | |
201 |
| - | |
202 |
| - | |
203 |
| - | |
204 |
| - | |
205 |
| - | |
206 |
| - | |
207 |
| - | |
208 |
| - | |
209 |
| - | |
210 |
| - | |
211 |
| - | |
212 |
| - | |
213 |
| - | |
214 |
| - | |
215 |
| - | |
216 |
| - | |
217 | 170 |
| |
218 | 171 |
| |
219 | 172 |
| |
| |||
222 | 175 |
| |
223 | 176 |
| |
224 | 177 |
| |
225 |
| - | |
| 178 | + | |
| 179 | + | |
| 180 | + | |
| 181 | + | |
| 182 | + | |
226 | 183 |
| |
227 | 184 |
| |
228 | 185 |
| |
229 | 186 |
| |
230 | 187 |
| |
231 | 188 |
| |
232 | 189 |
| |
233 |
| - | |
| 190 | + | |
234 | 191 |
| |
235 |
| - | |
| 192 | + | |
236 | 193 |
| |
237 | 194 |
| |
238 | 195 |
| |
| |||
248 | 205 |
| |
249 | 206 |
| |
250 | 207 |
| |
251 |
| - | |
252 |
| - | |
253 |
| - | |
254 |
| - | |
255 | 208 |
| |
256 | 209 |
| |
257 | 210 |
| |
| |||
293 | 246 |
| |
294 | 247 |
| |
295 | 248 |
| |
296 |
| - | |
297 |
| - | |
298 | 249 |
| |
299 | 250 |
| |
300 | 251 |
| |
|
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1372 | 1372 |
| |
1373 | 1373 |
| |
1374 | 1374 |
| |
1375 |
| - | |
1376 | 1375 |
| |
1377 | 1376 |
| |
1378 | 1377 |
| |
|
Lines changed: 0 additions & 18 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1913 | 1913 |
| |
1914 | 1914 |
| |
1915 | 1915 |
| |
1916 |
| - | |
1917 |
| - | |
1918 |
| - | |
1919 |
| - | |
1920 |
| - | |
1921 |
| - | |
1922 |
| - | |
1923 |
| - | |
1924 |
| - | |
1925 |
| - | |
1926 |
| - | |
1927 |
| - | |
1928 |
| - | |
1929 |
| - | |
1930 |
| - | |
1931 |
| - | |
1932 |
| - | |
1933 |
| - | |
1934 | 1916 |
| |
1935 | 1917 |
| |
1936 | 1918 |
| |
|
Lines changed: 0 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
51 | 51 |
| |
52 | 52 |
| |
53 | 53 |
| |
54 |
| - | |
55 |
| - | |
56 |
| - | |
57 |
| - | |
58 |
| - | |
59 | 54 |
| |
60 | 55 |
| |
61 | 56 |
| |
|
Lines changed: 4 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
404 | 404 |
| |
405 | 405 |
| |
406 | 406 |
| |
407 |
| - | |
408 |
| - | |
409 |
| - | |
410 |
| - | |
411 |
| - | |
412 |
| - | |
| 407 | + | |
| 408 | + | |
| 409 | + | |
413 | 410 |
| |
414 | 411 |
| |
415 | 412 |
| |
| |||
507 | 504 |
| |
508 | 505 |
| |
509 | 506 |
| |
510 |
| - | |
| 507 | + | |
511 | 508 |
| |
512 | 509 |
| |
513 | 510 |
| |
|
Lines changed: 2 additions & 15 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
178 | 178 |
| |
179 | 179 |
| |
180 | 180 |
| |
181 |
| - | |
182 |
| - | |
183 |
| - | |
184 | 181 |
| |
185 | 182 |
| |
186 | 183 |
| |
| |||
298 | 295 |
| |
299 | 296 |
| |
300 | 297 |
| |
301 |
| - | |
302 |
| - | |
303 |
| - | |
304 |
| - | |
305 |
| - | |
306 | 298 |
| |
307 | 299 |
| |
308 |
| - | |
309 |
| - | |
| 300 | + | |
| 301 | + | |
310 | 302 |
| |
311 | 303 |
| |
312 | 304 |
| |
313 | 305 |
| |
314 | 306 |
| |
315 | 307 |
| |
316 |
| - | |
317 |
| - | |
318 |
| - | |
319 |
| - | |
320 |
| - | |
321 | 308 |
| |
322 | 309 |
| |
323 | 310 |
| |
|
Lines changed: 13 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
59 | 59 |
| |
60 | 60 |
| |
61 | 61 |
| |
62 |
| - | |
| 62 | + | |
63 | 63 |
| |
64 | 64 |
| |
65 | 65 |
| |
66 | 66 |
| |
67 | 67 |
| |
68 | 68 |
| |
| 69 | + | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
69 | 81 |
| |
70 | 82 |
| |
71 | 83 |
| |
|
Lines changed: 15 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
147 | 147 |
| |
148 | 148 |
| |
149 | 149 |
| |
| 150 | + | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
| 163 | + | |
| 164 | + | |
150 | 165 |
| |
151 | 166 |
| |
152 | 167 |
| |
|
0 commit comments