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

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

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
2012-05-23	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-22	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-22	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-22	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-21	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-21	Wilmer Ricciotti	Added move_tape.ma	commit \| commitdiff \| tree
2012-05-21	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-18	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-18	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-18	Wilmer Ricciotti	Progress in semantics of the copy machine.	commit \| commitdiff \| tree
2012-05-17	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-17	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-17	Wilmer Ricciotti	Added step machine for universal machine.	commit \| commitdiff \| tree
2012-05-17	Wilmer Ricciotti	move tape right	commit \| commitdiff \| tree
2012-05-17	Wilmer Ricciotti	Added null character.	commit \| commitdiff \| tree
2012-05-15	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-15	Wilmer Ricciotti	Added universal machine (mockup)	commit \| commitdiff \| tree
2012-05-14	Wilmer Ricciotti	Added copy machine (mockup)	commit \| commitdiff \| tree
2012-05-11	Wilmer Ricciotti	Definition of the structure of the transition table...	commit \| commitdiff \| tree
2012-05-11	Wilmer Ricciotti	Finished wsem_compare proof.	commit \| commitdiff \| tree
2012-05-10	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-10	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-09	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-09	Wilmer Ricciotti	Progress in compare.ma (some machines have been moved...	commit \| commitdiff \| tree
2012-05-08	Wilmer Ricciotti	progress in turing/universal/compare.ma	commit \| commitdiff \| tree
2012-05-08	Wilmer Ricciotti	Added compare auxiliary machine for universal turing...	commit \| commitdiff \| tree
2012-05-07	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2012-05-04	Wilmer Ricciotti	Forgotten in previous commit: move_char machines.	commit \| commitdiff \| tree
2012-05-04	Wilmer Ricciotti	Added a turing/universal directory for the universal...	commit \| commitdiff \| tree
2012-05-04	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2012-05-03	Wilmer Ricciotti	progress in while test machine	commit \| commitdiff \| tree
2012-05-02	Wilmer Ricciotti	While semantics.	commit \| commitdiff \| tree
2012-05-02	Wilmer Ricciotti	Added weak realizability.	commit \| commitdiff \| tree
2012-04-30	Wilmer Ricciotti	More proofs in if-then-else machine.	commit \| commitdiff \| tree
2012-04-30	Wilmer Ricciotti	Monotape turing machines update.	commit \| commitdiff \| tree
2012-04-27	Wilmer Ricciotti	more loop proofs	commit \| commitdiff \| tree
2012-04-27	Wilmer Ricciotti	loop functions	commit \| commitdiff \| tree
2012-04-24	Wilmer Ricciotti	Update to universal turing machine (preliminaries).	commit \| commitdiff \| tree
2012-04-24	Wilmer Ricciotti	More turing machines (still not compiling)	commit \| commitdiff \| tree
2012-04-24	Wilmer Ricciotti	Started converting informal definition of the machines...	commit \| commitdiff \| tree
2012-04-23	Wilmer Ricciotti	Added universal turing machines (only comments for...	commit \| commitdiff \| tree
next

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

RSS Atom