matita.cs.unibo.it Git - helm.git/history

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing

[helm.git] / matita / matita / lib / turing /

2014-01-26	Andrea Asperti	more auxiliary machines	tree \| commitdiff
2013-11-15	Wilmer Ricciotti	Final version of the binary machine (all proofs completed).	tree \| commitdiff
2013-11-07	Wilmer Ricciotti	Closes many daemons.	tree \| commitdiff
2013-11-06	Wilmer Ricciotti	Full rework of the semantics of the binary machine...	tree \| commitdiff
2013-11-03	Wilmer Ricciotti	Almost finished...	tree \| commitdiff
2013-11-03	Wilmer Ricciotti	Major bugfix/reorganization/improvement of the partial...	tree \| commitdiff
2013-10-25	Andrea Asperti	full.ma	tree \| commitdiff
2013-10-24	Andrea Asperti	step (almost) done	tree \| commitdiff
2013-10-24	Andrea Asperti	The step machine (draft)	tree \| commitdiff
2013-10-24	Andrea Asperti	many changes	tree \| commitdiff
2013-10-20	Wilmer Ricciotti	Completes all the phases of the binary machine (modulo...	tree \| commitdiff
2013-10-19	Andrea Asperti	Slowly porting to an enriched tape alphabet	tree \| commitdiff
2013-10-18	Andrea Asperti	The moves (almost)	tree \| commitdiff
2013-10-15	Andrea Asperti	added sem_seq_app for the mono case	tree \| commitdiff
2013-10-15	Andrea Asperti	renaming files	tree \| commitdiff
2013-10-14	Andrea Asperti	almost there	tree \| commitdiff
2013-10-14	Wilmer Ricciotti	Completed phases 0, 1, and 3.	tree \| commitdiff
2013-10-12	Andrea Asperti	Still a problem to be fixed: after reaching the border...	tree \| commitdiff
2013-10-12	Andrea Asperti	shift a trace from an extremity	tree \| commitdiff
2013-10-12	Andrea Asperti	splitting files	tree \| commitdiff
2013-10-12	Andrea Asperti	Moved multi_to_mono.ma inside multi_to_mono	tree \| commitdiff
2013-10-09	Wilmer Ricciotti	progress in the semantics of binary machines	tree \| commitdiff
2013-10-07	Wilmer Ricciotti	Starting proof about semantics of binary machines.	tree \| commitdiff
2013-10-07	Wilmer Ricciotti	Completes the definition of binaryTM.	tree \| commitdiff
2013-10-06	Andrea Asperti	progress in the deifinition of the semantics of the...	tree \| commitdiff
2013-10-03	Wilmer Ricciotti	Adds transformation of generic monotape machines into...	tree \| commitdiff
2013-04-30	Claudio Sacerdoti...	Missing include.	tree \| commitdiff
2013-04-30	Claudio Sacerdoti...	Old version dropped.	tree \| commitdiff
2013-02-07	Andrea Asperti	restructuring	tree \| commitdiff
2013-02-07	Andrea Asperti	(no commit message)	tree \| commitdiff
2013-02-07	Andrea Asperti	restructuring	tree \| commitdiff
2013-02-04	Wilmer Ricciotti	state mte2 renamed to mte_acc	tree \| commitdiff
2013-02-04	Wilmer Ricciotti	converting certain basic machines to composed machines	tree \| commitdiff
2013-02-04	Wilmer Ricciotti	defs.ma was never really used	tree \| commitdiff
2013-02-01	Wilmer Ricciotti	match now only uses the new move operation	tree \| commitdiff
2013-01-29	Wilmer Ricciotti	Speed-up in match.ma.	tree \| commitdiff
2013-01-29	Wilmer Ricciotti	Proved old axiom.	tree \| commitdiff
2013-01-29	Wilmer Ricciotti	Yippeee! Completes proof of soundness of the universal...	tree \| commitdiff
2013-01-28	Andrea Asperti	unistep!!!	tree \| commitdiff
2013-01-28	Andrea Asperti	funzioni ausiliarie	tree \| commitdiff
2013-01-28	Wilmer Ricciotti	cfg_in_table_to_tuple	tree \| commitdiff
2013-01-28	Wilmer Ricciotti	sem_copy_strict	tree \| commitdiff
2013-01-27	Wilmer Ricciotti	many axioms and daemons removed	tree \| commitdiff
2013-01-27	Andrea Asperti	quasi finito	tree \| commitdiff
2013-01-27	Wilmer Ricciotti	well-foundedness done	tree \| commitdiff
2013-01-27	Andrea Asperti	sem_exec_move completed	tree \| commitdiff
2013-01-27	Andrea Asperti	almost there	tree \| commitdiff
2013-01-26	Andrea Asperti	A lot of changes	tree \| commitdiff
2013-01-25	Andrea Asperti	Splitted unistep_aux	tree \| commitdiff
2013-01-25	Wilmer Ricciotti	started unistep	tree \| commitdiff
2013-01-25	Wilmer Ricciotti	progress in termination	tree \| commitdiff
2013-01-24	Wilmer Ricciotti	finished semantics for termination of match machine	tree \| commitdiff
2013-01-24	Wilmer Ricciotti	progress	tree \| commitdiff
2013-01-24	Wilmer Ricciotti	progress	tree \| commitdiff
2013-01-23	Wilmer Ricciotti	progress	tree \| commitdiff
2013-01-22	Andrea Asperti	termination!	tree \| commitdiff
2013-01-22	Andrea Asperti	Universal machine	tree \| commitdiff
2013-01-22	Wilmer Ricciotti	Removed all axioms in unistep_aux	tree \| commitdiff
2013-01-21	Wilmer Ricciotti	removed daemons	tree \| commitdiff
2013-01-21	Andrea Asperti	universal	tree \| commitdiff
2013-01-21	Wilmer Ricciotti	tape_move_obj completed (modulo daemons)	tree \| commitdiff
2013-01-21	Wilmer Ricciotti	cfg_to_obj completed (modulo daemons)	tree \| commitdiff
2013-01-21	Wilmer Ricciotti	progress	tree \| commitdiff
2013-01-20	Andrea Asperti	semantics of unistep	tree \| commitdiff
2013-01-18	Wilmer Ricciotti	progress in cfg_to_obj	tree \| commitdiff
2013-01-18	Andrea Asperti	copy char form obj to cfg at the end	tree \| commitdiff
2013-01-18	Andrea Asperti	high level semantics	tree \| commitdiff
2013-01-18	Andrea Asperti	high level semantics	tree \| commitdiff
2013-01-18	Andrea Asperti	semantics of uni_step	tree \| commitdiff
2013-01-17	Wilmer Ricciotti	progress	tree \| commitdiff
2013-01-17	Wilmer Ricciotti	progress	tree \| commitdiff
2013-01-17	Wilmer Ricciotti	progress	tree \| commitdiff
2013-01-17	Wilmer Ricciotti	progress	tree \| commitdiff
2013-01-17	Wilmer Ricciotti	progress	tree \| commitdiff
2013-01-17	Andrea Asperti	Moved a list comparison function in the list file	tree \| commitdiff
2013-01-17	Andrea Asperti	normal and tuples	tree \| commitdiff
2013-01-16	Wilmer Ricciotti	added null character to the alphabet	tree \| commitdiff
2013-01-16	Wilmer Ricciotti	progress	tree \| commitdiff
2013-01-15	Wilmer Ricciotti	progress in unistep_aux	tree \| commitdiff
2013-01-15	Wilmer Ricciotti	unistep_aux	tree \| commitdiff
2013-01-15	Wilmer Ricciotti	more unistep	tree \| commitdiff
2013-01-15	Wilmer Ricciotti	unistep_aux	tree \| commitdiff
2013-01-15	Andrea Asperti	copy finished	tree \| commitdiff
2013-01-15	Andrea Asperti	copy.ma	tree \| commitdiff
2013-01-14	Wilmer Ricciotti	match.ma completed	tree \| commitdiff
2013-01-14	Wilmer Ricciotti	match termination completed, still a small case ignored...	tree \| commitdiff
2013-01-14	Wilmer Ricciotti	wsem_match finished	tree \| commitdiff
2013-01-14	Wilmer Ricciotti	advancement in match	tree \| commitdiff
2013-01-14	Andrea Asperti	Closed some daemons	tree \| commitdiff
2013-01-14	Andrea Asperti	nth_current_chars	tree \| commitdiff
2013-01-11	Wilmer Ricciotti	match almost finished	tree \| commitdiff
2013-01-08	Andrea Asperti	more porting to machines that can move without writing	tree \| commitdiff
2013-01-08	Wilmer Ricciotti	parmove based on end of the tape	tree \| commitdiff
2013-01-08	Wilmer Ricciotti	porting to machine that can move without writing	tree \| commitdiff
2012-12-21	Andrea Asperti	Many changes	tree \| commitdiff
2012-12-07	Wilmer Ricciotti	match termination	tree \| commitdiff
2012-12-06	Ferruccio Guidi	- we enabled a notation for ex2	tree \| commitdiff
2012-12-06	Wilmer Ricciotti	Cleared unused variables in wsem_match (they were also...	tree \| commitdiff
2012-12-05	Wilmer Ricciotti	Concludes match (weak) semantics. Yay!	tree \| commitdiff
2012-12-04	Wilmer Ricciotti	match nearing completion	tree \| commitdiff
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom