]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing
- we introduce stratified term equivalence to remove the parameter g from cpx
[helm.git] / matita / matita / lib / turing /
2014-01-26 Andrea Aspertimore auxiliary machines
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-25 Andrea Aspertifull.ma
2013-10-24 Andrea Aspertistep (almost) done
2013-10-24 Andrea AspertiThe step machine (draft)
2013-10-24 Andrea Aspertimany changes
2013-10-20 Wilmer RicciottiCompletes all the phases of the binary machine (modulo...
2013-10-19 Andrea AspertiSlowly porting to an enriched tape alphabet
2013-10-18 Andrea AspertiThe moves (almost)
2013-10-15 Andrea Aspertiadded sem_seq_app for the mono case
2013-10-15 Andrea Aspertirenaming files
2013-10-14 Andrea Aspertialmost there
2013-10-14 Wilmer RicciottiCompleted phases 0, 1, and 3.
2013-10-12 Andrea AspertiStill a problem to be fixed: after reaching the border...
2013-10-12 Andrea Aspertishift a trace from an extremity
2013-10-12 Andrea Aspertisplitting files
2013-10-12 Andrea AspertiMoved multi_to_mono.ma inside multi_to_mono
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-06 Andrea Aspertiprogress in the deifinition of the semantics of the...
2013-10-03 Wilmer RicciottiAdds transformation of generic monotape machines into...
2013-04-30 Claudio Sacerdoti... Missing include.
2013-04-30 Claudio Sacerdoti... Old version dropped.
2013-02-07 Andrea Aspertirestructuring
2013-02-07 Andrea Asperti(no commit message)
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 RicciottiProved old axiom.
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-14 Andrea Aspertinth_current_chars
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-21 Andrea AspertiMany changes
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
next