forked from cblp/ron-test
-
Notifications
You must be signed in to change notification settings - Fork 0
/
05-rga.out.ron
154 lines (133 loc) · 2.51 KB
/
05-rga.out.ron
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
*~ 'empty state + an op' ?
*~ 'a state' !
*rga#text_0a@time:0!
'A' ,
*~ 'a state plus an op'?
*~ 'a merged state'!
*rga#text_sa@2:0!
@1 'A' ,
@2 'B' ,
*~ 'an op plus another op'?
*~ 'a subtree patch'!
*rga#text_ab@3:1!
@2 :0 'B' ,
@3 'C' ,
*~ 'a state plus a patch'?
*~ 'a merged state'!
*rga#text_sp@2:0!
@1 'A' ,
@2 'B' ,
*~ 'a patch plus a patch'?
*~ 'a merged patch'!
*rga#text_pp@3:1!
@2 :0 'B' ,
@3 'C' ,
*~ 'a state plus a later state'?
*~ 'the later state'!
*rga#text_st@2:0!
@1 'A' ,
@2 'B' ,
*~ 'two diverged states'?
*~ 'a merged state'!
*rga#text_sS@3000000001:0!
@1 'A' ,
@3 'C' ,
@2 'B' ,
*~ 'state + state with a new rm'?
*~ 'rm applied'!
*rga#text_sz@4000000001:0!
@1 :4 'A' ,
@3 :0 'C' ,
@2 'B' ,
*~ 'an op and a backspace rm'?
*~ 'a patch, rm applied'!
*rga#text_ad@3:1!
@2 :3 'B',
*~ 'a patch and a backspace rm'?
*~ 'a patch with the rm applied'!
*rga#text_pd@4:1!
@2 :4 'B' ,
@3 :0 'C' ,
*~ 'a state and an rm-patch'?
*~ 'a state with all rms applied'!
*rga#text_sr@4:0!
@1 :3 'A' ,
@2 :4 'B' ,
*~ 'diverged states with concurrent rms and stuff'?
*~ 'a merged state'!
*rga#text_sx@5000000001:0!
@1 :4a 'A' ,
@3 :0 'C' ,
@2 :5 'B' ,
*~ 'two states diverged in a convoluted way'?
*~ 'merged'!
*rga#text_sw@5:0!
@1 :4a 'A' ,
@3 :0 'C' ,
@4 'D' ,
@2 :5 'B' ,
*~ 'even more convoluted divergence'?
*~ 'merged'!
*rga#text_SW@7000000001:0!
@1 :4a 'A' ,
@6 :0 'F' ,
@5 'E' ,
@3 :7 'C' ,
@4 :0 'D' ,
@2 :5 'B' ,
*~ 'a state and an insert op'?
*~ 'inserted properly'!
*rga#text_zi@3:0!
@1 'A' ,
@3 '-' ,
@2 'B' ,
*~ 'rm eclipsed by a concurrent rm'?
*~ 'skipped'!
*rga#text_dd@4:0!
@1 'A' ,
@2 :4 'B' ,
*~'reorders: unapplicable remove'?
*~ 'rm that is stashed in a separate rm frame'!
*rga#text_s~@2:0!
@1 'A' ,
@2 'B' ,
*rga#text_s~@4:3;
*~ 'for a stashed remove, the target arrives'?
*~ 'target removed'!
*rga#text_~a@4000000001:0!
@1 'A' ,
@2 'B' ,
@3 :4 'C' ,
*~ 'unapplicable patch'?
*~ 'the patch goes into a separate frame'!
*rga#text_s~p@2:0!
@1 'A' ,
@2 'B' ,
*rga#text_s~p@5:3!
@4 :0 'D' ,
@5 'E' ,
*~ 'the stashed patch becomes applicable (the missing link arrives)'?
*~ 'the patch is applied'!
*rga#text_~b@5:0!
@1 'A' ,
@2 'B' ,
@3 'C' ,
@4 'D' ,
@5 'E' ,
*~ 'an unappliecable patch with its own rm stash'?
*~ 'all separate frames'!
*rga#text_~r@2:0!
@1 'A' ,
@2 'B' ,
*rga#text_~r@5:3!
@4 :0 'D' ,
@5 'E' ,
*rga#text_~r@6:3;
*~ 'unapplied frames become applicable'?
*~ 'all applied'!
*rga#text_~~@6000000001:0!
@1 'A' ,
@2 'B' ,
@3 :6 'C' ,
@4 :0 'D' ,
@5 'E' ,