]>
2013-02-04 | Wilmer Ricciotti | state mte2 renamed to mte_acc | blob | commitdiff | raw |
2013-02-04 | Wilmer Ricciotti | converting certain basic machines to composed machines | blob | commitdiff | raw | diff to current |
2013-01-24 | Wilmer Ricciotti | progress | blob | commitdiff | raw | diff to current |
2013-01-22 | Wilmer Ricciotti | Removed all axioms in unistep_aux | blob | commitdiff | raw | diff to current |
2013-01-15 | Wilmer Ricciotti | unistep_aux | blob | commitdiff | raw | diff to current |
2013-01-14 | Andrea Asperti | Closed some daemons | blob | commitdiff | raw | diff to current |
2013-01-08 | Andrea Asperti | more porting to machines that can move without writing | blob | commitdiff | raw | diff to current |
2013-01-08 | Wilmer Ricciotti | parmove based on end of the tape | blob | commitdiff | raw | diff to current |