|
1 修改集: 86:2106021bae53 |
|
2 标签: tip |
|
3 用户: zhangx |
|
4 日期: Thu Jan 28 07:46:05 2016 +0800 |
|
5 摘要: Added PrioG.thy again |
|
6 |
|
7 修改集: 85:61a4429e7d4d |
|
8 父亲: 84:c0a4e840aefe |
|
9 父亲: 33:7f87232d9424 |
|
10 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
11 日期: Wed Jan 27 13:50:02 2016 +0000 |
|
12 摘要: merged |
|
13 |
|
14 修改集: 84:c0a4e840aefe |
|
15 父亲: 77:b6ea51cd2e88 |
|
16 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
17 日期: Wed Jan 27 13:47:08 2016 +0000 |
|
18 摘要: some small changes to Correctness and Paper |
|
19 |
|
20 修改集: 83:d239aa953315 |
|
21 用户: zhangx |
|
22 日期: Thu Jan 28 07:43:05 2016 +0800 |
|
23 摘要: Added PrioG.thy as a parallel copy of Correctness.thy |
|
24 |
|
25 修改集: 82:cfd644dfc3b4 |
|
26 用户: zhangx |
|
27 日期: Wed Jan 27 23:34:23 2016 +0800 |
|
28 摘要: The parallel of Implementation.thy, i.e. ExtGG.thy has been updated. And some errors in |
|
29 |
|
30 修改集: 81:c495eb16beb6 |
|
31 用户: zhangx |
|
32 日期: Wed Jan 27 19:28:42 2016 +0800 |
|
33 摘要: CpsG.thy restored. It was deleted. But now restored as a temporary holder of PIPBasics.thy. |
|
34 |
|
35 修改集: 80:17305a85493d |
|
36 用户: zhangx |
|
37 日期: Wed Jan 27 19:26:56 2016 +0800 |
|
38 摘要: CpsG.thy retrofiting almost completed. An important mile stone. |
|
39 |
|
40 修改集: 79:8067efcb43da |
|
41 用户: zhangx |
|
42 日期: Sun Jan 17 22:18:35 2016 +0800 |
|
43 摘要: Still improving CpsG.thy |
|
44 |
|
45 修改集: 78:df0334468335 |
|
46 父亲: 75:d37703e0c5c4 |
|
47 父亲: 77:b6ea51cd2e88 |
|
48 用户: zhangx |
|
49 日期: Sat Jan 16 11:02:17 2016 +0800 |
|
50 摘要: Merged with 77 |
|
51 |
|
52 修改集: 77:b6ea51cd2e88 |
|
53 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
54 日期: Fri Jan 15 02:05:29 2016 +0000 |
|
55 摘要: some small changes to the paper |
|
56 |
|
57 修改集: 76:2aa37de77f31 |
|
58 父亲: 74:83ba2d8c859a |
|
59 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
60 日期: Thu Jan 14 03:29:22 2016 +0000 |
|
61 摘要: updated paper |
|
62 |
|
63 修改集: 75:d37703e0c5c4 |
|
64 用户: zhangx |
|
65 日期: Sat Jan 16 10:59:03 2016 +0800 |
|
66 摘要: CpsG.thy updated. It is a copy of PIPBasics.thy under drastic improvement. |
|
67 |
|
68 修改集: 74:83ba2d8c859a |
|
69 用户: zhangx |
|
70 日期: Thu Jan 14 00:55:54 2016 +0800 |
|
71 摘要: Moment.thy further simplified. |
|
72 |
|
73 修改集: 73:b0054fb0d1ce |
|
74 用户: zhangx |
|
75 日期: Wed Jan 13 23:39:59 2016 +0800 |
|
76 摘要: Moment.thy further improved. |
|
77 |
|
78 修改集: 72:3fa70b12c117 |
|
79 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
80 日期: Wed Jan 13 15:22:14 2016 +0000 |
|
81 摘要: another simplification |
|
82 |
|
83 修改集: 71:04caf0ccb3ae |
|
84 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
85 日期: Wed Jan 13 15:16:59 2016 +0000 |
|
86 摘要: some small change |
|
87 |
|
88 修改集: 70:92ca2410b3d9 |
|
89 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
90 日期: Wed Jan 13 14:20:58 2016 +0000 |
|
91 摘要: further simplificaton of Moment.thy |
|
92 |
|
93 修改集: 69:1dc801552dfd |
|
94 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
95 日期: Wed Jan 13 13:20:45 2016 +0000 |
|
96 摘要: simplified Moment.thy |
|
97 |
|
98 修改集: 68:db196b066b97 |
|
99 用户: zhangx |
|
100 日期: Tue Jan 12 08:35:36 2016 +0800 |
|
101 摘要: Before retrofiting PIPBasics.thy |
|
102 |
|
103 修改集: 67:25fd656667a7 |
|
104 用户: zhangx |
|
105 日期: Sat Jan 09 22:19:27 2016 +0800 |
|
106 摘要: Correctness simplified a great deal. |
|
107 |
|
108 修改集: 66:2af87bb52fca |
|
109 用户: zhangx |
|
110 日期: Thu Jan 07 22:10:06 2016 +0800 |
|
111 摘要: Some small improvements in Correctness.thy. |
|
112 |
|
113 修改集: 65:633b1fc8631b |
|
114 用户: zhangx |
|
115 日期: Thu Jan 07 08:33:13 2016 +0800 |
|
116 摘要: Reorganization completed, added "scripts_structure.pdf" and "scirpts_structure.pptx". |
|
117 |
|
118 修改集: 64:b4bcd1edbb6d |
|
119 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
120 日期: Wed Jan 06 16:34:26 2016 +0000 |
|
121 摘要: renamed files |
|
122 |
|
123 修改集: 63:b620a2a0806a |
|
124 用户: zhangx |
|
125 日期: Wed Jan 06 20:46:14 2016 +0800 |
|
126 摘要: ExtGG.thy finished, but more comments are needed. |
|
127 |
|
128 修改集: 62:031d2ae9c9b8 |
|
129 用户: zhangx |
|
130 日期: Tue Dec 22 23:13:31 2015 +0800 |
|
131 摘要: In the middle of retrofiting ExtGG.thy. |
|
132 |
|
133 修改集: 61:f8194fd6214f |
|
134 用户: zhangx |
|
135 日期: Fri Dec 18 22:47:32 2015 +0800 |
|
136 摘要: CpsG.thy has been cleaned up. |
|
137 |
|
138 修改集: 60:f98a95f3deae |
|
139 用户: zhangx |
|
140 日期: Fri Dec 18 19:13:19 2015 +0800 |
|
141 摘要: Main proofs in CpsG.thy completed. |
|
142 |
|
143 修改集: 59:0a069a667301 |
|
144 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
145 日期: Tue Dec 15 15:10:40 2015 +0000 |
|
146 摘要: removed some fixes about which Isabelle complains |
|
147 |
|
148 修改集: 58:ad57323fd4d6 |
|
149 用户: zhangx |
|
150 日期: Tue Dec 15 21:45:46 2015 +0800 |
|
151 摘要: Extended RTree.thy |
|
152 |
|
153 修改集: 57:f1b39d77db00 |
|
154 用户: xingyuan zhang <xingyuanzhang@126.com> |
|
155 日期: Thu Dec 03 14:34:29 2015 +0800 |
|
156 摘要: Added generic theory "RTree.thy" |
|
157 |
|
158 修改集: 56:0fd478e14e87 |
|
159 用户: xingyuan zhang <xingyuanzhang@126.com> |
|
160 日期: Thu Dec 03 14:34:00 2015 +0800 |
|
161 摘要: Before switching to generic theory of relational trees. |
|
162 |
|
163 修改集: 55:b85cfbd58f59 |
|
164 用户: xingyuan zhang <xingyuanzhang@126.com> |
|
165 日期: Fri Oct 30 20:40:11 2015 +0800 |
|
166 摘要: Comments for Set-operation finished |
|
167 |
|
168 修改集: 54:fee01b2858a2 |
|
169 父亲: 50:8142e80f5d58 |
|
170 父亲: 53:78adeef368c1 |
|
171 用户: xingyuan zhang <xingyuanzhang@126.com> |
|
172 日期: Sat Oct 17 16:14:30 2015 +0800 |
|
173 摘要: Merge with tip |
|
174 |
|
175 修改集: 53:78adeef368c1 |
|
176 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
177 日期: Tue Oct 06 14:22:34 2015 +0100 |
|
178 摘要: test |
|
179 |
|
180 修改集: 52:d462d449505f |
|
181 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
182 日期: Tue Oct 06 14:13:52 2015 +0100 |
|
183 摘要: another test |
|
184 |
|
185 修改集: 51:38ad30559775 |
|
186 父亲: 49:8679d75b1d76 |
|
187 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
188 日期: Tue Oct 06 14:11:28 2015 +0100 |
|
189 摘要: test |
|
190 |
|
191 修改集: 50:8142e80f5d58 |
|
192 用户: xingyuan zhang <xingyuanzhang@126.com> |
|
193 日期: Sat Oct 17 16:10:33 2015 +0800 |
|
194 摘要: Finished comments on PrioGDef.thy |
|
195 |
|
196 修改集: 49:8679d75b1d76 |
|
197 用户: xingyuan zhang <xingyuanzhang@126.com> |
|
198 日期: Tue Oct 06 18:52:04 2015 +0800 |
|
199 摘要: A little more change. |
|
200 |
|
201 修改集: 48:c0f14399c12f |
|
202 用户: xingyuan zhang <xingyuanzhang@126.com> |
|
203 日期: Tue Oct 06 13:08:00 2015 +0800 |
|
204 摘要: Some changes in the PrioGDef.thy. |
|
205 |
|
206 修改集: 47:2e6c8d530216 |
|
207 用户: xingyuan zhang <xingyuanzhang@126.com> |
|
208 日期: Tue Oct 06 11:26:18 2015 +0800 |
|
209 摘要: Just a test change |
|
210 |
|
211 修改集: 46:331137d43625 |
|
212 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
213 日期: Sun Oct 04 23:02:57 2015 +0100 |
|
214 摘要: added one more reference to an incorrect specification |
|
215 |
|
216 修改集: 45:fc83f79009bd |
|
217 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
218 日期: Wed Sep 09 11:24:19 2015 +0100 |
|
219 摘要: updated for Isabelle 2015 |
|
220 |
|
221 修改集: 44:f676a68935a0 |
|
222 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
223 日期: Tue Jul 15 17:25:53 2014 +0200 |
|
224 摘要: updated teh theories to newer Isabelle version |
|
225 |
|
226 修改集: 43:45e1d324c493 |
|
227 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
228 日期: Thu Jun 12 10:14:50 2014 +0100 |
|
229 摘要: a few additions |
|
230 |
|
231 修改集: 42:0069bca6dd51 |
|
232 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
233 日期: Tue Jun 10 10:44:48 2014 +0100 |
|
234 摘要: added scheduling book |
|
235 |
|
236 修改集: 41:66ed924aaa5c |
|
237 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
238 日期: Mon Jun 09 16:01:28 2014 +0100 |
|
239 摘要: added another book that makes the error, some more proofs |
|
240 |
|
241 修改集: 40:0781a2fc93f1 |
|
242 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
243 日期: Tue Jun 03 15:00:12 2014 +0100 |
|
244 摘要: added a library about graphs |
|
245 |
|
246 修改集: 39:7ea6b019ce24 |
|
247 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
248 日期: Mon Jun 02 14:58:42 2014 +0100 |
|
249 摘要: updated |
|
250 |
|
251 修改集: 38:c89013dca1aa |
|
252 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
253 日期: Fri May 30 07:56:39 2014 +0100 |
|
254 摘要: finished proof of acyclity |
|
255 |
|
256 修改集: 37:c820ac0f3088 |
|
257 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
258 日期: Sat May 24 12:39:12 2014 +0100 |
|
259 摘要: simplified RAG_acyclic proof |
|
260 |
|
261 修改集: 36:af38526275f8 |
|
262 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
263 日期: Fri May 23 15:19:32 2014 +0100 |
|
264 摘要: added a test theory for polishing teh proofs |
|
265 |
|
266 修改集: 35:92f61f6a0fe7 |
|
267 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
268 日期: Thu May 22 17:40:39 2014 +0100 |
|
269 摘要: added a bit more text to the paper and separated a theory about Max |
|
270 |
|
271 修改集: 34:313acffe63b6 |
|
272 父亲: 32:9b9f2117561f |
|
273 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
274 日期: Tue May 20 12:49:21 2014 +0100 |
|
275 摘要: updated ROOT file |
|
276 |
|
277 修改集: 33:7f87232d9424 |
|
278 父亲: 29:408ff78ce28f |
|
279 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
280 日期: Wed May 14 11:52:53 2014 +0100 |
|
281 摘要: test |
|
282 |
|
283 修改集: 32:9b9f2117561f |
|
284 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
285 日期: Thu May 15 16:02:44 2014 +0100 |
|
286 摘要: simplified the cp_rec proof |
|
287 |
|
288 修改集: 31:e861aff29655 |
|
289 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
290 日期: Tue May 06 14:36:40 2014 +0100 |
|
291 摘要: made some modifications. |
|
292 |
|
293 修改集: 30:8f026b608378 |
|
294 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
295 日期: Wed Mar 12 10:08:20 2014 +0000 |
|
296 摘要: added paper |
|
297 |
|
298 修改集: 29:408ff78ce28f |
|
299 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
300 日期: Tue Mar 04 16:47:54 2014 +0000 |
|
301 摘要: updated readme |
|
302 |
|
303 修改集: 28:7fa738a9615a |
|
304 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
305 日期: Tue Mar 04 16:38:38 2014 +0000 |
|
306 摘要: updated |
|
307 |
|
308 修改集: 27:6b1141c5e24c |
|
309 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
310 日期: Tue Mar 04 15:49:36 2014 +0000 |
|
311 摘要: cleaned up |
|
312 |
|
313 修改集: 26:da7a6ccfa7a9 |
|
314 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
315 日期: Tue Mar 04 15:30:24 2014 +0000 |
|
316 摘要: updated |
|
317 |
|
318 修改集: 25:a9c0eeb00cc3 |
|
319 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
320 日期: Tue Mar 04 15:27:59 2014 +0000 |
|
321 摘要: added two more references |
|
322 |
|
323 修改集: 24:6f50e6a8c6e0 |
|
324 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
325 日期: Tue Mar 04 09:40:40 2014 +0000 |
|
326 摘要: some additions |
|
327 |
|
328 修改集: 23:24e6884d9258 |
|
329 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
330 日期: Tue Mar 04 08:45:11 2014 +0000 |
|
331 摘要: made some small chages |
|
332 |
|
333 修改集: 22:9f0b78fcc894 |
|
334 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
335 日期: Mon Mar 03 16:22:48 2014 +0000 |
|
336 摘要: updated |
|
337 |
|
338 修改集: 21:55d1591b17f0 |
|
339 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
340 日期: Fri Feb 28 12:49:58 2014 +0000 |
|
341 摘要: added llncs to journal |
|
342 |
|
343 修改集: 20:b56616fd88dd |
|
344 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
345 日期: Tue Feb 25 20:01:47 2014 +0000 |
|
346 摘要: added |
|
347 |
|
348 修改集: 19:3cc70bd49588 |
|
349 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
350 日期: Thu Jun 20 23:28:26 2013 -0400 |
|
351 摘要: added paper |
|
352 |
|
353 修改集: 18:598409a21f4c |
|
354 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
355 日期: Thu Jun 20 13:50:01 2013 -0400 |
|
356 摘要: added nasa talk |
|
357 |
|
358 修改集: 17:105715a0a807 |
|
359 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
360 日期: Sat Dec 22 14:50:29 2012 +0000 |
|
361 摘要: updated |
|
362 |
|
363 修改集: 16:9764023f719e |
|
364 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
365 日期: Sat Dec 22 01:58:45 2012 +0000 |
|
366 摘要: added |
|
367 |
|
368 修改集: 15:9e664c268e25 |
|
369 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
370 日期: Fri Dec 21 23:32:58 2012 +0000 |
|
371 摘要: added |
|
372 |
|
373 修改集: 14:1bf194825a4e |
|
374 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
375 日期: Fri Dec 21 18:06:00 2012 +0000 |
|
376 摘要: more one the implementation |
|
377 |
|
378 修改集: 13:735e36c64a71 |
|
379 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
380 日期: Fri Dec 21 13:30:14 2012 +0000 |
|
381 摘要: added explanation of the code |
|
382 |
|
383 修改集: 12:85116bc854c0 |
|
384 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
385 日期: Fri Dec 21 00:24:30 2012 +0000 |
|
386 摘要: updated |
|
387 |
|
388 修改集: 11:8e02fb168350 |
|
389 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
390 日期: Thu Dec 20 14:54:06 2012 +0000 |
|
391 摘要: added |
|
392 |
|
393 修改集: 10:242a781135ba |
|
394 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
395 日期: Thu Dec 20 12:23:44 2012 +0000 |
|
396 摘要: added two papers about PIP on multiprocs |
|
397 |
|
398 修改集: 9:a8e8ec87a933 |
|
399 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
400 日期: Thu Dec 20 10:53:31 2012 +0000 |
|
401 摘要: added original Sha paper |
|
402 |
|
403 修改集: 8:5ba3d79622da |
|
404 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
405 日期: Wed Dec 19 23:46:36 2012 +0000 |
|
406 摘要: added a paragraph about RAGS |
|
407 |
|
408 修改集: 7:0514be2ad83e |
|
409 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
410 日期: Wed Dec 19 12:51:06 2012 +0000 |
|
411 摘要: started code explanation |
|
412 |
|
413 修改集: 6:7f2493296c39 |
|
414 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
415 日期: Mon Dec 17 12:34:24 2012 +0000 |
|
416 摘要: updated |
|
417 |
|
418 修改集: 5:0f2d4b78f839 |
|
419 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
420 日期: Mon Dec 10 21:27:22 2012 +0000 |
|
421 摘要: updated |
|
422 |
|
423 修改集: 4:9d667d545e32 |
|
424 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
425 日期: Thu Dec 06 16:30:57 2012 +0000 |
|
426 摘要: added |
|
427 |
|
428 修改集: 3:51019d035a79 |
|
429 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
430 日期: Thu Dec 06 15:49:20 2012 +0000 |
|
431 摘要: made everything working |
|
432 |
|
433 修改集: 2:a04084de4946 |
|
434 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
435 日期: Thu Dec 06 15:12:49 2012 +0000 |
|
436 摘要: added |
|
437 |
|
438 修改集: 1:c4783e4ef43f |
|
439 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
440 日期: Thu Dec 06 15:11:51 2012 +0000 |
|
441 摘要: added |
|
442 |
|
443 修改集: 0:110247f9d47e |
|
444 用户: Christian Urban <christian dot urban at kcl dot ac dot uk> |
|
445 日期: Thu Dec 06 15:11:21 2012 +0000 |
|
446 摘要: added |
|
447 |