File tree
6 files changed
+96
-48
lines changed- src/vmm
- benches
- src
- vstate
6 files changed
+96
-48
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 |
| - | |
| 12 | + | |
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
|
Lines changed: 18 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
62 | 62 |
| |
63 | 63 |
| |
64 | 64 |
| |
65 |
| - | |
| 65 | + | |
66 | 66 |
| |
67 | 67 |
| |
68 | 68 |
| |
| |||
217 | 217 |
| |
218 | 218 |
| |
219 | 219 |
| |
220 |
| - | |
221 |
| - | |
222 |
| - | |
223 |
| - | |
224 | 220 |
| |
225 | 221 |
| |
226 | 222 |
| |
| |||
230 | 226 |
| |
231 | 227 |
| |
232 | 228 |
| |
| 229 | + | |
| 230 | + | |
233 | 231 |
| |
234 | 232 |
| |
235 | 233 |
| |
| |||
238 | 236 |
| |
239 | 237 |
| |
240 | 238 |
| |
| 239 | + | |
| 240 | + | |
| 241 | + | |
| 242 | + | |
| 243 | + | |
| 244 | + | |
| 245 | + | |
| 246 | + | |
| 247 | + | |
| 248 | + | |
| 249 | + | |
| 250 | + | |
| 251 | + | |
241 | 252 |
| |
242 | 253 |
| |
243 | 254 |
| |
244 | 255 |
| |
245 | 256 |
| |
246 |
| - | |
247 |
| - | |
248 |
| - | |
249 |
| - | |
| 257 | + | |
250 | 258 |
| |
251 | 259 |
| |
252 | 260 |
| |
| |||
258 | 266 |
| |
259 | 267 |
| |
260 | 268 |
| |
261 |
| - | |
| 269 | + | |
262 | 270 |
| |
263 | 271 |
| |
264 | 272 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
457 | 457 |
| |
458 | 458 |
| |
459 | 459 |
| |
460 |
| - | |
| 460 | + | |
461 | 461 |
| |
462 | 462 |
| |
463 | 463 |
| |
|
Lines changed: 38 additions & 15 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 | 8 |
| |
| |||
31 | 32 |
| |
32 | 33 |
| |
33 | 34 |
| |
34 |
| - | |
| 35 | + | |
35 | 36 |
| |
36 | 37 |
| |
37 | 38 |
| |
| |||
502 | 503 |
| |
503 | 504 |
| |
504 | 505 |
| |
| 506 | + | |
| 507 | + | |
| 508 | + | |
| 509 | + | |
| 510 | + | |
505 | 511 |
| |
506 | 512 |
| |
507 | 513 |
| |
508 | 514 |
| |
509 |
| - | |
510 |
| - | |
| 515 | + | |
| 516 | + | |
| 517 | + | |
| 518 | + | |
511 | 519 |
| |
512 | 520 |
| |
513 | 521 |
| |
| |||
516 | 524 |
| |
517 | 525 |
| |
518 | 526 |
| |
519 |
| - | |
520 |
| - | |
521 |
| - | |
522 |
| - | |
523 |
| - | |
524 |
| - | |
525 |
| - | |
526 |
| - | |
527 |
| - | |
528 |
| - | |
529 |
| - | |
| 527 | + | |
| 528 | + | |
| 529 | + | |
| 530 | + | |
| 531 | + | |
530 | 532 |
| |
531 | 533 |
| |
532 |
| - | |
| 534 | + | |
| 535 | + | |
| 536 | + | |
| 537 | + | |
| 538 | + | |
| 539 | + | |
| 540 | + | |
| 541 | + | |
| 542 | + | |
| 543 | + | |
| 544 | + | |
| 545 | + | |
| 546 | + | |
| 547 | + | |
| 548 | + | |
| 549 | + | |
| 550 | + | |
| 551 | + | |
| 552 | + | |
| 553 | + | |
| 554 | + | |
| 555 | + | |
533 | 556 |
| |
534 | 557 |
| |
535 | 558 |
| |
|
Lines changed: 10 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
259 | 259 |
| |
260 | 260 |
| |
261 | 261 |
| |
262 |
| - | |
263 |
| - | |
| 262 | + | |
| 263 | + | |
| 264 | + | |
264 | 265 |
| |
265 | 266 |
| |
266 | 267 |
| |
267 |
| - | |
268 |
| - | |
269 |
| - | |
270 | 268 |
| |
271 |
| - | |
| 269 | + | |
272 | 270 |
| |
273 |
| - | |
| 271 | + | |
274 | 272 |
| |
275 | 273 |
| |
276 | 274 |
| |
| |||
291 | 289 |
| |
292 | 290 |
| |
293 | 291 |
| |
294 |
| - | |
| 292 | + | |
295 | 293 |
| |
296 | 294 |
| |
297 | 295 |
| |
| |||
477 | 475 |
| |
478 | 476 |
| |
479 | 477 |
| |
480 |
| - | |
| 478 | + | |
| 479 | + | |
481 | 480 |
| |
482 | 481 |
| |
483 | 482 |
| |
| |||
731 | 730 |
| |
732 | 731 |
| |
733 | 732 |
| |
734 |
| - | |
| 733 | + | |
735 | 734 |
| |
736 | 735 |
| |
737 | 736 |
| |
| |||
793 | 792 |
| |
794 | 793 |
| |
795 | 794 |
| |
796 |
| - | |
| 795 | + | |
797 | 796 |
| |
798 | 797 |
| |
799 | 798 |
| |
|
Lines changed: 28 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
11 |
| - | |
| 11 | + | |
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
16 |
| - | |
17 |
| - | |
| 16 | + | |
| 17 | + | |
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
| |||
31 | 31 |
| |
32 | 32 |
| |
33 | 33 |
| |
| 34 | + | |
| 35 | + | |
34 | 36 |
| |
35 | 37 |
| |
36 | 38 |
| |
| |||
157 | 159 |
| |
158 | 160 |
| |
159 | 161 |
| |
160 |
| - | |
161 |
| - | |
162 |
| - | |
163 |
| - | |
164 | 162 |
| |
165 | 163 |
| |
166 | 164 |
| |
| |||
198 | 196 |
| |
199 | 197 |
| |
200 | 198 |
| |
201 |
| - | |
202 |
| - | |
| 199 | + | |
| 200 | + | |
| 201 | + | |
| 202 | + | |
| 203 | + | |
| 204 | + | |
| 205 | + | |
| 206 | + | |
| 207 | + | |
| 208 | + | |
| 209 | + | |
| 210 | + | |
| 211 | + | |
| 212 | + | |
203 | 213 |
| |
204 |
| - | |
| 214 | + | |
205 | 215 |
| |
206 | 216 |
| |
207 | 217 |
| |
| |||
210 | 220 |
| |
211 | 221 |
| |
212 | 222 |
| |
| 223 | + | |
| 224 | + | |
213 | 225 |
| |
214 | 226 |
| |
215 | 227 |
| |
| |||
223 | 235 |
| |
224 | 236 |
| |
225 | 237 |
| |
| 238 | + | |
| 239 | + | |
| 240 | + | |
| 241 | + | |
| 242 | + | |
| 243 | + | |
226 | 244 |
| |
227 | 245 |
| |
228 | 246 |
| |
|
0 commit comments