Changeset 5a40e4e for doc/theses/andrew_beach_MMath/resumption-marking.fig
- Timestamp:
- Sep 9, 2021, 3:56:32 PM (4 years ago)
- Branches:
- ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct
- Children:
- d0b9247
- Parents:
- dd1cc02 (diff), d8d512e (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/andrew_beach_MMath/resumption-marking.fig
rdd1cc02 r5a40e4e 8 8 -2 9 9 1200 2 10 6 5985 1530 6165 310511 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6075 1620 90 90 6075 1620 6075 171012 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6075 2340 90 90 6075 2340 6075 243013 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6075 3015 90 90 6075 3015 6075 310514 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 215 1 1 1.00 60.00 120.0016 6075 1755 6075 220517 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 218 1 1 1.00 60.00 120.0019 6075 2475 6075 292520 -621 6 3465 1530 3645 310522 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3555 1620 90 90 3555 1620 3555 171023 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3555 2340 90 90 3555 2340 3555 243024 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3555 3015 90 90 3555 3015 3555 310525 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 226 1 1 1.00 60.00 120.0027 3555 1755 3555 220528 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 229 1 1 1.00 60.00 120.0030 3555 2475 3555 292531 -632 6 2115 1530 2295 310533 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2205 1620 90 90 2205 1620 2205 171034 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2205 2340 90 90 2205 2340 2205 243035 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2205 3015 90 90 2205 3015 2205 310536 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 237 1 1 1.00 60.00 120.0038 2205 1755 2205 220539 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 240 1 1 1.00 60.00 120.0041 2205 2475 2205 292542 -643 10 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 4905 1620 90 90 4905 1620 4905 1710 44 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 4905 3015 90 90 4905 3015 4905 310545 11 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 4905 945 90 90 4905 945 4905 1035 46 12 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 4905 2340 90 90 4905 2340 4905 2430 47 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 48 1 1 1.00 60.00 120.00 49 2790 1620 2430 1620 50 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 51 1 1 1.00 60.00 120.00 52 4095 2340 3735 2340 53 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 54 1 1 1.00 60.00 120.00 55 6660 1620 6300 1620 56 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 57 1 1 1.00 60.00 120.00 58 5490 945 5130 945 13 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1665 1620 90 90 1665 1620 1665 1710 14 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1665 2340 90 90 1665 2340 1665 2430 15 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1665 3060 90 90 1665 3060 1665 3150 16 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3195 1620 90 90 3195 1620 3195 1710 17 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3195 2340 90 90 3195 2340 3195 2430 18 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3195 3060 90 90 3195 3060 3195 3150 19 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6525 1620 90 90 6525 1620 6525 1710 20 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6525 2340 90 90 6525 2340 6525 2430 21 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 4905 3060 90 90 4905 3060 4905 3150 22 1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6525 3060 90 90 6525 3060 6525 3150 59 23 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 60 24 1 1 1.00 60.00 120.00 … … 66 30 1 1 1.00 60.00 120.00 67 31 4770 1080 4590 1260 4590 2070 4770 2250 68 4 0 0 50 -1 0 12 0.0000 4 135 1170 1980 3375 Initial State\001 69 4 0 0 50 -1 0 12 0.0000 4 135 1170 3420 3375 Found Handler\001 70 4 0 0 50 -1 0 12 0.0000 4 165 810 4770 3375 Try block\001 71 4 0 0 50 -1 0 12 0.0000 4 135 900 4770 3555 in Handler\001 72 4 0 0 50 -1 0 12 0.0000 4 165 1530 5940 3375 Handling Complete\001 32 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 33 1 1 1.00 60.00 120.00 34 1665 1755 1665 2205 35 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 36 1 1 1.00 60.00 120.00 37 1665 2475 1665 2925 38 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 39 1 1 1.00 60.00 120.00 40 3195 1755 3195 2205 41 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 42 1 1 1.00 60.00 120.00 43 3195 2475 3195 2925 44 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 45 1 1 1.00 60.00 120.00 46 6525 1755 6525 2205 47 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 48 1 1 1.00 60.00 120.00 49 6525 2475 6525 2925 50 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 51 1 1 1.00 60.00 120.00 52 1260 1620 1485 1620 53 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 54 1 1 1.00 60.00 120.00 55 1980 1440 1755 1440 56 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 57 1 1 1.00 60.00 120.00 58 2790 2340 3015 2340 59 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 60 1 1 1.00 60.00 120.00 61 3600 1620 3375 1620 62 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 63 1 1 1.00 60.00 120.00 64 4500 945 4725 945 65 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 66 1 1 1.00 60.00 120.00 67 5265 765 5040 765 68 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 69 1 1 1.00 60.00 120.00 70 6120 1620 6345 1620 71 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 72 1 1 1.00 60.00 120.00 73 6840 1440 6615 1440 74 4 1 0 50 -1 0 12 0.0000 0 135 1170 1665 3375 Initial State\001 75 4 1 0 50 -1 0 12 0.0000 0 135 1170 3195 3375 Found Handler\001 76 4 1 0 50 -1 0 12 0.0000 0 165 1530 6570 3375 Handling Complete\001 77 4 2 0 50 -1 0 12 0.0000 0 135 720 1485 2385 handlers\001 78 4 1 0 50 -1 0 12 0.0000 0 135 900 4905 3375 Handler in\001 79 4 1 0 50 -1 0 12 0.0000 0 165 810 4905 3600 Try block\001 80 4 0 0 50 -1 0 12 0.0000 0 135 360 855 1665 head\001 81 4 0 0 50 -1 0 12 0.0000 4 120 810 2025 1485 execution\001 82 4 0 0 50 -1 0 12 0.0000 0 135 360 2385 2385 head\001 83 4 0 0 50 -1 0 12 0.0000 4 120 810 3645 1665 execution\001 84 4 0 0 50 -1 0 12 0.0000 0 135 360 4095 990 head\001 85 4 0 0 50 -1 0 12 0.0000 4 120 810 5310 810 execution\001 86 4 0 0 50 -1 0 12 0.0000 0 135 360 5715 1665 head\001 87 4 0 0 50 -1 0 12 0.0000 4 120 810 6885 1485 execution\001
Note:
See TracChangeset
for help on using the changeset viewer.
