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

]> matita.cs.unibo.it Git - helm.git/search

2013-04-25	Wilmer Ricciotti	An attempt at ostensiby named syntax.	commit \| commitdiff \| tree
2013-04-17	Wilmer Ricciotti	Fixes a bug which caused Meta_not_found exceptions...	commit \| commitdiff \| tree
2013-04-09	Wilmer Ricciotti	Fixes a bug that caused an assertion failure when no...	commit \| commitdiff \| tree
2013-02-04	Wilmer Ricciotti	state mte2 renamed to mte_acc	commit \| commitdiff \| tree
2013-02-04	Wilmer Ricciotti	converting certain basic machines to composed machines	commit \| commitdiff \| tree
2013-02-04	Wilmer Ricciotti	defs.ma was never really used	commit \| commitdiff \| tree
2013-02-01	Wilmer Ricciotti	match now only uses the new move operation	commit \| commitdiff \| tree
2013-01-29	Wilmer Ricciotti	Speed-up in match.ma.	commit \| commitdiff \| tree
2013-01-29	Wilmer Ricciotti	Proved old axiom.	commit \| commitdiff \| tree
2013-01-29	Wilmer Ricciotti	Yippeee! Completes proof of soundness of the universal...	commit \| commitdiff \| tree
2013-01-28	Wilmer Ricciotti	cfg_in_table_to_tuple	commit \| commitdiff \| tree
2013-01-28	Wilmer Ricciotti	sem_copy_strict	commit \| commitdiff \| tree
2013-01-27	Wilmer Ricciotti	many axioms and daemons removed	commit \| commitdiff \| tree
2013-01-27	Wilmer Ricciotti	well-foundedness done	commit \| commitdiff \| tree
2013-01-25	Wilmer Ricciotti	started unistep	commit \| commitdiff \| tree
2013-01-25	Wilmer Ricciotti	progress in termination	commit \| commitdiff \| tree
2013-01-24	Wilmer Ricciotti	finished semantics for termination of match machine	commit \| commitdiff \| tree
2013-01-24	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2013-01-24	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2013-01-23	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2013-01-22	Wilmer Ricciotti	Removed all axioms in unistep_aux	commit \| commitdiff \| tree
2013-01-21	Wilmer Ricciotti	removed daemons	commit \| commitdiff \| tree
2013-01-21	Wilmer Ricciotti	tape_move_obj completed (modulo daemons)	commit \| commitdiff \| tree
2013-01-21	Wilmer Ricciotti	cfg_to_obj completed (modulo daemons)	commit \| commitdiff \| tree
2013-01-21	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2013-01-18	Wilmer Ricciotti	progress in cfg_to_obj	commit \| commitdiff \| tree
2013-01-17	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2013-01-17	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2013-01-17	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2013-01-17	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2013-01-17	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2013-01-16	Wilmer Ricciotti	added null character to the alphabet	commit \| commitdiff \| tree
2013-01-16	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2013-01-15	Wilmer Ricciotti	progress in unistep_aux	commit \| commitdiff \| tree
2013-01-15	Wilmer Ricciotti	unistep_aux	commit \| commitdiff \| tree
2013-01-15	Wilmer Ricciotti	more unistep	commit \| commitdiff \| tree
2013-01-15	Wilmer Ricciotti	unistep_aux	commit \| commitdiff \| tree
2013-01-14	Wilmer Ricciotti	match.ma completed	commit \| commitdiff \| tree
2013-01-14	Wilmer Ricciotti	match termination completed, still a small case ignored...	commit \| commitdiff \| tree
2013-01-14	Wilmer Ricciotti	wsem_match finished	commit \| commitdiff \| tree
2013-01-14	Wilmer Ricciotti	advancement in match	commit \| commitdiff \| tree
2013-01-11	Wilmer Ricciotti	match almost finished	commit \| commitdiff \| tree
2013-01-08	Wilmer Ricciotti	parmove based on end of the tape	commit \| commitdiff \| tree
2013-01-08	Wilmer Ricciotti	porting to machine that can move without writing	commit \| commitdiff \| tree
2012-12-07	Wilmer Ricciotti	match termination	commit \| commitdiff \| tree
2012-12-06	Wilmer Ricciotti	Cleared unused variables in wsem_match (they were also...	commit \| commitdiff \| tree
2012-12-06	Wilmer Ricciotti	Fixes a bug in NCicElim.pp (term -> ast conversion...	commit \| commitdiff \| tree
2012-12-05	Wilmer Ricciotti	Concludes match (weak) semantics. Yay!	commit \| commitdiff \| tree
2012-12-04	Wilmer Ricciotti	match nearing completion	commit \| commitdiff \| tree
2012-12-04	Wilmer Ricciotti	match wsem almost done	commit \| commitdiff \| tree
2012-11-28	Wilmer Ricciotti	match	commit \| commitdiff \| tree
2012-11-28	Wilmer Ricciotti	match_step	commit \| commitdiff \| tree
2012-11-26	Wilmer Ricciotti	test null, match	commit \| commitdiff \| tree
2012-11-23	Wilmer Ricciotti	match	commit \| commitdiff \| tree
2012-11-23	Wilmer Ricciotti	compare	commit \| commitdiff \| tree
2012-11-22	Wilmer Ricciotti	match	commit \| commitdiff \| tree
2012-11-21	Wilmer Ricciotti	match	commit \| commitdiff \| tree
2012-11-20	Wilmer Ricciotti	match	commit \| commitdiff \| tree
2012-11-16	Wilmer Ricciotti	Match machine (multi)	commit \| commitdiff \| tree
2012-11-16	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2012-11-16	Wilmer Ricciotti	Parallel move machine.	commit \| commitdiff \| tree
2012-11-16	Wilmer Ricciotti	Match machine (multi-tape)	commit \| commitdiff \| tree
2012-11-15	Wilmer Ricciotti	Finished copy turing machine (multi-tape)	commit \| commitdiff \| tree
2012-11-15	Wilmer Ricciotti	some more lemmata	commit \| commitdiff \| tree
2012-11-14	Wilmer Ricciotti	copy machine (multi-tape) completed	commit \| commitdiff \| tree
2012-11-13	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2012-11-13	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2012-11-13	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2012-10-08	Wilmer Ricciotti	Downgrades buggy destruct patch.	commit \| commitdiff \| tree
2012-10-05	Wilmer Ricciotti	Removes debug prints that were left from last commit.	commit \| commitdiff \| tree
2012-10-05	Wilmer Ricciotti	This patch allows generation of minimally dependent...	commit \| commitdiff \| tree
2012-08-28	Wilmer Ricciotti	progress in uni_step	commit \| commitdiff \| tree
2012-08-27	Wilmer Ricciotti	End of copy.ma	commit \| commitdiff \| tree
2012-08-15	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2012-08-09	Wilmer Ricciotti	Work in progress.	commit \| commitdiff \| tree
2012-08-08	Wilmer Ricciotti	Adding GRealize to uni_step.	commit \| commitdiff \| tree
2012-07-30	Wilmer Ricciotti	Wip	commit \| commitdiff \| tree
2012-07-27	Wilmer Ricciotti	work in progress	commit \| commitdiff \| tree
2012-07-20	Wilmer Ricciotti	progress in termination of marks.ma	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	added tick.png	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	Added NotationPt.name_of_obj.	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	Cosmetic changes.	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	Bug fixing + cosmetic changes	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	manual commit after active hyperlinks	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	manual	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	commit by user utente	commit \| commitdiff \| tree
2012-07-03	Wilmer Ricciotti	Matitaweb: several improvements in the UI.	commit \| commitdiff \| tree
2012-07-03	Wilmer Ricciotti	Matitaweb: opening a file resets the status.	commit \| commitdiff \| tree
2012-06-21	Wilmer Ricciotti	Hyperlink support.	commit \| commitdiff \| tree
2012-06-06	Wilmer Ricciotti	More conjectures proved.	commit \| commitdiff \| tree
2012-06-01	Wilmer Ricciotti	Finalized copy sub-machine of the universal turing...	commit \| commitdiff \| tree
2012-05-31	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-30	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-30	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-30	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-28	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-25	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-24	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-24	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-23	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
next

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

RSS Atom