Tue, 19 Feb 2013 04:56:33 +0000 |
Christian Urban |
added clear-definition to paper
|
changeset |
files
|
Tue, 19 Feb 2013 04:31:18 +0000 |
Christian Urban |
added newer ROOT file
|
changeset |
files
|
Mon, 18 Feb 2013 14:39:50 +0000 |
Christian Urban |
updated exponent program
|
changeset |
files
|
Mon, 18 Feb 2013 13:33:00 +0000 |
Christian Urban |
tuned
|
changeset |
files
|
Mon, 18 Feb 2013 13:28:51 +0000 |
Christian Urban |
removed unnecessary examples from Abacus.thy
|
changeset |
files
|
Mon, 18 Feb 2013 13:26:27 +0000 |
Christian Urban |
added abacus machines
|
changeset |
files
|
Mon, 18 Feb 2013 00:18:56 +0000 |
Christian Urban |
tuned
|
changeset |
files
|
Sat, 16 Feb 2013 11:02:08 +0000 |
Christian Urban |
added some TM machines
|
changeset |
files
|
Sat, 16 Feb 2013 09:07:07 +0000 |
Christian Urban |
added abacus programs
|
changeset |
files
|
Fri, 15 Feb 2013 18:24:00 +0000 |
Christian Urban |
added scala file
|
changeset |
files
|
Fri, 15 Feb 2013 23:02:20 +0800 |
Jian Xu |
remove dead code in Abacus_mopup
|
changeset |
files
|
Fri, 15 Feb 2013 14:07:39 +0000 |
Christian Urban |
tuning
|
changeset |
files
|
Fri, 15 Feb 2013 14:05:26 +0000 |
Christian Urban |
split Mopup TM into a separate file
|
changeset |
files
|
Fri, 15 Feb 2013 07:42:47 +0000 |
Christian Urban |
polished naming convention
|
changeset |
files
|
Thu, 14 Feb 2013 12:11:40 +0000 |
Christian Urban |
typo in the paper
|
changeset |
files
|