2017-03-21 updated for extended partial derivatives
Christian Urban <urbanc@in.tum.de> [Tue, 21 Mar 2017 11:40:22 +0000] rev 240
updated for extended partial derivatives
2017-03-20 added automata implementation
Christian Urban <urbanc@in.tum.de> [Mon, 20 Mar 2017 15:13:17 +0000] rev 239
added automata implementation
2017-03-17 added AND-regular expression (intersection/conjunction)
Christian Urban <urbanc@in.tum.de> [Fri, 17 Mar 2017 19:47:42 +0000] rev 238
added AND-regular expression (intersection/conjunction)
2017-03-13 updated
Christian Urban <urbanc@in.tum.de> [Mon, 13 Mar 2017 14:54:12 +0000] rev 237
updated
2017-03-13 updated
Christian Urban <urbanc@in.tum.de> [Mon, 13 Mar 2017 14:52:13 +0000] rev 236
updated
2017-03-11 updated
Christian Urban <urbanc@in.tum.de> [Sat, 11 Mar 2017 19:33:38 +0000] rev 235
updated
2017-03-11 updated
Christian Urban <urbanc@in.tum.de> [Sat, 11 Mar 2017 12:50:01 +0000] rev 234
updated
2017-03-08 strengthened PLUS-posix definition
Christian Urban <urbanc@in.tum.de> [Wed, 08 Mar 2017 10:32:51 +0000] rev 233
strengthened PLUS-posix definition
2017-03-07 added lit
Christian Urban <urbanc@in.tum.de> [Tue, 07 Mar 2017 00:24:10 +0000] rev 232
added lit
2017-03-05 updated the re-ext-scala file
Christian Urban <urbanc@in.tum.de> [Sun, 05 Mar 2017 00:31:04 +0000] rev 231
updated the re-ext-scala file
2017-03-04 just for fun added the case for PLUS (was already proved as FROMNTIMES)
Christian Urban <urbanc@in.tum.de> [Sat, 04 Mar 2017 22:27:09 +0000] rev 230
just for fun added the case for PLUS (was already proved as FROMNTIMES)
2017-03-04 updated
Christian Urban <urbanc@in.tum.de> [Sat, 04 Mar 2017 21:35:12 +0000] rev 229
updated
2017-03-02 polished some of the definitions
Christian Urban <urbanc@in.tum.de> [Thu, 02 Mar 2017 12:39:27 +0000] rev 228
polished some of the definitions
2017-03-02 NMTIMES case also done
Christian Urban <urbanc@in.tum.de> [Thu, 02 Mar 2017 00:56:40 +0000] rev 227
NMTIMES case also done
2017-03-01 deleted unused theorems
Christian Urban <urbanc@in.tum.de> [Wed, 01 Mar 2017 00:13:15 +0000] rev 226
deleted unused theorems
2017-02-28 FROMNTIMES now done
Christian Urban <urbanc@in.tum.de> [Tue, 28 Feb 2017 23:40:37 +0000] rev 225
FROMNTIMES now done
2017-02-28 FROMNTIMES not yet done
Christian Urban <urbanc@in.tum.de> [Tue, 28 Feb 2017 13:47:36 +0000] rev 224
FROMNTIMES not yet done
2017-02-28 FROMNTIMES not yet done
Christian Urban <urbanc@in.tum.de> [Tue, 28 Feb 2017 13:35:12 +0000] rev 223
FROMNTIMES not yet done
2017-02-28 added two sanity lemmas
Christian Urban <urbanc@in.tum.de> [Tue, 28 Feb 2017 00:26:34 +0000] rev 222
added two sanity lemmas
2017-02-27 added also the ntimes case
Christian Urban <urbanc@in.tum.de> [Mon, 27 Feb 2017 23:53:48 +0000] rev 221
added also the ntimes case
2017-02-27 updated
Christian Urban <urbanc@in.tum.de> [Mon, 27 Feb 2017 14:50:39 +0000] rev 220
updated
2017-02-27 added paper
Christian Urban <urbanc@in.tum.de> [Mon, 27 Feb 2017 00:00:35 +0000] rev 219
added paper
2017-02-26 updated
Christian Urban <urbanc@in.tum.de> [Sun, 26 Feb 2017 23:46:22 +0000] rev 218
updated
2017-02-26 test
Christian Urban <urbanc@in.tum.de> [Sun, 26 Feb 2017 00:12:18 +0000] rev 217
test
2017-02-25 updated
Christian Urban <urbanc@in.tum.de> [Sat, 25 Feb 2017 21:16:46 +0000] rev 216
updated
2017-02-21 updated
Christian Urban <urbanc@in.tum.de> [Tue, 21 Feb 2017 13:37:36 +0000] rev 215
updated
2017-02-12 updated
Christian Urban <urbanc@in.tum.de> [Sun, 12 Feb 2017 03:07:10 +0000] rev 214
updated
2017-02-06 test hook
Christian Urban <urbanc@in.tum.de> [Mon, 06 Feb 2017 02:03:17 +0000] rev 213
test hook
2016-10-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 08 Oct 2016 12:16:17 +0100] rev 212
updated
2016-09-21 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 22 Sep 2016 00:40:03 +0100] rev 211
updated
2016-09-13 added backreference papers
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 13 Sep 2016 11:49:22 +0100] rev 210
added backreference papers
2016-08-24 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 24 Aug 2016 11:30:46 +0100] rev 209
updated
2016-08-24 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 24 Aug 2016 10:37:40 +0100] rev 208
updated
2016-08-20 updated slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 20 Aug 2016 13:39:19 +0100] rev 207
updated slides
2016-08-06 added 3 new papers
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 06 Aug 2016 21:32:57 +0100] rev 206
added 3 new papers
2016-07-20 added benchmark paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 20 Jul 2016 14:58:28 +0100] rev 205
added benchmark paper
2016-07-20 added paper about size derivatives
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 20 Jul 2016 14:30:07 +0100] rev 204
added paper about size derivatives
2016-06-24 added obscure paper abour string derivatives
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 24 Jun 2016 12:35:16 +0100] rev 203
added obscure paper abour string derivatives
2016-06-14 deleted afp submission
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 12:41:23 +0100] rev 202
deleted afp submission
2016-06-14 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 12:37:46 +0100] rev 201
updated
2016-06-14 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 12:24:25 +0100] rev 200
updated
2016-06-14 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 12:17:42 +0100] rev 199
updated
2016-06-14 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 12:05:00 +0100] rev 198
added data plots
2016-06-14 updated slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 11:58:20 +0100] rev 197
updated slides
2016-06-11 added test processing
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 11 Jun 2016 13:28:45 +0100] rev 196
added test processing
2016-06-10 run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 10 Jun 2016 23:53:46 +0100] rev 195
run all posix tests
2016-06-09 started a theory file about bounds
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 09 Jun 2016 12:31:02 +0100] rev 194
started a theory file about bounds
2016-06-03 typos
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 03 Jun 2016 11:07:10 +0100] rev 193
typos
2016-05-24 updated AFP link
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 24 May 2016 15:13:41 +0100] rev 192
updated AFP link
2016-05-24 added files that were submitted to afp
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 24 May 2016 11:36:21 +0100] rev 191
added files that were submitted to afp
2016-05-20 typo
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 20 May 2016 10:31:33 +0100] rev 190
typo
2016-05-20 typo
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 20 May 2016 10:30:24 +0100] rev 189
typo
2016-05-20 typo
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 20 May 2016 10:27:11 +0100] rev 188
typo
2016-05-20 typo
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 20 May 2016 10:26:40 +0100] rev 187
typo
2016-05-20 added corollary
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 20 May 2016 10:22:12 +0100] rev 186
added corollary
2016-05-18 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 18 May 2016 15:57:46 +0100] rev 185
updated
2016-05-17 Roy's comments
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 17 May 2016 14:28:22 +0100] rev 184
Roy's comments
2016-05-17 less squeezing
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 17 May 2016 11:16:56 +0100] rev 183
less squeezing
2016-05-17 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 17 May 2016 10:53:34 +0100] rev 182
updated
2016-05-17 squeezed on 16 pages
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 17 May 2016 05:14:41 +0100] rev 181
squeezed on 16 pages
2016-05-17 isarfied the simplify theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 17 May 2016 03:47:33 +0100] rev 180
isarfied the simplify theory
2016-05-16 improved simplifying theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 16 May 2016 15:20:23 +0100] rev 179
improved simplifying theory
2016-05-16 update
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 16 May 2016 12:50:37 +0100] rev 178
update
2016-05-11 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 11 May 2016 13:12:30 +0100] rev 177
updated
2016-05-11 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 11 May 2016 12:20:16 +0100] rev 176
updated
2016-05-09 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 09 May 2016 15:01:31 +0100] rev 175
updated
2016-05-09 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 09 May 2016 15:00:28 +0100] rev 174
updated
2016-05-09 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 09 May 2016 12:53:12 +0100] rev 173
updated
2016-05-09 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 09 May 2016 12:09:56 +0100] rev 172
updated
2016-05-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 08 May 2016 09:49:21 +0100] rev 171
updated
2016-05-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 08 May 2016 09:34:00 +0100] rev 170
updated
2016-05-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 08 May 2016 09:32:50 +0100] rev 169
updated
2016-05-06 added parser for regexes
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 06 May 2016 11:33:21 +0100] rev 168
added parser for regexes
2016-05-05 added an extended version of re-simp
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 05 May 2016 09:25:08 +0100] rev 167
added an extended version of re-simp
2016-05-04 added benchmark from Fahad
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 04 May 2016 17:19:39 +0100] rev 166
added benchmark from Fahad
2016-05-04 updated literature
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 04 May 2016 11:29:37 +0100] rev 165
updated literature
2016-04-28 added files with test strings
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Apr 2016 11:17:16 +0100] rev 164
added files with test strings
2016-04-28 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Apr 2016 11:13:09 +0100] rev 163
updated
2016-04-13 some small typos
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Apr 2016 12:26:16 +0100] rev 162
some small typos
2016-04-09 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 09 Apr 2016 09:51:00 +0100] rev 161
added test cases from the haskell repository
2016-04-05 corrected typo and corrected proofs in Sulzmann.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Apr 2016 14:00:55 +0100] rev 160
corrected typo and corrected proofs in Sulzmann.thy
2016-04-05 updated programs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Apr 2016 09:27:36 +0100] rev 159
updated programs
2016-04-01 added bit-coded version
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Apr 2016 16:29:33 +0100] rev 158
added bit-coded version
2016-03-31 cleaned up scala code
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 31 Mar 2016 16:50:37 +0100] rev 157
cleaned up scala code
2016-03-19 updated implementations
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Mar 2016 23:27:29 +0000] rev 156
updated implementations
2016-03-18 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Mar 2016 15:03:54 +0000] rev 155
updated
2016-03-18 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Mar 2016 01:26:14 +0000] rev 154
updated
2016-03-16 added literature
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 16 Mar 2016 10:02:19 +0000] rev 153
added literature
2016-03-16 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 16 Mar 2016 07:15:12 +0000] rev 152
updated
2016-03-15 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 15 Mar 2016 01:10:38 +0000] rev 151
updated
2016-03-14 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 14 Mar 2016 23:08:58 +0000] rev 150
updated
2016-03-14 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 14 Mar 2016 15:15:29 +0000] rev 149
updated
2016-03-13 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 13 Mar 2016 01:07:34 +0000] rev 148
updated
2016-03-11 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 11 Mar 2016 21:21:09 +0000] rev 147
updated
2016-03-11 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 11 Mar 2016 13:53:53 +0000] rev 146
updated
2016-03-11 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 11 Mar 2016 10:43:44 +0000] rev 145
updated
2016-03-11 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 11 Mar 2016 00:56:46 +0000] rev 144
updated
2016-03-11 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 11 Mar 2016 00:38:38 +0000] rev 143
updated
2016-03-10 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 10 Mar 2016 23:43:04 +0000] rev 142
updated
2016-03-09 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 09 Mar 2016 10:33:26 +0000] rev 141
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 12:02:25 +0000] rev 140
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 11:40:36 +0000] rev 139
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 11:34:51 +0000] rev 138
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 11:24:56 +0000] rev 137
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 11:09:12 +0000] rev 136
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 10:46:43 +0000] rev 135
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 10:40:35 +0000] rev 134
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 10:21:18 +0000] rev 133
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 09:25:17 +0000] rev 132
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 07:19:55 +0000] rev 131
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 07:17:31 +0000] rev 130
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 07:14:52 +0000] rev 129
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 07:13:20 +0000] rev 128
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 06:30:48 +0000] rev 127
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 05:03:47 +0000] rev 126
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 00:45:09 +0000] rev 125
updated
2016-03-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Mar 2016 00:34:15 +0000] rev 124
updated
2016-03-07 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Mar 2016 22:20:15 +0000] rev 123
updated
2016-03-07 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Mar 2016 21:54:50 +0000] rev 122
updated
2016-03-07 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Mar 2016 18:56:41 +0000] rev 121
updated
2016-03-07 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Mar 2016 03:23:28 +0000] rev 120
updated
2016-03-06 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 06 Mar 2016 20:00:47 +0000] rev 119
updated
2016-03-06 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 06 Mar 2016 18:40:43 +0000] rev 118
updated
2016-03-06 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 06 Mar 2016 16:51:32 +0000] rev 117
updated
2016-03-06 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 06 Mar 2016 12:48:31 +0000] rev 116
updated
2016-03-05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 05 Mar 2016 12:10:01 +0000] rev 115
updated
2016-03-05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 05 Mar 2016 05:41:51 +0000] rev 114
updated
2016-03-05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 05 Mar 2016 04:01:10 +0000] rev 113
updated
2016-03-03 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Mar 2016 08:22:39 +0000] rev 112
updated
2016-03-02 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 02 Mar 2016 14:35:50 +0000] rev 111
updated
2016-03-02 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 02 Mar 2016 14:06:13 +0000] rev 110
updated
2016-03-02 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 02 Mar 2016 04:13:25 +0000] rev 109
updated
2016-03-01 updated paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 01 Mar 2016 12:10:11 +0000] rev 108
updated paper
2016-02-28 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 28 Feb 2016 14:01:12 +0000] rev 107
updated
2016-02-25 more cleaning and moving unnessary stuff to the end
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 25 Feb 2016 20:13:41 +0000] rev 106
more cleaning and moving unnessary stuff to the end
2016-02-25 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 25 Feb 2016 12:17:31 +0000] rev 105
updated
2016-02-24 updated theories and cleaned them up
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 24 Feb 2016 21:08:35 +0000] rev 104
updated theories and cleaned them up
2016-02-15 added some slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 15 Feb 2016 21:48:57 +0100] rev 103
added some slides
2016-02-13 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 13 Feb 2016 02:00:09 +0000] rev 102
updated
2016-02-10 fixed inj function
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 10 Feb 2016 17:38:29 +0000] rev 101
fixed inj function
2016-02-08 strengthened PMatch to get determ
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Feb 2016 15:51:23 +0000] rev 100
strengthened PMatch to get determ
2016-02-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Feb 2016 11:54:48 +0000] rev 99
updated
2016-02-08 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Feb 2016 09:56:32 +0000] rev 98
updated
2016-02-07 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 07 Feb 2016 23:44:34 +0000] rev 97
updated
2016-02-05 added new version of paper by sulzmann
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 05 Feb 2016 10:16:41 +0000] rev 96
added new version of paper by sulzmann
2016-02-05 started a paper and moved cruft to Attic
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 05 Feb 2016 10:16:10 +0000] rev 95
started a paper and moved cruft to Attic
2016-02-02 proved also finiteness of non-problematic values
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 02 Feb 2016 02:27:16 +0000] rev 94
proved also finiteness of non-problematic values
2016-02-01 extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |=
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Feb 2016 22:30:27 +0000] rev 93
extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |=
2016-02-01 ReStar changes
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Feb 2016 13:59:55 +0000] rev 92
ReStar changes
2016-02-01 more lemmas for star
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Feb 2016 13:46:28 +0000] rev 91
more lemmas for star
2016-01-30 proved some lemmas about star and mkeps (injval etc not yet done)
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 30 Jan 2016 13:12:36 +0000] rev 90
proved some lemmas about star and mkeps (injval etc not yet done)
2016-01-21 added theory for star
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Jan 2016 12:47:20 +0000] rev 89
added theory for star
2016-01-14 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Jan 2016 17:19:40 +0000] rev 88
updated
2016-01-06 added type inference paper and updated Re.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Jan 2016 12:24:29 +0000] rev 87
added type inference paper and updated Re.thy
2015-12-19 added a proof about Values and PMatch
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Dec 2015 23:51:31 +0000] rev 86
added a proof about Values and PMatch
2015-12-18 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Dec 2015 14:25:22 +0000] rev 85
updated
2015-12-18 the algorithm is correct according to the Type Inference definition
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Dec 2015 10:11:01 +0000] rev 84
the algorithm is correct according to the Type Inference definition
2015-12-18 added POSIX relation from the Type-Inference paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Dec 2015 00:37:35 +0000] rev 83
added POSIX relation from the Type-Inference paper
2015-12-17 cleaned up version of Re1
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 17 Dec 2015 14:16:24 +0000] rev 82
cleaned up version of Re1
2015-12-17 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 17 Dec 2015 13:14:36 +0000] rev 81
updated
2015-07-06 added phd thesis
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 06 Jul 2015 20:44:30 +0100] rev 80
added phd thesis
2015-06-10 added frisch / cardelli paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 10 Jun 2015 14:51:35 +0100] rev 79
added frisch / cardelli paper
2015-06-08 updated the Isabelle theories with the totality proof
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Jun 2015 14:37:19 +0100] rev 78
updated the Isabelle theories with the totality proof
2015-05-25 proved some basic properties (totality and trichonomity) for the orderings
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 25 May 2015 16:09:23 +0100] rev 77
proved some basic properties (totality and trichonomity) for the orderings
2015-04-25 added an equivalent slightly simpler POSIX definition
Christian Urban <urbanc@in.tum.de> [Sat, 25 Apr 2015 10:58:48 +0100] rev 76
added an equivalent slightly simpler POSIX definition
2015-04-10 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 10 Apr 2015 22:38:36 +0100] rev 75
updated
2015-03-13 updated from the session today
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 13 Mar 2015 21:27:03 +0000] rev 74
updated from the session today
2015-03-09 solved one case
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 09 Mar 2015 10:49:17 +0000] rev 73
solved one case
2015-03-04 updated R1 and notes
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 04 Mar 2015 19:34:47 +0000] rev 72
updated R1 and notes
2015-02-26 added a section about a nullable proof
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 26 Feb 2015 16:35:10 +0000] rev 71
added a section about a nullable proof
2015-02-26 merges
fahad [Thu, 26 Feb 2015 12:51:02 +0000] rev 70
merges
2015-02-26 deleted file
fahad [Thu, 26 Feb 2015 12:43:59 +0000] rev 69
deleted file
2015-02-26 merged
fahad [Thu, 26 Feb 2015 12:42:22 +0000] rev 68
merged
2015-02-26 merged
fahad [Thu, 26 Feb 2015 12:41:55 +0000] rev 67
merged
2015-02-14 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 14 Feb 2015 08:35:21 +0000] rev 66
updated
2015-02-12 ch3
fahad [Thu, 12 Feb 2015 14:00:45 +0000] rev 65
ch3
2015-02-11 deleted file
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 11 Feb 2015 12:29:59 +0000] rev 64
deleted file
2015-02-11 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 11 Feb 2015 11:22:53 +0000] rev 63
updated
2015-02-09 updated some rules
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 09 Feb 2015 12:13:10 +0000] rev 62
updated some rules
2015-02-09 test
fahad [Mon, 09 Feb 2015 00:46:25 +0000] rev 61
test
2015-01-31 added a preliminary part describing the main theorem
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 31 Jan 2015 18:21:03 +0000] rev 60
added a preliminary part describing the main theorem
2015-01-30 added line numbers
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 30 Jan 2015 13:19:15 +0000] rev 59
added line numbers
2015-01-30 updated more
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 30 Jan 2015 13:11:39 +0000] rev 58
updated more
2015-01-30 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 30 Jan 2015 11:42:53 +0000] rev 57
updated
2015-01-29 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 29 Jan 2015 23:42:44 +0000] rev 56
updated
2015-01-29 added some notes (still incomplete)
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 29 Jan 2015 23:39:08 +0000] rev 55
added some notes (still incomplete)
2015-01-29 no changes
fahad [Thu, 29 Jan 2015 11:23:05 +0000] rev 54
no changes
2015-01-29 added some lemmas, attempted others
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 29 Jan 2015 09:05:40 +0000] rev 53
added some lemmas, attempted others
2015-01-26 test
fahad [Mon, 26 Jan 2015 16:01:58 +0000] rev 52
test
2015-01-26 test
fahad [Mon, 26 Jan 2015 15:54:27 +0000] rev 51
test
2015-01-26 fahad's experiments
Fahad Ausaf <fahad.ausaf@kcl.ac.uk> [Mon, 26 Jan 2015 15:41:16 +0000] rev 50
fahad's experiments
2015-01-21 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 21 Jan 2015 12:32:17 +0000] rev 49
updated
2015-01-19 added a function for calculating values
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 19 Jan 2015 09:55:58 +0000] rev 48
added a function for calculating values
2014-12-26 added a paper to Literature
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 26 Dec 2014 21:17:55 +0000] rev 47
added a paper to Literature
2014-12-09 added Pr theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 09 Dec 2014 16:17:41 +0000] rev 46
added Pr theory
2014-11-12 msc project
Fahad Ausaf <fahad.ausaf@kcl.ac.uk> [Wed, 12 Nov 2014 12:24:26 +0000] rev 45
msc project
2014-11-09 Code Samples
Fahad Ausaf <fahad.ausaf@kcl.ac.uk> [Sun, 09 Nov 2014 19:25:10 +0000] rev 44
Code Samples
2014-11-09 test
Fahad Ausaf <fahad.ausaf@kcl.ac.uk> [Sun, 09 Nov 2014 19:14:23 +0000] rev 43
test
2014-11-08 Test changes through linux
fahad [Sat, 08 Nov 2014 12:19:37 +0000] rev 42
Test changes through linux
2014-11-06 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 06 Nov 2014 20:08:39 +0000] rev 41
updated
2014-11-04 a1
fahadausaf <fahad.ausaf@icloud.com> [Tue, 04 Nov 2014 19:51:39 +0000] rev 40
a1
2014-11-04 new algo
fahadausaf <fahad.ausaf@icloud.com> [Tue, 04 Nov 2014 19:51:01 +0000] rev 39
new algo
2014-11-02 slightly polished the scala file re.scala
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 02 Nov 2014 12:24:41 +0000] rev 38
slightly polished the scala file re.scala
2014-11-01 commit
fahadausaf <fahad.ausaf@icloud.com> [Sat, 01 Nov 2014 20:28:05 +0000] rev 37
commit
2014-11-01 Handout 2
fahadausaf <fahad.ausaf@icloud.com> [Sat, 01 Nov 2014 20:25:21 +0000] rev 36
Handout 2
2014-10-28 merged
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 28 Oct 2014 15:36:34 +0000] rev 35
merged
2014-10-28 added a file for calculating all answers...still incomplete
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 28 Oct 2014 15:36:14 +0000] rev 34
added a file for calculating all answers...still incomplete
2014-10-27 new
fahadausaf <fahad.ausaf@icloud.com> [Mon, 27 Oct 2014 12:40:19 +0000] rev 33
new
2014-10-26 no message
fahadausaf <fahad.ausaf@icloud.com> [Sun, 26 Oct 2014 16:42:28 +0000] rev 32
no message
2014-10-26 POSIX Algorithm
fahadausaf <fahad.ausaf@icloud.com> [Sun, 26 Oct 2014 11:17:40 +0000] rev 31
POSIX Algorithm
2014-10-25 scala by example code
fahadausaf <fahad.ausaf@icloud.com> [Sat, 25 Oct 2014 17:28:56 +0100] rev 30
scala by example code
2014-10-13 Proof Automation
fahadausaf <fahad.ausaf@icloud.com> [Mon, 13 Oct 2014 09:20:23 +0100] rev 29
Proof Automation
2014-10-10 trees
fahadausaf <fahad.ausaf@icloud.com> [Fri, 10 Oct 2014 18:45:10 +0100] rev 28
trees
2014-10-08 added done to the proof.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 08 Oct 2014 10:30:14 +0100] rev 27
added done to the proof.
2014-10-08 deleted temporary files
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 08 Oct 2014 10:28:19 +0100] rev 26
deleted temporary files
2014-10-07 lemma
fahadausaf <fahad.ausaf@icloud.com> [Tue, 07 Oct 2014 18:43:29 +0100] rev 25
lemma
2014-10-07 added type information to produce the expected result with value
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 07 Oct 2014 16:17:23 +0100] rev 24
added type information to produce the expected result with value
2014-10-07 commit
fahadausaf <fahad.ausaf@icloud.com> [Tue, 07 Oct 2014 12:48:56 +0100] rev 23
commit
2014-10-07 Count
fahadausaf <fahad.ausaf@icloud.com> [Tue, 07 Oct 2014 12:33:27 +0100] rev 22
Count
2014-10-06 add
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 16:42:52 +0100] rev 21
add
2014-10-06 some small changes
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 06 Oct 2014 15:24:41 +0100] rev 20
some small changes
2014-10-06 abc
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 14:22:13 +0100] rev 19
abc
2014-10-06 c
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 13:44:27 +0100] rev 18
c
2014-10-06 multiply 2
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 13:43:28 +0100] rev 17
multiply 2
2014-10-06 associative-commutative
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 12:00:46 +0100] rev 16
associative-commutative
2014-10-06 multiply
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 11:46:23 +0100] rev 15
multiply
2014-10-06 calculator
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 11:17:46 +0100] rev 14
calculator
2014-09-25 fixed the scala implementation
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 25 Sep 2014 14:41:06 +0100] rev 13
fixed the scala implementation
2014-09-22 Delete POSIX_ALT2
fahadausaf <fahad.ausaf@icloud.com> [Mon, 22 Sep 2014 14:57:02 +0100] rev 12
Delete POSIX_ALT2
2014-09-19 changed theory name
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 19 Sep 2014 14:01:01 +0100] rev 11
changed theory name
2014-09-19 added test version
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 19 Sep 2014 12:54:03 +0100] rev 10
added test version
2014-09-10 commit by fahad
fahadausaf <fahad.ausaf@icloud.com> [Wed, 10 Sep 2014 12:37:43 +0100] rev 9
commit by fahad
2014-09-09 started a few arguments for the ALT case
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 09 Sep 2014 05:12:01 +0100] rev 8
started a few arguments for the ALT case
2014-09-08 cleaned up the theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 21:13:36 +0100] rev 7
cleaned up the theory
2014-09-08 getting back the original version by Sulzmann
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 16:36:13 +0100] rev 6
getting back the original version by Sulzmann
2014-09-08 initial version of the theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 14:06:15 +0100] rev 5
initial version of the theory
2014-09-03 added Crashcourse paper to literature
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 03 Sep 2014 14:59:45 +0100] rev 4
added Crashcourse paper to literature
2014-08-15 added all toy implementations
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Aug 2014 14:10:58 +0100] rev 3
added all toy implementations
2014-08-15 deleted big pdf file
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Aug 2014 14:01:27 +0100] rev 2
deleted big pdf file
2014-08-15 added relevant paper by Tobias Nipkow
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Aug 2014 13:59:34 +0100] rev 1
added relevant paper by Tobias Nipkow
2014-08-15 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Aug 2014 13:51:42 +0100] rev 0
initial commit
(0) tip