2013-02-18 | Christian Urban |
removed unnecessary examples from Abacus.thy | changeset | files |
2013-02-18 | Christian Urban |
added abacus machines | changeset | files |
2013-02-18 | Christian Urban |
tuned | changeset | files |
2013-02-16 | Christian Urban |
added some TM machines | changeset | files |
2013-02-16 | Christian Urban |
added abacus programs | changeset | files |
2013-02-15 | Christian Urban |
added scala file | changeset | files |
2013-02-15 | Jian Xu | remove dead code in Abacus_mopup | changeset | files |
2013-02-15 | Christian Urban |
tuning | changeset | files |
2013-02-15 | Christian Urban |
split Mopup TM into a separate file | changeset | files |
2013-02-15 | Christian Urban |
polished naming convention | changeset | files |
2013-02-14 | Christian Urban |
typo in the paper | changeset | files |
2013-02-14 | Christian Urban |
updated some files | changeset | files |
Loading... |