| Wed, 26 Jun 2013 14:35:43 +0100 |
Christian Urban |
implemented new UF in scala; made some small adjustments to the definitions in the theory
|
file |
diff |
annotate
|
| Thu, 25 Apr 2013 21:37:05 +0100 |
Christian Urban |
added improved Recsursive function theory (not yet finished)
|
file |
diff |
annotate
|
| Wed, 24 Apr 2013 09:49:00 +0100 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Thu, 14 Mar 2013 19:03:05 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Thu, 14 Mar 2013 18:46:34 +0000 |
Christian Urban |
added an abacus to javabyte code compiler
|
file |
diff |
annotate
|
| Tue, 12 Mar 2013 15:03:23 +0000 |
Christian Urban |
better printing of register programs in Scala
|
file |
diff |
annotate
|
| Sun, 10 Mar 2013 07:10:50 +0000 |
Christian Urban |
some peephole optimisations in the scala code
|
file |
diff |
annotate
|
| Sun, 03 Mar 2013 00:18:13 +0000 |
Christian Urban |
tuned abacus to turing compilation
|
file |
diff |
annotate
|
| Sat, 02 Mar 2013 10:42:39 +0000 |
Christian Urban |
finished compliations
|
file |
diff |
annotate
|
| Fri, 01 Mar 2013 23:46:02 +0000 |
Christian Urban |
added examples for the rec to abacus compilation
|
file |
diff |
annotate
|
| Fri, 01 Mar 2013 11:17:50 +0000 |
Christian Urban |
tuning
|
file |
diff |
annotate
|
| Fri, 01 Mar 2013 02:56:08 +0000 |
Christian Urban |
corrected scala compiler from recs to abacus
|
file |
diff |
annotate
|
| Tue, 26 Feb 2013 23:44:57 +0000 |
Christian Urban |
syntactic convenience for recursive functions
|
file |
diff |
annotate
|
| Tue, 26 Feb 2013 17:39:47 +0000 |
Christian Urban |
added all recursive functions needed for the UF
|
file |
diff |
annotate
|
| Tue, 26 Feb 2013 13:24:40 +0000 |
Christian Urban |
tuned some files
|
file |
diff |
annotate
|
| Mon, 25 Feb 2013 15:12:48 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Fri, 22 Feb 2013 14:31:34 +0000 |
Christian Urban |
updated Scala files
|
file |
diff |
annotate
|
| Thu, 21 Feb 2013 16:07:40 +0000 |
Christian Urban |
split up scala-file into separate components
|
file |
diff |
annotate
|