]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/multi_universal
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
match termination completed, still a small case ignored in wsem_match
[helm.git] / matita / matita / lib / turing / multi_universal /
2013-01-14 Wilmer Ricciottimatch termination completed, still a small case ignored... tree | commitdiff
2013-01-14 Wilmer Ricciottiwsem_match finished tree | commitdiff
2013-01-14 Wilmer Ricciottiadvancement in match tree | commitdiff
2013-01-14 Andrea AspertiClosed some daemons tree | commitdiff
2013-01-11 Wilmer Ricciottimatch almost finished tree | commitdiff
2013-01-08 Andrea Aspertimore porting to machines that can move without writing tree | commitdiff
2013-01-08 Wilmer Ricciottiparmove based on end of the tape tree | commitdiff
2013-01-08 Wilmer Ricciottiporting to machine that can move without writing tree | commitdiff
2012-12-07 Wilmer Ricciottimatch termination tree | commitdiff
2012-12-06 Ferruccio Guidi- we enabled a notation for ex2 tree | commitdiff
2012-12-06 Wilmer RicciottiCleared unused variables in wsem_match (they were also... tree | commitdiff
2012-12-05 Wilmer RicciottiConcludes match (weak) semantics. Yay! tree | commitdiff
2012-12-04 Wilmer Ricciottimatch nearing completion tree | commitdiff
2012-12-04 Wilmer Ricciottimatch wsem almost done tree | commitdiff
2012-11-28 Wilmer Ricciottimatch tree | commitdiff
2012-11-28 Wilmer Ricciottimatch_step tree | commitdiff
2012-11-27 Andrea Aspertipar_test.ma tree | commitdiff
2012-11-27 Andrea Aspertiennesima versione tree | commitdiff
2012-11-27 Andrea Aspertisplitting files tree | commitdiff
2012-11-27 Andrea Aspertisplitting files tree | commitdiff
2012-11-26 Wilmer Ricciottitest null, match tree | commitdiff
2012-11-26 Andrea Aspertiworking on match tree | commitdiff
2012-11-23 Wilmer Ricciottimatch tree | commitdiff
2012-11-23 Wilmer Ricciotticompare tree | commitdiff
2012-11-23 Andrea Aspertiwork in progress tree | commitdiff
2012-11-23 Andrea AspertiRestoring and fixing the old version tree | commitdiff
2012-11-22 Wilmer Ricciottimatch tree | commitdiff
2012-11-21 Wilmer Ricciottimatch tree | commitdiff
2012-11-21 Andrea Asperticompare con terminatore tree | commitdiff
2012-11-21 Andrea Aspertimatch tree | commitdiff
2012-11-20 Wilmer Ricciottimatch tree | commitdiff
2012-11-20 Andrea Asperticompare tree | commitdiff
2012-11-16 Wilmer RicciottiMatch machine (multi) tree | commitdiff
2012-11-16 Wilmer Ricciottiprogress tree | commitdiff
2012-11-16 Wilmer RicciottiParallel move machine. tree | commitdiff
2012-11-16 Wilmer RicciottiMatch machine (multi-tape) tree | commitdiff
2012-11-15 Wilmer RicciottiFinished copy turing machine (multi-tape) tree | commitdiff
2012-11-14 Wilmer Ricciotticopy machine (multi-tape) completed tree | commitdiff
2012-11-13 Wilmer Ricciottiprogress tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.