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) +224 tip