Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 02:10:22 +0000] rev 151
test9
Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 01:56:57 +0000] rev 150
test8
Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 01:24:38 +0000] rev 149
test7
Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 01:22:14 +0000] rev 148
test6
Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 01:20:26 +0000] rev 147
test
Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 01:10:46 +0000] rev 146
test
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 06 Feb 2017 12:27:20 +0000] rev 145
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 19 Dec 2016 23:43:54 +0000] rev 144
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 09 Dec 2016 15:18:19 +0000] rev 143
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 09 Dec 2016 12:51:29 +0000] rev 142
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Oct 2016 14:47:01 +0100] rev 141
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 07 Oct 2016 21:15:35 +0100] rev 140
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 07 Oct 2016 14:05:08 +0100] rev 139
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 02 Oct 2016 14:32:05 +0100] rev 138
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 24 Aug 2016 16:13:20 +0200] rev 137
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 16 Aug 2016 11:49:37 +0100] rev 136
updated tG definition
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 12 Jul 2016 15:09:09 +0100] rev 135
updated paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 08 Jul 2016 01:25:19 +0100] rev 134
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Jul 2016 13:32:09 +0100] rev 133
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Jul 2016 14:04:11 +0100] rev 132
added version with fgraphs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 27 Jun 2016 14:08:21 +0100] rev 131
unified Rtree.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 17 Jun 2016 09:46:25 +0100] rev 130
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 15:06:16 +0100] rev 129
removed some files to attic
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 13:56:51 +0100] rev 128
removed most instances of raw
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 09 Jun 2016 23:01:36 +0100] rev 127
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 07 Jun 2016 13:51:39 +0100] rev 126
minor update
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 Jun 2016 13:15:03 +0100] rev 125
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Apr 2016 14:44:09 +0100] rev 124
updated journal paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Apr 2016 13:52:07 +0100] rev 123
added style files.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 15:06:52 +0000] rev 122
all updated to Isabelle 2016
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 14:41:40 +0000] rev 121
added ? to PIPBasics
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 14:33:02 +0000] rev 120
updated to Isabelle 2016
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 14:15:51 +0000] rev 119
updated partially
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 14:07:37 +0000] rev 118
updated to Isabelle 2016
zhangx [Sat, 13 Feb 2016 17:18:51 +0800] rev 117
Slight changes in commenting.
zhangx [Fri, 12 Feb 2016 17:50:24 +0800] rev 116
PIPBasics.thy is tidied up now.
zhangx [Fri, 12 Feb 2016 12:32:57 +0800] rev 115
Commenting of PIPBasics.thy almost completed. The last section needs to be distributed to Correctness.thy and Implementation.thy
zhangx [Tue, 09 Feb 2016 22:30:43 +0800] rev 114
More refinements in PIPBasics.thy.
zhangx [Mon, 08 Feb 2016 10:57:01 +0800] rev 113
More improvements in PIPBasics.thy and Implemenation.thy.
zhangx [Sun, 07 Feb 2016 21:21:53 +0800] rev 112
Small improvements.
zhangx [Sat, 06 Feb 2016 23:42:03 +0800] rev 111
More redundant lemmas are reomved.
zhangx [Sat, 06 Feb 2016 08:35:45 +0800] rev 110
About to change the proof of waiting_unique_pre and waiting_unqie.
zhangx [Fri, 05 Feb 2016 20:11:12 +0800] rev 109
wq_in_inv and wq_out_inv are removed, a number of loop holes need to be filled.
zhangx [Thu, 04 Feb 2016 14:45:30 +0800] rev 108
Several redundant lemmas removed.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 04 Feb 2016 00:43:05 +0000] rev 107
updated Correctness, Implementation and PIPBasics so that they work with Isabelle 2014 and 2015
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 03 Feb 2016 14:37:35 +0000] rev 106
updated files
zhangx [Wed, 03 Feb 2016 22:17:29 +0800] rev 105
Commit to revert
zhangx [Wed, 03 Feb 2016 21:51:57 +0800] rev 104
A fake merge. Used to revert to 98
zhangx [Wed, 03 Feb 2016 21:41:42 +0800] rev 103
PIPBasics.thy reorganized into sections. The structure is now stable. Next step is to put in more comments.
zhangx [Wed, 03 Feb 2016 21:05:15 +0800] rev 102
Reorganizing PIPBasics.thy and making small changes to Implementation.thy and Correctness.thy.
zhangx [Wed, 03 Feb 2016 12:04:03 +0800] rev 101
Reorganzing PIPBasics.thy intro sections.
zhangx [Mon, 01 Feb 2016 20:56:39 +0800] rev 100
Reorganizing PIPBasics.thy
zhangx [Sun, 31 Jan 2016 18:15:13 +0800] rev 99
Small improvemnts in PIPBasis.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Jan 2016 17:08:54 +0000] rev 98
deleted superflous files
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Jan 2016 17:06:02 +0000] rev 97
merged
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 14:57:36 +0000] rev 96
merged
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 14:26:10 +0000] rev 95
changes to my repository
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 13:46:45 +0000] rev 94
some small changes
zhangx [Fri, 29 Jan 2016 11:01:13 +0800] rev 93
The overwriten original .thy files are working now. The ones in last revision aren't.
zhangx [Fri, 29 Jan 2016 10:51:52 +0800] rev 92
Original files overwrite by their parallels (Correctness.thy v.s. PrioG.thy, PIPBasics.thy v.s. CpsG.thy, Implementation v.s. ExtGG.thy).
zhangx [Fri, 29 Jan 2016 09:46:07 +0800] rev 91
Removed *.*~, #***#, log, etc.
zhangx [Thu, 28 Jan 2016 21:14:17 +0800] rev 90
Retrofiting of:
CpsG.thy (the parallel copy of PIPBasics.thy),
ExtGG.thy (The paralell copy of Implemenation.thy),
PrioG.thy (The paralell copy of Correctness.thy)
has completed.
The next step is to overwite original copies with the paralell ones.
zhangx [Thu, 28 Jan 2016 16:36:46 +0800] rev 89
Slightly modified ExtGG.thy and PrioG.thy.
zhangx [Thu, 28 Jan 2016 16:33:49 +0800] rev 88
Merged back ExtGG.thy and PrioG.thy.