File tree
4 files changed
+64
-11
lines changed- src/vmm
- src
- vstate
- tests
4 files changed
+64
-11
lines changedLines changed: 18 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
35 |
| - | |
| 35 | + | |
36 | 36 |
| |
37 | 37 |
| |
38 | 38 |
| |
| |||
54 | 54 |
| |
55 | 55 |
| |
56 | 56 |
| |
| 57 | + | |
| 58 | + | |
57 | 59 |
| |
58 | 60 |
| |
59 | 61 |
| |
| |||
63 | 65 |
| |
64 | 66 |
| |
65 | 67 |
| |
| 68 | + | |
66 | 69 |
| |
67 | 70 |
| |
68 | 71 |
| |
| |||
399 | 402 |
| |
400 | 403 |
| |
401 | 404 |
| |
402 |
| - | |
| 405 | + | |
403 | 406 |
| |
404 | 407 |
| |
405 | 408 |
| |
| |||
411 | 414 |
| |
412 | 415 |
| |
413 | 416 |
| |
414 |
| - | |
415 |
| - | |
| 417 | + | |
| 418 | + | |
| 419 | + | |
| 420 | + | |
| 421 | + | |
| 422 | + | |
| 423 | + | |
416 | 424 |
| |
417 | 425 |
| |
418 | 426 |
| |
| |||
422 | 430 |
| |
423 | 431 |
| |
424 | 432 |
| |
| 433 | + | |
425 | 434 |
| |
426 | 435 |
| |
427 | 436 |
| |
| |||
475 | 484 |
| |
476 | 485 |
| |
477 | 486 |
| |
| 487 | + | |
478 | 488 |
| |
479 | 489 |
| |
480 |
| - | |
| 490 | + | |
| 491 | + | |
481 | 492 |
| |
482 | 493 |
| |
483 | 494 |
| |
| |||
501 | 512 |
| |
502 | 513 |
| |
503 | 514 |
| |
| 515 | + | |
504 | 516 |
| |
505 |
| - | |
| 517 | + | |
506 | 518 |
| |
507 | 519 |
| |
508 | 520 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1069 | 1069 |
| |
1070 | 1070 |
| |
1071 | 1071 |
| |
| 1072 | + | |
1072 | 1073 |
| |
1073 | 1074 |
| |
1074 | 1075 |
| |
|
Lines changed: 43 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
| 55 | + | |
| 56 | + | |
55 | 57 |
| |
56 | 58 |
| |
57 | 59 |
| |
| |||
87 | 89 |
| |
88 | 90 |
| |
89 | 91 |
| |
| 92 | + | |
90 | 93 |
| |
91 | 94 |
| |
92 | 95 |
| |
| |||
227 | 230 |
| |
228 | 231 |
| |
229 | 232 |
| |
| 233 | + | |
230 | 234 |
| |
231 | 235 |
| |
232 | 236 |
| |
| 237 | + | |
| 238 | + | |
| 239 | + | |
| 240 | + | |
233 | 241 |
| |
234 | 242 |
| |
235 | 243 |
| |
| |||
242 | 250 |
| |
243 | 251 |
| |
244 | 252 |
| |
245 |
| - | |
| 253 | + | |
| 254 | + | |
| 255 | + | |
| 256 | + | |
| 257 | + | |
| 258 | + | |
246 | 259 |
| |
247 | 260 |
| |
248 | 261 |
| |
249 | 262 |
| |
250 | 263 |
| |
251 | 264 |
| |
252 | 265 |
| |
253 |
| - | |
| 266 | + | |
254 | 267 |
| |
255 | 268 |
| |
256 | 269 |
| |
| |||
512 | 525 |
| |
513 | 526 |
| |
514 | 527 |
| |
| 528 | + | |
| 529 | + | |
| 530 | + | |
| 531 | + | |
| 532 | + | |
| 533 | + | |
| 534 | + | |
| 535 | + | |
| 536 | + | |
| 537 | + | |
| 538 | + | |
| 539 | + | |
| 540 | + | |
| 541 | + | |
| 542 | + | |
| 543 | + | |
| 544 | + | |
| 545 | + | |
| 546 | + | |
515 | 547 |
| |
516 | 548 |
| |
517 | 549 |
| |
| |||
691 | 723 |
| |
692 | 724 |
| |
693 | 725 |
| |
694 |
| - | |
695 |
| - | |
| 726 | + | |
| 727 | + | |
| 728 | + | |
| 729 | + | |
| 730 | + | |
| 731 | + | |
| 732 | + | |
696 | 733 |
| |
697 | 734 |
| |
698 | 735 |
| |
| |||
750 | 787 |
| |
751 | 788 |
| |
752 | 789 |
| |
753 |
| - | |
| 790 | + | |
| 791 | + | |
754 | 792 |
| |
755 | 793 |
| |
756 | 794 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
| 19 | + | |
19 | 20 |
| |
20 | 21 |
| |
21 | 22 |
| |
| |||
242 | 243 |
| |
243 | 244 |
| |
244 | 245 |
| |
| 246 | + | |
245 | 247 |
| |
246 | 248 |
| |
247 | 249 |
| |
|
0 commit comments