]> 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
update in ground_2 and basic_2
[helm.git] / matita / matita / lib / turing / multi_universal /
2013-11-15 Wilmer RicciottiFinal version of the binary machine (all proofs completed). tree | commitdiff
2013-11-07 Wilmer RicciottiCloses many daemons. tree | commitdiff
2013-11-06 Wilmer RicciottiFull rework of the semantics of the binary machine... tree | commitdiff
2013-11-03 Wilmer RicciottiAlmost finished... tree | commitdiff
2013-11-03 Wilmer RicciottiMajor bugfix/reorganization/improvement of the partial... tree | commitdiff
2013-10-24 Andrea Aspertimany changes tree | commitdiff
2013-10-20 Wilmer RicciottiCompletes all the phases of the binary machine (modulo... tree | commitdiff
2013-10-14 Wilmer RicciottiCompleted phases 0, 1, and 3. tree | commitdiff
2013-10-09 Wilmer Ricciottiprogress in the semantics of binary machines tree | commitdiff
2013-10-07 Wilmer RicciottiStarting proof about semantics of binary machines. tree | commitdiff
2013-10-07 Wilmer RicciottiCompletes the definition of binaryTM. tree | commitdiff
2013-10-03 Wilmer RicciottiAdds transformation of generic monotape machines into... tree | commitdiff
2013-02-07 Andrea Aspertirestructuring tree | commitdiff
2013-02-04 Wilmer Ricciottistate mte2 renamed to mte_acc tree | commitdiff
2013-02-04 Wilmer Ricciotticonverting certain basic machines to composed machines tree | commitdiff
2013-02-04 Wilmer Ricciottidefs.ma was never really used tree | commitdiff
2013-02-01 Wilmer Ricciottimatch now only uses the new move operation tree | commitdiff
2013-01-29 Wilmer RicciottiSpeed-up in match.ma. tree | commitdiff
2013-01-29 Wilmer RicciottiYippeee! Completes proof of soundness of the universal... tree | commitdiff
2013-01-28 Andrea Aspertiunistep!!! tree | commitdiff
2013-01-28 Andrea Aspertifunzioni ausiliarie tree | commitdiff
2013-01-28 Wilmer Ricciotticfg_in_table_to_tuple tree | commitdiff
2013-01-28 Wilmer Ricciottisem_copy_strict tree | commitdiff
2013-01-27 Wilmer Ricciottimany axioms and daemons removed tree | commitdiff
2013-01-27 Andrea Aspertiquasi finito tree | commitdiff
2013-01-27 Wilmer Ricciottiwell-foundedness done tree | commitdiff
2013-01-27 Andrea Aspertisem_exec_move completed tree | commitdiff
2013-01-27 Andrea Aspertialmost there tree | commitdiff
2013-01-26 Andrea AspertiA lot of changes tree | commitdiff
2013-01-25 Andrea AspertiSplitted unistep_aux tree | commitdiff
2013-01-25 Wilmer Ricciottistarted unistep tree | commitdiff
2013-01-25 Wilmer Ricciottiprogress in termination tree | commitdiff
2013-01-24 Wilmer Ricciottifinished semantics for termination of match machine tree | commitdiff
2013-01-24 Wilmer Ricciottiprogress tree | commitdiff
2013-01-24 Wilmer Ricciottiprogress tree | commitdiff
2013-01-23 Wilmer Ricciottiprogress tree | commitdiff
2013-01-22 Andrea Aspertitermination! tree | commitdiff
2013-01-22 Andrea AspertiUniversal machine tree | commitdiff
2013-01-22 Wilmer RicciottiRemoved all axioms in unistep_aux tree | commitdiff
2013-01-21 Wilmer Ricciottiremoved daemons tree | commitdiff
2013-01-21 Andrea Aspertiuniversal tree | commitdiff
2013-01-21 Wilmer Ricciottitape_move_obj completed (modulo daemons) tree | commitdiff
2013-01-21 Wilmer Ricciotticfg_to_obj completed (modulo daemons) tree | commitdiff
2013-01-21 Wilmer Ricciottiprogress tree | commitdiff
2013-01-20 Andrea Aspertisemantics of unistep tree | commitdiff
2013-01-18 Wilmer Ricciottiprogress in cfg_to_obj tree | commitdiff
2013-01-18 Andrea Asperticopy char form obj to cfg at the end tree | commitdiff
2013-01-18 Andrea Aspertihigh level semantics tree | commitdiff
2013-01-18 Andrea Aspertihigh level semantics tree | commitdiff
2013-01-18 Andrea Aspertisemantics of uni_step tree | commitdiff
2013-01-17 Wilmer Ricciottiprogress tree | commitdiff
2013-01-17 Wilmer Ricciottiprogress tree | commitdiff
2013-01-17 Wilmer Ricciottiprogress tree | commitdiff
2013-01-17 Wilmer Ricciottiprogress tree | commitdiff
2013-01-17 Wilmer Ricciottiprogress tree | commitdiff
2013-01-17 Andrea AspertiMoved a list comparison function in the list file tree | commitdiff
2013-01-17 Andrea Aspertinormal and tuples tree | commitdiff
2013-01-16 Wilmer Ricciottiadded null character to the alphabet tree | commitdiff
2013-01-16 Wilmer Ricciottiprogress tree | commitdiff
2013-01-15 Wilmer Ricciottiprogress in unistep_aux tree | commitdiff
2013-01-15 Wilmer Ricciottiunistep_aux tree | commitdiff
2013-01-15 Wilmer Ricciottimore unistep tree | commitdiff
2013-01-15 Wilmer Ricciottiunistep_aux tree | commitdiff
2013-01-15 Andrea Asperticopy finished tree | commitdiff
2013-01-15 Andrea Asperticopy.ma tree | commitdiff
2013-01-14 Wilmer Ricciottimatch.ma completed tree | commitdiff
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
next
Unnamed repository; edit this file 'description' to name the repository.