Mercurial Mercurial > hg > tm / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -192 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
2013-03-05 added a version with partial_function
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Mar 2013 15:23:10 +0000] rev 213
added a version with partial_function
2013-03-03 partial_function test
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Mar 2013 14:08:33 +0000] rev 212
partial_function test
2013-03-03 added factorial as an example
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Mar 2013 12:44:42 +0000] rev 211
added factorial as an example
2013-03-03 tuned abacus to turing compilation
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Mar 2013 00:18:13 +0000] rev 210
tuned abacus to turing compilation
2013-03-02 finished compliations
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 02 Mar 2013 10:42:39 +0000] rev 209
finished compliations
2013-03-01 added examples for the rec to abacus compilation
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Mar 2013 23:46:02 +0000] rev 208
added examples for the rec to abacus compilation
2013-03-01 tuning
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Mar 2013 11:17:50 +0000] rev 207
tuning
2013-03-01 added a test to make the simplifier be fast enough to do actual compilations
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Mar 2013 11:16:30 +0000] rev 206
added a test to make the simplifier be fast enough to do actual compilations
2013-03-01 corrected scala compiler from recs to abacus
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Mar 2013 02:56:08 +0000] rev 205
corrected scala compiler from recs to abacus
2013-02-28 updated proofs in Recursive (by Jian)
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Feb 2013 15:21:43 +0000] rev 204
updated proofs in Recursive (by Jian)
2013-02-28 simplified slightly rec_compilation function
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Feb 2013 12:37:33 +0000] rev 203
simplified slightly rec_compilation function
2013-02-27 added a coment about partial_function
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Feb 2013 01:32:53 +0000] rev 202
added a coment about partial_function
2013-02-26 syntactic convenience for recursive functions
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 23:44:57 +0000] rev 201
syntactic convenience for recursive functions
2013-02-26 added all recursive functions needed for the UF
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 17:39:47 +0000] rev 200
added all recursive functions needed for the UF
2013-02-26 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 17:38:37 +0000] rev 199
tuned
2013-02-26 tuned some files
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 13:24:40 +0000] rev 198
tuned some files
2013-02-26 added an al
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 12:47:03 +0000] rev 197
added an al
2013-02-25 corrected README
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 25 Feb 2013 23:57:25 +0000] rev 196
corrected README
2013-02-25 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 25 Feb 2013 15:12:48 +0000] rev 195
tuned
2013-02-22 updated Scala files
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 22 Feb 2013 14:31:34 +0000] rev 194
updated Scala files
2013-02-21 split up scala-file into separate components
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 16:07:40 +0000] rev 193
split up scala-file into separate components
2013-02-21 introduced sealed classes
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 14:49:26 +0000] rev 192
introduced sealed classes
2013-02-21 compilation from Abacus to Turing in Scala
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 14:27:14 +0000] rev 191
compilation from Abacus to Turing in Scala
2013-02-21 renamed sete definition to adjust and old special case of adjust to adjust0
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 05:34:39 +0000] rev 190
renamed sete definition to adjust and old special case of adjust to adjust0
2013-02-21 parts of the Abacus translation
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 05:33:57 +0000] rev 189
parts of the Abacus translation
2013-02-21 tuned Scala implementation
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 00:34:41 +0000] rev 188
tuned Scala implementation
2013-02-19 polished some typos in the paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 13:36:35 +0000] rev 187
polished some typos in the paper
2013-02-19 added link and comment to fourth edition of Boolos
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 05:11:33 +0000] rev 186
added link and comment to fourth edition of Boolos
2013-02-19 added clear-definition to paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 04:56:33 +0000] rev 185
added clear-definition to paper
2013-02-19 added newer ROOT file
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 04:31:18 +0000] rev 184
added newer ROOT file
2013-02-18 updated exponent program
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 14:39:50 +0000] rev 183
updated exponent program
2013-02-18 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:33:00 +0000] rev 182
tuned
2013-02-18 removed unnecessary examples from Abacus.thy
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:28:51 +0000] rev 181
removed unnecessary examples from Abacus.thy
2013-02-18 added abacus machines
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:26:27 +0000] rev 180
added abacus machines
2013-02-18 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 00:18:56 +0000] rev 179
tuned
2013-02-16 added some TM machines
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 16 Feb 2013 11:02:08 +0000] rev 178
added some TM machines
2013-02-16 added abacus programs
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 16 Feb 2013 09:07:07 +0000] rev 177
added abacus programs
2013-02-15 added scala file
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 18:24:00 +0000] rev 176
added scala file
2013-02-15 remove dead code in Abacus_mopup
changeset
Jian Xu [Fri, 15 Feb 2013 23:02:20 +0800] rev 175
remove dead code in Abacus_mopup
2013-02-15 tuning
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 14:07:39 +0000] rev 174
tuning
2013-02-15 split Mopup TM into a separate file
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 14:05:26 +0000] rev 173
split Mopup TM into a separate file
2013-02-15 polished naming convention
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 07:42:47 +0000] rev 172
polished naming convention
2013-02-14 typo in the paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Feb 2013 12:11:40 +0000] rev 171
typo in the paper
2013-02-14 updated some files
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Feb 2013 09:31:19 +0000] rev 170
updated some files
2013-02-13 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Feb 2013 20:08:14 +0000] rev 169
tuned
2013-02-12 small changes
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 12 Feb 2013 13:37:07 +0000] rev 168
small changes
2013-02-11 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Feb 2013 08:46:24 +0000] rev 167
updated
2013-02-11 removed some dead code
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Feb 2013 08:31:48 +0000] rev 166
removed some dead code
2013-02-11 took out all deadcode from abacus
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Feb 2013 00:08:54 +0000] rev 165
took out all deadcode from abacus
2013-02-10 fixed compilation of paper and typo
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 10 Feb 2013 20:56:08 +0000] rev 164
fixed compilation of paper and typo
2013-02-10 changed theory names to uppercase
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 10 Feb 2013 19:49:07 +0000] rev 163
changed theory names to uppercase
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 06:39:06 +0000] rev 162
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 06:10:11 +0000] rev 161
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 06:08:26 +0000] rev 160
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 05:46:17 +0000] rev 159
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 05:32:00 +0000] rev 158
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 05:23:53 +0000] rev 157
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 05:19:01 +0000] rev 156
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 05:12:55 +0000] rev 155
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 04:56:01 +0000] rev 154
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 04:53:29 +0000] rev 153
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 04:28:00 +0000] rev 152
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:40:23 +0000] rev 151
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:37:02 +0000] rev 150
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:33:32 +0000] rev 149
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:19:36 +0000] rev 148
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:15:29 +0000] rev 147
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:14:58 +0000] rev 146
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:01:51 +0000] rev 145
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 01:00:55 +0000] rev 144
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 00:50:19 +0000] rev 143
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 00:48:09 +0000] rev 142
updated paper
2013-02-07 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 00:46:04 +0000] rev 141
updated paper
2013-02-06 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 14:14:35 +0000] rev 140
updated
2013-02-06 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 14:09:35 +0000] rev 139
updated
2013-02-06 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 14:06:18 +0000] rev 138
updated
2013-02-06 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 13:28:01 +0000] rev 137
updated
2013-02-06 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 13:21:35 +0000] rev 136
updated
2013-02-06 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 05:58:01 +0000] rev 135
updated
2013-02-06 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 05:49:16 +0000] rev 134
updated
2013-02-06 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 04:39:08 +0000] rev 133
updated
2013-02-06 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 04:32:18 +0000] rev 132
updated
2013-02-06 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 04:27:03 +0000] rev 131
updated
2013-02-06 added UTM
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 04:11:06 +0000] rev 130
added UTM
2013-02-06 updated recursive
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 03:37:26 +0000] rev 129
updated recursive
2013-02-06 added readme
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 02:42:52 +0000] rev 128
added readme
2013-02-06 moved old files into attic
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 02:39:53 +0000] rev 127
moved old files into attic
2013-02-06 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 02:25:00 +0000] rev 126
updated
2013-02-05 conclusion
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 12:41:00 +0000] rev 125
conclusion
2013-02-05 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 10:23:08 +0000] rev 124
updated
2013-02-05 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 10:12:56 +0000] rev 123
updated
2013-02-05 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 10:11:38 +0000] rev 122
updated
2013-02-05 paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 09:36:21 +0000] rev 121
paper
2013-02-05 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 09:22:56 +0000] rev 120
updated
2013-02-05 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 09:17:06 +0000] rev 119
updated
2013-02-05 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 08:58:30 +0000] rev 118
updated
2013-02-05 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 08:57:55 +0000] rev 117
updated
2013-02-04 paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 23:12:17 +0000] rev 116
paper
2013-02-04 started with abacus section
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 21:11:43 +0000] rev 115
started with abacus section
2013-02-04 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 11:14:03 +0000] rev 114
updated
2013-02-04 abacus section updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 01:47:26 +0000] rev 113
abacus section updated
2013-02-04 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 01:17:09 +0000] rev 112
updated
2013-02-03 made uncomputable compatible with abacus
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Feb 2013 13:31:14 +0000] rev 111
made uncomputable compatible with abacus
2013-02-03 completed undecidability proof
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Feb 2013 12:24:28 +0000] rev 110
completed undecidability proof
2013-02-03 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Feb 2013 12:24:00 +0000] rev 109
updated paper
2013-02-01 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Feb 2013 14:54:47 +0000] rev 108
updated paper
2013-02-01 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Feb 2013 13:12:55 +0000] rev 107
updated paper
2013-02-01 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Feb 2013 10:14:09 +0000] rev 106
updated paper
2013-02-01 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Feb 2013 01:34:37 +0000] rev 105
updated paper
2013-01-31 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 31 Jan 2013 11:35:16 +0000] rev 104
updated paper
2013-01-30 updated theories
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 23:57:33 +0000] rev 103
updated theories
2013-01-30 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 23:00:09 +0000] rev 102
updated paper
2013-01-30 theories
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 09:33:06 +0000] rev 101
theories
2013-01-30 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 03:46:22 +0000] rev 100
updated paper
2013-01-30 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 03:33:05 +0000] rev 99
updated paper
2013-01-30 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 02:29:47 +0000] rev 98
updated paper
2013-01-30 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 02:26:56 +0000] rev 97
updated paper
2013-01-29 updated uncomputable
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 29 Jan 2013 16:37:38 +0000] rev 96
updated uncomputable
2013-01-29 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 29 Jan 2013 13:00:51 +0000] rev 95
updated paper
2013-01-29 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 29 Jan 2013 12:37:06 +0000] rev 94
updated paper
2013-01-28 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 28 Jan 2013 02:38:57 +0000] rev 93
updated paper
2013-01-27 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Jan 2013 20:01:13 +0000] rev 92
updated paper
2013-01-27 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Jan 2013 17:15:38 +0000] rev 91
updated paper
2013-01-27 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Jan 2013 15:46:32 +0000] rev 90
updated paper
2013-01-27 updated uncomputable
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Jan 2013 14:57:54 +0000] rev 89
updated uncomputable
2013-01-27 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Jan 2013 00:09:17 +0000] rev 88
updated paper
2013-01-26 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Jan 2013 21:46:12 +0000] rev 87
updated paper
2013-01-26 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Jan 2013 12:00:21 +0000] rev 86
updated paper
2013-01-26 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Jan 2013 11:50:40 +0000] rev 85
updated paper
2013-01-26 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Jan 2013 01:36:48 +0000] rev 84
updated paper
2013-01-25 simplified uncomputable-locale
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Jan 2013 22:12:01 +0000] rev 83
simplified uncomputable-locale
2013-01-25 simplified uncomputable-locale
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Jan 2013 22:03:03 +0000] rev 82
simplified uncomputable-locale
2013-01-25 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Jan 2013 21:15:09 +0000] rev 81
updated paper
2013-01-25 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Jan 2013 15:57:58 +0100] rev 80
updated
2013-01-24 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 18:59:49 +0100] rev 79
updated paper
2013-01-24 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 17:40:04 +0100] rev 78
updated paper
2013-01-24 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 17:15:42 +0100] rev 77
updated paper
2013-01-24 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 17:14:39 +0100] rev 76
updated paper
2013-01-24 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 15:04:11 +0100] rev 75
updated
2013-01-24 added literature
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 12:01:44 +0100] rev 74
added literature
2013-01-24 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 11:38:07 +0100] rev 73
updated paper
2013-01-24 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 10:53:43 +0100] rev 72
updated paper
2013-01-23 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 00:20:26 +0100] rev 71
updated
2013-01-23 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 20:18:40 +0100] rev 70
updated
2013-01-23 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 17:02:23 +0100] rev 69
tuned
2013-01-23 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 15:57:35 +0100] rev 68
tuned
2013-01-23 using some abbreviations
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 15:42:47 +0100] rev 67
using some abbreviations
2013-01-23 tuned more
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 15:33:26 +0100] rev 66
tuned more
2013-01-23 also polished uh_h proof
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 15:06:32 +0100] rev 65
also polished uh_h proof
2013-01-23 updated h_uh proof in uncomputable
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 12:25:24 +0100] rev 64
updated h_uh proof in uncomputable
2013-01-23 small updates
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 08:01:35 +0100] rev 63
small updates
2013-01-22 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 22 Jan 2013 14:46:02 +0000] rev 62
updated
2013-01-22 updated files
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 22 Jan 2013 14:38:56 +0000] rev 61
updated files
2013-01-20 new version of abacus
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 20 Jan 2013 16:01:16 +0000] rev 60
new version of abacus
2013-01-20 polished turing_basic
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 20 Jan 2013 05:04:19 +0000] rev 59
polished turing_basic
2013-01-19 more proofs polished
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 21:03:55 +0000] rev 58
more proofs polished
2013-01-19 more proofs polished
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 19:23:42 +0000] rev 57
more proofs polished
2013-01-19 some small changes to turing and uncomputable
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 15:27:21 +0000] rev 56
some small changes to turing and uncomputable
2013-01-19 added turing_hoare
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 14:44:07 +0000] rev 55
added turing_hoare
2013-01-19 changed slightly HOARE-def
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 14:29:56 +0000] rev 54
changed slightly HOARE-def
2013-01-19 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 12:46:28 +0000] rev 53
tuned
2013-01-19 updated before_final
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 12:45:14 +0000] rev 52
updated before_final
2013-01-18 slight update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Jan 2013 23:59:33 +0000] rev 51
slight update
2013-01-18 updated turing_basic by Jian
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Jan 2013 13:56:35 +0000] rev 50
updated turing_basic by Jian
2013-01-18 shortening a bit the paper and updating various things
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Jan 2013 13:03:09 +0000] rev 49
shortening a bit the paper and updating various things
2013-01-18 updated to ITP and updated directories
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Jan 2013 11:40:01 +0000] rev 48
updated to ITP and updated directories
2013-01-17 added abacus
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 17 Jan 2013 11:51:00 +0000] rev 47
added abacus
2013-01-16 paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 16 Jan 2013 15:17:02 +0000] rev 46
paper
2013-01-16 updated uncomputable
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 16 Jan 2013 10:20:49 +0000] rev 45
updated uncomputable
2013-01-16 added Jian's new version of uncomputable
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 16 Jan 2013 10:12:43 +0000] rev 44
added Jian's new version of uncomputable
2013-01-15 updated literature
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 15 Jan 2013 19:05:15 +0000] rev 43
updated literature
2013-01-14 added llncs
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 14 Jan 2013 21:40:38 +0000] rev 42
added llncs
2013-01-13 some experiments
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 13 Jan 2013 23:59:29 +0000] rev 41
some experiments
2013-01-13 updated test
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 13 Jan 2013 11:29:33 +0000] rev 40
updated test
2013-01-13 added test about hoare triples
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 13 Jan 2013 09:57:28 +0000] rev 39
added test about hoare triples
2013-01-13 updated contribution section
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 13 Jan 2013 06:19:05 +0000] rev 38
updated contribution section
2013-01-12 added new version of uncomputable
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 12 Jan 2013 08:16:15 +0000] rev 37
added new version of uncomputable
2013-01-12 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 12 Jan 2013 02:14:29 +0000] rev 36
updated
2013-01-12 removed second definition of tshift in abacus.
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 12 Jan 2013 01:33:20 +0000] rev 35
removed second definition of tshift in abacus.
2013-01-12 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 12 Jan 2013 01:05:01 +0000] rev 34
updated
2013-01-11 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 11 Jan 2013 13:18:33 +0000] rev 33
update
2013-01-11 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 11 Jan 2013 08:47:02 +0000] rev 32
update
2013-01-11 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 11 Jan 2013 05:49:25 +0000] rev 31
update
2013-01-11 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 11 Jan 2013 05:45:40 +0000] rev 30
update
2013-01-10 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 10 Jan 2013 13:13:27 +0000] rev 29
update
2013-01-10 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 10 Jan 2013 13:03:25 +0000] rev 28
update
2013-01-10 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 10 Jan 2013 12:30:27 +0000] rev 27
update
2013-01-10 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 10 Jan 2013 11:28:26 +0000] rev 26
update
2013-01-10 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 10 Jan 2013 11:27:45 +0000] rev 25
update
2013-01-10 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 10 Jan 2013 08:58:31 +0000] rev 24
update
2013-01-10 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 10 Jan 2013 08:28:25 +0000] rev 23
update
2013-01-10 update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 10 Jan 2013 08:27:42 +0000] rev 22
update
(0) -192 tip
tm