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 /

2019-10-14	Ferruccio Guidi	backport of WIP on \lambda\delta to matita 0.99.3	tree \| commitdiff
2019-10-01	Ferruccio Guidi	Merge remote-tracking branch 'origin/matita-lablgtk3'	tree \| commitdiff
2019-09-27	Claudio Sacerdoti...	Merge branch 'declarative' into matita-lablgtk3	tree \| commitdiff
2019-09-27	Claudio Sacerdoti...	Broken libs moved to broken_lib	tree \| commitdiff
2018-12-26	Claudio Sacerdoti...	Broken libs moved to broken_lib	tree \| commitdiff
2018-04-20	Ferruccio Guidi	decentralizing core notation continues ...	tree \| commitdiff
2018-03-29	Ferruccio Guidi	decentralizing core notation	tree \| commitdiff
2016-11-24	Ferruccio Guidi	lexer updated with the new reference syntax +	tree \| commitdiff
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
next

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

RSS Atom