Mercurial Mercurial > hg > tm / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -50 -28 +28 +50 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 02 May 2013 13:19:50 +0100 polised a bit of the Recs-theory
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 13:19:50 +0100] rev 249
polised a bit of the Recs-theory
Thu, 02 May 2013 12:49:33 +0100 repaired old files
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 12:49:33 +0100] rev 248
repaired old files
Thu, 02 May 2013 12:49:15 +0100 eliminated explicit swap_lemmas
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 12:49:15 +0100] rev 247
eliminated explicit swap_lemmas
Thu, 02 May 2013 11:32:37 +0100 separated recursive functions and UF
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 11:32:37 +0100] rev 246
separated recursive functions and UF
Thu, 02 May 2013 08:31:48 +0100 introduced rec_if
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 08:31:48 +0100] rev 245
introduced rec_if
Wed, 01 May 2013 15:56:57 +0100 started with UF
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 01 May 2013 15:56:57 +0100] rev 244
started with UF
Tue, 30 Apr 2013 12:53:11 +0100 added max and lg functions
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 30 Apr 2013 12:53:11 +0100] rev 243
added max and lg functions
Mon, 29 Apr 2013 11:02:23 +0100 added mechanizing separation algebra paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 29 Apr 2013 11:02:23 +0100] rev 242
added mechanizing separation algebra paper
Fri, 26 Apr 2013 01:07:47 +0100 uodated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 26 Apr 2013 01:07:47 +0100] rev 241
uodated
Thu, 25 Apr 2013 21:37:05 +0100 added improved Recsursive function theory (not yet finished)
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 25 Apr 2013 21:37:05 +0100] rev 240
added improved Recsursive function theory (not yet finished)
Wed, 24 Apr 2013 09:49:00 +0100 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 24 Apr 2013 09:49:00 +0100] rev 239
updated
Mon, 22 Apr 2013 10:33:40 +0100 used prime from the library
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 22 Apr 2013 10:33:40 +0100] rev 238
used prime from the library
Mon, 22 Apr 2013 08:26:16 +0100 updated and small modification
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 22 Apr 2013 08:26:16 +0100] rev 237
updated and small modification
Fri, 05 Apr 2013 09:18:17 +0100 polished the intro
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 05 Apr 2013 09:18:17 +0100] rev 236
polished the intro
Mon, 01 Apr 2013 21:38:53 +0100 added paper by Kozen on Hoare-logics and Kleene algebras
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Apr 2013 21:38:53 +0100] rev 235
added paper by Kozen on Hoare-logics and Kleene algebras
Mon, 01 Apr 2013 18:15:00 +0100 fixed counterexample according to def in Chap 8
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Apr 2013 18:15:00 +0100] rev 234
fixed counterexample according to def in Chap 8
Fri, 29 Mar 2013 02:40:38 +0000 changed the introduction adn cited Zammit
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Mar 2013 02:40:38 +0000] rev 233
changed the introduction adn cited Zammit
Fri, 29 Mar 2013 01:36:45 +0000 updated according to comments from reviewers
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Mar 2013 01:36:45 +0000] rev 232
updated according to comments from reviewers
Wed, 27 Mar 2013 13:24:41 +0000 tunded
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 13:24:41 +0000] rev 231
tunded
Wed, 27 Mar 2013 13:16:37 +0000 adapted paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 13:16:37 +0000] rev 230
adapted paper
Wed, 27 Mar 2013 09:47:02 +0000 much simplified version of Recursive.thy
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 09:47:02 +0000] rev 229
much simplified version of Recursive.thy
Thu, 14 Mar 2013 20:43:43 +0000 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 20:43:43 +0000] rev 228
tuned
Thu, 14 Mar 2013 19:18:39 +0000 tuned scala examples
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 19:18:39 +0000] rev 227
tuned scala examples
Thu, 14 Mar 2013 19:03:05 +0000 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 19:03:05 +0000] rev 226
tuned
Thu, 14 Mar 2013 18:46:34 +0000 added an abacus to javabyte code compiler
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 18:46:34 +0000] rev 225
added an abacus to javabyte code compiler
Thu, 14 Mar 2013 18:24:06 +0000 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 18:24:06 +0000] rev 224
tuned
Thu, 14 Mar 2013 18:02:26 +0000 added a stimes_ac lemma for Xingyuan
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 18:02:26 +0000] rev 223
added a stimes_ac lemma for Xingyuan
Tue, 12 Mar 2013 15:03:23 +0000 better printing of register programs in Scala
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 12 Mar 2013 15:03:23 +0000] rev 222
better printing of register programs in Scala
(0) -100 -50 -28 +28 +50 tip
tm