| 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
|