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