Mercurial Mercurial > hg > lexing / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) +240 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Tue, 08 Mar 2016 11:09:12 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 10:46:43 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 10:40:35 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 10:21:18 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 09:25:17 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 07:19:55 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 07:17:31 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 07:14:52 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 07:13:20 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 06:30:48 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 05:03:47 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 00:45:09 +0000 Christian Urban updated changeset | files
Tue, 08 Mar 2016 00:34:15 +0000 Christian Urban updated changeset | files
Mon, 07 Mar 2016 22:20:15 +0000 Christian Urban updated changeset | files
Mon, 07 Mar 2016 21:54:50 +0000 Christian Urban updated changeset | files
Mon, 07 Mar 2016 18:56:41 +0000 Christian Urban updated changeset | files
Mon, 07 Mar 2016 03:23:28 +0000 Christian Urban updated changeset | files
Sun, 06 Mar 2016 20:00:47 +0000 Christian Urban updated changeset | files
Sun, 06 Mar 2016 18:40:43 +0000 Christian Urban updated changeset | files
Sun, 06 Mar 2016 16:51:32 +0000 Christian Urban updated changeset | files
Sun, 06 Mar 2016 12:48:31 +0000 Christian Urban updated changeset | files
Sat, 05 Mar 2016 12:10:01 +0000 Christian Urban updated changeset | files
Sat, 05 Mar 2016 05:41:51 +0000 Christian Urban updated changeset | files
Sat, 05 Mar 2016 04:01:10 +0000 Christian Urban updated changeset | files
Thu, 03 Mar 2016 08:22:39 +0000 Christian Urban updated changeset | files
Wed, 02 Mar 2016 14:35:50 +0000 Christian Urban updated changeset | files
Wed, 02 Mar 2016 14:06:13 +0000 Christian Urban updated changeset | files
Wed, 02 Mar 2016 04:13:25 +0000 Christian Urban updated changeset | files
Tue, 01 Mar 2016 12:10:11 +0000 Christian Urban updated paper changeset | files
Sun, 28 Feb 2016 14:01:12 +0000 Christian Urban updated changeset | files
Thu, 25 Feb 2016 20:13:41 +0000 Christian Urban more cleaning and moving unnessary stuff to the end changeset | files
Thu, 25 Feb 2016 12:17:31 +0000 Christian Urban updated changeset | files
Wed, 24 Feb 2016 21:08:35 +0000 Christian Urban updated theories and cleaned them up changeset | files
Mon, 15 Feb 2016 21:48:57 +0100 Christian Urban added some slides changeset | files
Sat, 13 Feb 2016 02:00:09 +0000 Christian Urban updated changeset | files
Wed, 10 Feb 2016 17:38:29 +0000 Christian Urban fixed inj function changeset | files
Mon, 08 Feb 2016 15:51:23 +0000 Christian Urban strengthened PMatch to get determ changeset | files
Mon, 08 Feb 2016 11:54:48 +0000 Christian Urban updated changeset | files
Mon, 08 Feb 2016 09:56:32 +0000 Christian Urban updated changeset | files
Sun, 07 Feb 2016 23:44:34 +0000 Christian Urban updated changeset | files
Fri, 05 Feb 2016 10:16:41 +0000 Christian Urban added new version of paper by sulzmann changeset | files
Fri, 05 Feb 2016 10:16:10 +0000 Christian Urban started a paper and moved cruft to Attic changeset | files
Tue, 02 Feb 2016 02:27:16 +0000 Christian Urban proved also finiteness of non-problematic values changeset | files
Mon, 01 Feb 2016 22:30:27 +0000 Christian Urban extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |= changeset | files
Mon, 01 Feb 2016 13:59:55 +0000 Christian Urban ReStar changes changeset | files
Mon, 01 Feb 2016 13:46:28 +0000 Christian Urban more lemmas for star changeset | files
Sat, 30 Jan 2016 13:12:36 +0000 Christian Urban proved some lemmas about star and mkeps (injval etc not yet done) changeset | files
Thu, 21 Jan 2016 12:47:20 +0000 Christian Urban added theory for star changeset | files
Thu, 14 Jan 2016 17:19:40 +0000 Christian Urban updated changeset | files
Wed, 06 Jan 2016 12:24:29 +0000 Christian Urban added type inference paper and updated Re.thy changeset | files
Sat, 19 Dec 2015 23:51:31 +0000 Christian Urban added a proof about Values and PMatch changeset | files
Fri, 18 Dec 2015 14:25:22 +0000 Christian Urban updated changeset | files
Fri, 18 Dec 2015 10:11:01 +0000 Christian Urban the algorithm is correct according to the Type Inference definition changeset | files
Fri, 18 Dec 2015 00:37:35 +0000 Christian Urban added POSIX relation from the Type-Inference paper changeset | files
Thu, 17 Dec 2015 14:16:24 +0000 Christian Urban cleaned up version of Re1 changeset | files
Thu, 17 Dec 2015 13:14:36 +0000 Christian Urban updated changeset | files
Mon, 06 Jul 2015 20:44:30 +0100 Christian Urban added phd thesis changeset | files
Wed, 10 Jun 2015 14:51:35 +0100 Christian Urban added frisch / cardelli paper changeset | files
Mon, 08 Jun 2015 14:37:19 +0100 Christian Urban updated the Isabelle theories with the totality proof changeset | files
Mon, 25 May 2015 16:09:23 +0100 Christian Urban proved some basic properties (totality and trichonomity) for the orderings changeset | files
Sat, 25 Apr 2015 10:58:48 +0100 Christian Urban added an equivalent slightly simpler POSIX definition changeset | files
Fri, 10 Apr 2015 22:38:36 +0100 Christian Urban updated changeset | files
Fri, 13 Mar 2015 21:27:03 +0000 Christian Urban updated from the session today changeset | files
Mon, 09 Mar 2015 10:49:17 +0000 Christian Urban solved one case changeset | files
Wed, 04 Mar 2015 19:34:47 +0000 Christian Urban updated R1 and notes changeset | files
Thu, 26 Feb 2015 16:35:10 +0000 Christian Urban added a section about a nullable proof changeset | files
Thu, 26 Feb 2015 12:51:02 +0000 fahad merges changeset | files
Thu, 26 Feb 2015 12:43:59 +0000 fahad deleted file changeset | files
Thu, 26 Feb 2015 12:42:22 +0000 fahad merged changeset | files
Thu, 26 Feb 2015 12:41:55 +0000 fahad merged changeset | files
Sat, 14 Feb 2015 08:35:21 +0000 Christian Urban updated changeset | files
Thu, 12 Feb 2015 14:00:45 +0000 fahad ch3 changeset | files
Wed, 11 Feb 2015 12:29:59 +0000 Christian Urban deleted file changeset | files
Wed, 11 Feb 2015 11:22:53 +0000 Christian Urban updated changeset | files
Mon, 09 Feb 2015 12:13:10 +0000 Christian Urban updated some rules changeset | files
Mon, 09 Feb 2015 00:46:25 +0000 fahad test changeset | files
Sat, 31 Jan 2015 18:21:03 +0000 Christian Urban added a preliminary part describing the main theorem changeset | files
Fri, 30 Jan 2015 13:19:15 +0000 Christian Urban added line numbers changeset | files
Fri, 30 Jan 2015 13:11:39 +0000 Christian Urban updated more changeset | files
Fri, 30 Jan 2015 11:42:53 +0000 Christian Urban updated changeset | files
Thu, 29 Jan 2015 23:42:44 +0000 Christian Urban updated changeset | files
Thu, 29 Jan 2015 23:39:08 +0000 Christian Urban added some notes (still incomplete) changeset | files
Thu, 29 Jan 2015 11:23:05 +0000 fahad no changes changeset | files
Thu, 29 Jan 2015 09:05:40 +0000 Christian Urban added some lemmas, attempted others changeset | files
Mon, 26 Jan 2015 16:01:58 +0000 fahad test changeset | files
Mon, 26 Jan 2015 15:54:27 +0000 fahad test changeset | files
Mon, 26 Jan 2015 15:41:16 +0000 Fahad Ausaf fahad's experiments changeset | files
Wed, 21 Jan 2015 12:32:17 +0000 Christian Urban updated changeset | files
Mon, 19 Jan 2015 09:55:58 +0000 Christian Urban added a function for calculating values changeset | files
Fri, 26 Dec 2014 21:17:55 +0000 Christian Urban added a paper to Literature changeset | files
Tue, 09 Dec 2014 16:17:41 +0000 Christian Urban added Pr theory changeset | files
Wed, 12 Nov 2014 12:24:26 +0000 Fahad Ausaf msc project changeset | files
Sun, 09 Nov 2014 19:25:10 +0000 Fahad Ausaf Code Samples changeset | files
Sun, 09 Nov 2014 19:14:23 +0000 Fahad Ausaf test changeset | files
Sat, 08 Nov 2014 12:19:37 +0000 fahad Test changes through linux changeset | files
Thu, 06 Nov 2014 20:08:39 +0000 Christian Urban updated changeset | files
Tue, 04 Nov 2014 19:51:39 +0000 fahadausaf a1 changeset | files
Tue, 04 Nov 2014 19:51:01 +0000 fahadausaf new algo changeset | files
Sun, 02 Nov 2014 12:24:41 +0000 Christian Urban slightly polished the scala file re.scala changeset | files
Sat, 01 Nov 2014 20:28:05 +0000 fahadausaf commit changeset | files
Sat, 01 Nov 2014 20:25:21 +0000 fahadausaf Handout 2 changeset | files
Tue, 28 Oct 2014 15:36:34 +0000 Christian Urban merged changeset | files
Tue, 28 Oct 2014 15:36:14 +0000 Christian Urban added a file for calculating all answers...still incomplete changeset | files
Mon, 27 Oct 2014 12:40:19 +0000 fahadausaf new changeset | files
Sun, 26 Oct 2014 16:42:28 +0000 fahadausaf no message changeset | files
Sun, 26 Oct 2014 11:17:40 +0000 fahadausaf POSIX Algorithm changeset | files
Sat, 25 Oct 2014 17:28:56 +0100 fahadausaf scala by example code changeset | files
Mon, 13 Oct 2014 09:20:23 +0100 fahadausaf Proof Automation changeset | files
Fri, 10 Oct 2014 18:45:10 +0100 fahadausaf trees changeset | files
Wed, 08 Oct 2014 10:30:14 +0100 Christian Urban added done to the proof. changeset | files
Wed, 08 Oct 2014 10:28:19 +0100 Christian Urban deleted temporary files changeset | files
Tue, 07 Oct 2014 18:43:29 +0100 fahadausaf lemma changeset | files
Tue, 07 Oct 2014 16:17:23 +0100 Christian Urban added type information to produce the expected result with value changeset | files
Tue, 07 Oct 2014 12:48:56 +0100 fahadausaf commit changeset | files
Tue, 07 Oct 2014 12:33:27 +0100 fahadausaf Count changeset | files
Mon, 06 Oct 2014 16:42:52 +0100 fahadausaf add changeset | files
Mon, 06 Oct 2014 15:24:41 +0100 Christian Urban some small changes changeset | files
Mon, 06 Oct 2014 14:22:13 +0100 fahadausaf abc changeset | files
Mon, 06 Oct 2014 13:44:27 +0100 fahadausaf c changeset | files
Mon, 06 Oct 2014 13:43:28 +0100 fahadausaf multiply 2 changeset | files
Mon, 06 Oct 2014 12:00:46 +0100 fahadausaf associative-commutative changeset | files
Mon, 06 Oct 2014 11:46:23 +0100 fahadausaf multiply changeset | files
Mon, 06 Oct 2014 11:17:46 +0100 fahadausaf calculator changeset | files
Thu, 25 Sep 2014 14:41:06 +0100 Christian Urban fixed the scala implementation changeset | files
Mon, 22 Sep 2014 14:57:02 +0100 fahadausaf Delete POSIX_ALT2 changeset | files
Fri, 19 Sep 2014 14:01:01 +0100 Christian Urban changed theory name changeset | files
Fri, 19 Sep 2014 12:54:03 +0100 Christian Urban added test version changeset | files
Wed, 10 Sep 2014 12:37:43 +0100 fahadausaf commit by fahad changeset | files
Tue, 09 Sep 2014 05:12:01 +0100 Christian Urban started a few arguments for the ALT case changeset | files
Mon, 08 Sep 2014 21:13:36 +0100 Christian Urban cleaned up the theory changeset | files
Mon, 08 Sep 2014 16:36:13 +0100 Christian Urban getting back the original version by Sulzmann changeset | files
Mon, 08 Sep 2014 14:06:15 +0100 Christian Urban initial version of the theory changeset | files
Wed, 03 Sep 2014 14:59:45 +0100 Christian Urban added Crashcourse paper to literature changeset | files
Fri, 15 Aug 2014 14:10:58 +0100 Christian Urban added all toy implementations changeset | files
Fri, 15 Aug 2014 14:01:27 +0100 Christian Urban deleted big pdf file changeset | files
Fri, 15 Aug 2014 13:59:34 +0100 Christian Urban added relevant paper by Tobias Nipkow changeset | files
Fri, 15 Aug 2014 13:51:42 +0100 Christian Urban initial commit changeset | files
(0) +240 tip
lexing