Lines Matching refs:checkpoint

335   --- checkpoint ---
434   --- checkpoint #0 ---
436   --- checkpoint #1 ---
439   --- checkpoint #2 ---
441   --- checkpoint #3 ---
477                                all the way up to checkpoint #1.
478                                The checkpoint #1 contains a write mark for r6
480                                does not reach checkpoint #0 (see section below).
523   --- checkpoint #0 ---
530 from (3) to checkpoint #0.
551   --- checkpoint[0] ---
560   * ``checkpoint[0]`` states cache entry is created: ``{ r0 == 1, r1 == 0, pc == 4 }``;
561   * ``checkpoint[0].r0`` is marked as written;
562   * ``checkpoint[0].r1`` is marked as read;
564 * At instruction #5 exit is reached and ``checkpoint[0]`` can now be processed
565   by ``clean_live_states()``. After this processing ``checkpoint[0].r1`` has a