]>
2013-01-29 | Wilmer Ricciotti | Yippeee! Completes proof of soundness of the universal... | blob | commitdiff | raw |
2013-01-28 | Andrea Asperti | unistep!!! | blob | commitdiff | raw | diff to current |
2013-01-28 | Wilmer Ricciotti | sem_copy_strict | blob | commitdiff | raw | diff to current |
2013-01-27 | Wilmer Ricciotti | many axioms and daemons removed | blob | commitdiff | raw | diff to current |
2013-01-27 | Andrea Asperti | quasi finito | blob | commitdiff | raw | diff to current |
2013-01-27 | Andrea Asperti | sem_exec_move completed | blob | commitdiff | raw | diff to current |
2013-01-27 | Andrea Asperti | almost there | blob | commitdiff | raw | diff to current |
2013-01-26 | Andrea Asperti | A lot of changes | blob | commitdiff | raw | diff to current |
2013-01-25 | Andrea Asperti | Splitted unistep_aux | blob | commitdiff | raw | diff to current |