]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/multi_universal
update in delayed_updating
[helm.git] / matita / matita / lib / turing / multi_universal /
2013-11-15 Wilmer RicciottiFinal version of the binary machine (all proofs completed).
2013-11-07 Wilmer RicciottiCloses many daemons.
2013-11-06 Wilmer RicciottiFull rework of the semantics of the binary machine...
2013-11-03 Wilmer RicciottiAlmost finished...
2013-11-03 Wilmer RicciottiMajor bugfix/reorganization/improvement of the partial...
2013-10-24 Andrea Aspertimany changes
2013-10-20 Wilmer RicciottiCompletes all the phases of the binary machine (modulo...
2013-10-14 Wilmer RicciottiCompleted phases 0, 1, and 3.
2013-10-09 Wilmer Ricciottiprogress in the semantics of binary machines
2013-10-07 Wilmer RicciottiStarting proof about semantics of binary machines.
2013-10-07 Wilmer RicciottiCompletes the definition of binaryTM.
2013-10-03 Wilmer RicciottiAdds transformation of generic monotape machines into...
2013-02-07 Andrea Aspertirestructuring
2013-02-04 Wilmer Ricciottistate mte2 renamed to mte_acc
2013-02-04 Wilmer Ricciotticonverting certain basic machines to composed machines
2013-02-04 Wilmer Ricciottidefs.ma was never really used
2013-02-01 Wilmer Ricciottimatch now only uses the new move operation
2013-01-29 Wilmer RicciottiSpeed-up in match.ma.
2013-01-29 Wilmer RicciottiYippeee! Completes proof of soundness of the universal...
2013-01-28 Andrea Aspertiunistep!!!
2013-01-28 Andrea Aspertifunzioni ausiliarie
2013-01-28 Wilmer Ricciotticfg_in_table_to_tuple
2013-01-28 Wilmer Ricciottisem_copy_strict
2013-01-27 Wilmer Ricciottimany axioms and daemons removed
2013-01-27 Andrea Aspertiquasi finito
2013-01-27 Wilmer Ricciottiwell-foundedness done
2013-01-27 Andrea Aspertisem_exec_move completed
2013-01-27 Andrea Aspertialmost there
2013-01-26 Andrea AspertiA lot of changes
2013-01-25 Andrea AspertiSplitted unistep_aux
2013-01-25 Wilmer Ricciottistarted unistep
2013-01-25 Wilmer Ricciottiprogress in termination
2013-01-24 Wilmer Ricciottifinished semantics for termination of match machine
2013-01-24 Wilmer Ricciottiprogress
2013-01-24 Wilmer Ricciottiprogress
2013-01-23 Wilmer Ricciottiprogress
2013-01-22 Andrea Aspertitermination!
2013-01-22 Andrea AspertiUniversal machine
2013-01-22 Wilmer RicciottiRemoved all axioms in unistep_aux
2013-01-21 Wilmer Ricciottiremoved daemons
2013-01-21 Andrea Aspertiuniversal
2013-01-21 Wilmer Ricciottitape_move_obj completed (modulo daemons)
2013-01-21 Wilmer Ricciotticfg_to_obj completed (modulo daemons)
2013-01-21 Wilmer Ricciottiprogress
2013-01-20 Andrea Aspertisemantics of unistep
2013-01-18 Wilmer Ricciottiprogress in cfg_to_obj
2013-01-18 Andrea Asperticopy char form obj to cfg at the end
2013-01-18 Andrea Aspertihigh level semantics
2013-01-18 Andrea Aspertihigh level semantics
2013-01-18 Andrea Aspertisemantics of uni_step
2013-01-17 Wilmer Ricciottiprogress
2013-01-17 Wilmer Ricciottiprogress
2013-01-17 Wilmer Ricciottiprogress
2013-01-17 Wilmer Ricciottiprogress
2013-01-17 Wilmer Ricciottiprogress
2013-01-17 Andrea AspertiMoved a list comparison function in the list file
2013-01-17 Andrea Aspertinormal and tuples
2013-01-16 Wilmer Ricciottiadded null character to the alphabet
2013-01-16 Wilmer Ricciottiprogress
2013-01-15 Wilmer Ricciottiprogress in unistep_aux
2013-01-15 Wilmer Ricciottiunistep_aux
2013-01-15 Wilmer Ricciottimore unistep
2013-01-15 Wilmer Ricciottiunistep_aux
2013-01-15 Andrea Asperticopy finished
2013-01-15 Andrea Asperticopy.ma
2013-01-14 Wilmer Ricciottimatch.ma completed
2013-01-14 Wilmer Ricciottimatch termination completed, still a small case ignored...
2013-01-14 Wilmer Ricciottiwsem_match finished
2013-01-14 Wilmer Ricciottiadvancement in match
2013-01-14 Andrea AspertiClosed some daemons
2013-01-11 Wilmer Ricciottimatch almost finished
2013-01-08 Andrea Aspertimore porting to machines that can move without writing
2013-01-08 Wilmer Ricciottiparmove based on end of the tape
2013-01-08 Wilmer Ricciottiporting to machine that can move without writing
2012-12-07 Wilmer Ricciottimatch termination
2012-12-06 Ferruccio Guidi- we enabled a notation for ex2
2012-12-06 Wilmer RicciottiCleared unused variables in wsem_match (they were also...
2012-12-05 Wilmer RicciottiConcludes match (weak) semantics. Yay!
2012-12-04 Wilmer Ricciottimatch nearing completion
2012-12-04 Wilmer Ricciottimatch wsem almost done
2012-11-28 Wilmer Ricciottimatch
2012-11-28 Wilmer Ricciottimatch_step
2012-11-27 Andrea Aspertipar_test.ma
2012-11-27 Andrea Aspertiennesima versione
2012-11-27 Andrea Aspertisplitting files
2012-11-27 Andrea Aspertisplitting files
2012-11-26 Wilmer Ricciottitest null, match
2012-11-26 Andrea Aspertiworking on match
2012-11-23 Wilmer Ricciottimatch
2012-11-23 Wilmer Ricciotticompare
2012-11-23 Andrea Aspertiwork in progress
2012-11-23 Andrea AspertiRestoring and fixing the old version
2012-11-22 Wilmer Ricciottimatch
2012-11-21 Wilmer Ricciottimatch
2012-11-21 Andrea Asperticompare con terminatore
2012-11-21 Andrea Aspertimatch
2012-11-20 Wilmer Ricciottimatch
2012-11-20 Andrea Asperticompare
2012-11-16 Wilmer RicciottiMatch machine (multi)
2012-11-16 Wilmer Ricciottiprogress
next