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 | |
---|---|---|---|
| |||
64 | 64 |
| |
65 | 65 |
| |
66 | 66 |
| |
67 |
| - | |
| 67 | + | |
68 | 68 |
| |
69 | 69 |
| |
70 | 70 |
| |
| |||
222 | 222 |
| |
223 | 223 |
| |
224 | 224 |
| |
225 |
| - | |
226 |
| - | |
227 |
| - | |
228 |
| - | |
229 | 225 |
| |
230 | 226 |
| |
231 | 227 |
| |
| |||
235 | 231 |
| |
236 | 232 |
| |
237 | 233 |
| |
| 234 | + | |
| 235 | + | |
238 | 236 |
| |
239 | 237 |
| |
240 | 238 |
| |
| |||
243 | 241 |
| |
244 | 242 |
| |
245 | 243 |
| |
| 244 | + | |
| 245 | + | |
| 246 | + | |
| 247 | + | |
| 248 | + | |
| 249 | + | |
| 250 | + | |
| 251 | + | |
| 252 | + | |
| 253 | + | |
| 254 | + | |
| 255 | + | |
| 256 | + | |
246 | 257 |
| |
247 | 258 |
| |
248 | 259 |
| |
249 | 260 |
| |
250 | 261 |
| |
251 |
| - | |
252 |
| - | |
253 |
| - | |
254 |
| - | |
| 262 | + | |
255 | 263 |
| |
256 | 264 |
| |
257 | 265 |
| |
| |||
263 | 271 |
| |
264 | 272 |
| |
265 | 273 |
| |
266 |
| - | |
| 274 | + | |
267 | 275 |
| |
268 | 276 |
| |
269 | 277 |
| |
|
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 |
| |
| |||
516 | 517 |
| |
517 | 518 |
| |
518 | 519 |
| |
| 520 | + | |
| 521 | + | |
| 522 | + | |
| 523 | + | |
| 524 | + | |
519 | 525 |
| |
520 | 526 |
| |
521 | 527 |
| |
522 | 528 |
| |
523 |
| - | |
524 |
| - | |
| 529 | + | |
| 530 | + | |
| 531 | + | |
| 532 | + | |
525 | 533 |
| |
526 | 534 |
| |
527 | 535 |
| |
| |||
530 | 538 |
| |
531 | 539 |
| |
532 | 540 |
| |
533 |
| - | |
534 |
| - | |
535 |
| - | |
536 |
| - | |
537 |
| - | |
538 |
| - | |
539 |
| - | |
540 |
| - | |
541 |
| - | |
542 |
| - | |
543 |
| - | |
| 541 | + | |
| 542 | + | |
| 543 | + | |
| 544 | + | |
| 545 | + | |
544 | 546 |
| |
545 | 547 |
| |
546 |
| - | |
| 548 | + | |
| 549 | + | |
| 550 | + | |
| 551 | + | |
| 552 | + | |
| 553 | + | |
| 554 | + | |
| 555 | + | |
| 556 | + | |
| 557 | + | |
| 558 | + | |
| 559 | + | |
| 560 | + | |
| 561 | + | |
| 562 | + | |
| 563 | + | |
| 564 | + | |
| 565 | + | |
| 566 | + | |
| 567 | + | |
| 568 | + | |
| 569 | + | |
547 | 570 |
| |
548 | 571 |
| |
549 | 572 |
| |
|
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