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

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

2012-11-26	Andrea Asperti	working on match	tree \| commitdiff
2012-11-25	Ferruccio Guidi	some renaming to free the baseuri cic:/matita/lambda	tree \| commitdiff
2012-11-23	Wilmer Ricciotti	match	tree \| commitdiff
2012-11-23	Wilmer Ricciotti	compare	tree \| commitdiff
2012-11-23	Andrea Asperti	work in progress	tree \| commitdiff
2012-11-23	Andrea Asperti	Restoring and fixing the old version	tree \| commitdiff
2012-11-22	Wilmer Ricciotti	match	tree \| commitdiff
2012-11-21	Wilmer Ricciotti	match	tree \| commitdiff
2012-11-21	Andrea Asperti	compare con terminatore	tree \| commitdiff
2012-11-21	Andrea Asperti	match	tree \| commitdiff
2012-11-20	Wilmer Ricciotti	match	tree \| commitdiff
2012-11-20	Andrea Asperti	compare	tree \| commitdiff
2012-11-16	Wilmer Ricciotti	Match machine (multi)	tree \| commitdiff
2012-11-16	Wilmer Ricciotti	progress	tree \| commitdiff
2012-11-16	Wilmer Ricciotti	Parallel move machine.	tree \| commitdiff
2012-11-16	Wilmer Ricciotti	Match machine (multi-tape)	tree \| commitdiff
2012-11-15	Wilmer Ricciotti	Finished copy turing machine (multi-tape)	tree \| commitdiff
2012-11-15	Wilmer Ricciotti	some more lemmata	tree \| commitdiff
2012-11-14	Wilmer Ricciotti	copy machine (multi-tape) completed	tree \| commitdiff
2012-11-13	Wilmer Ricciotti	progress	tree \| commitdiff
2012-11-13	Wilmer Ricciotti	progress	tree \| commitdiff
2012-11-13	Wilmer Ricciotti	progress	tree \| commitdiff
2012-11-13	Andrea Asperti	progress	tree \| commitdiff
2012-11-13	Andrea Asperti	basic lemmas	tree \| commitdiff
2012-11-12	Andrea Asperti	addenda	tree \| commitdiff
2012-11-12	Andrea Asperti	inject.ma	tree \| commitdiff
2012-11-10	Andrea Asperti	while_multi.ma	tree \| commitdiff
2012-11-09	Andrea Asperti	if_multi.ma	tree \| commitdiff
2012-11-09	Andrea Asperti	done	tree \| commitdiff
2012-11-07	Andrea Asperti	New multi tapes machines	tree \| commitdiff
2012-11-07	Ferruccio Guidi	- predefined_virtuals: nwe characters	tree \| commitdiff
2012-10-27	Ferruccio Guidi	- some additions and corrections	tree \| commitdiff
2012-10-18	Ferruccio Guidi	- some confluence results for focalized reduction and...	tree \| commitdiff
2012-10-16	Ferruccio Guidi	context-free parallel reduction on closures is confluent!	tree \| commitdiff
2012-09-19	Claudio Sacerdoti...	GHC.Prim.Any fixed	tree \| commitdiff
2012-09-04	Claudio Sacerdoti...	1. deriving (Show) no longer used because it fails...	tree \| commitdiff
2012-09-03	Ferruccio Guidi	lambda_delta: partial commit ...	tree \| commitdiff
2012-08-29	Claudio Sacerdoti...	Match in types handled using top.	tree \| commitdiff
2012-08-28	Wilmer Ricciotti	progress in uni_step	tree \| commitdiff
2012-08-28	Claudio Sacerdoti...	...	tree \| commitdiff
2012-08-27	Claudio Sacerdoti...	...	tree \| commitdiff
2012-08-27	Claudio Sacerdoti...	...	tree \| commitdiff
2012-08-27	Claudio Sacerdoti...	...	tree \| commitdiff
2012-08-27	Claudio Sacerdoti...	Self contained now.	tree \| commitdiff
2012-08-27	Wilmer Ricciotti	End of copy.ma	tree \| commitdiff
2012-08-22	Claudio Sacerdoti...	Preliminary work on (co)inductive types.	tree \| commitdiff
2012-08-15	Wilmer Ricciotti	progress	tree \| commitdiff
2012-08-09	Wilmer Ricciotti	Work in progress.	tree \| commitdiff
2012-08-08	Wilmer Ricciotti	Adding GRealize to uni_step.	tree \| commitdiff
2012-08-08	Andrea Asperti	porting to termination	tree \| commitdiff
2012-08-07	Andrea Asperti	guarded realizability	tree \| commitdiff
2012-08-03	Andrea Asperti	A compiling version (not complete).	tree \| commitdiff
2012-08-02	Claudio Sacerdoti...	...	tree \| commitdiff
2012-08-02	Claudio Sacerdoti...	...	tree \| commitdiff
2012-08-02	Claudio Sacerdoti...	...	tree \| commitdiff
2012-08-02	Claudio Sacerdoti...	Path fixed.	tree \| commitdiff
2012-08-02	Claudio Sacerdoti...	Temporary stuff to test code extraction. Running make...	tree \| commitdiff
2012-08-01	Claudio Sacerdoti...	Tests for code extraction; to be moved elsewhere.	tree \| commitdiff
2012-07-31	Andrea Asperti	work in progress	tree \| commitdiff
2012-07-31	Andrea Asperti	Termination!	tree \| commitdiff
2012-07-30	Wilmer Ricciotti	Wip	tree \| commitdiff
2012-07-30	Andrea Asperti	work in progress	tree \| commitdiff
2012-07-27	Wilmer Ricciotti	work in progress	tree \| commitdiff
2012-07-27	Andrea Asperti	work in progress	tree \| commitdiff
2012-07-23	Ferruccio Guidi	- lambda_delta: we updated some notation	tree \| commitdiff
2012-07-21	Andrea Asperti	An executable version of the tutorial.	tree \| commitdiff
2012-07-20	Wilmer Ricciotti	progress in termination of marks.ma	tree \| commitdiff
2012-07-19	Andrea Asperti	Few changes	tree \| commitdiff
2012-07-19	Andrea Asperti	adding tutorial	tree \| commitdiff
2012-07-17	Andrea Asperti	porting to termination	tree \| commitdiff
2012-06-28	Andrea Asperti	New spec. for advance_both_marks	tree \| commitdiff
2012-06-28	Andrea Asperti	working on termination	tree \| commitdiff
2012-06-27	Andrea Asperti	removed a duplicate	tree \| commitdiff
2012-06-27	Andrea Asperti	Closed all axioms in turing (but not universal).	tree \| commitdiff
2012-06-20	Ferruccio Guidi	- star.ma: constructor inj of star conflicts with previ...	tree \| commitdiff
2012-06-18	Andrea Asperti	adv_to_mark_l	tree \| commitdiff
2012-06-18	Andrea Asperti	closing a few axioms	tree \| commitdiff
2012-06-15	Andrea Asperti	middot notation	tree \| commitdiff
2012-06-12	Andrea Asperti	adding match_machines and removing trans_to_tuples	tree \| commitdiff
2012-06-12	Andrea Asperti	several changes	tree \| commitdiff
2012-06-08	Andrea Asperti	move_char.ma	tree \| commitdiff
2012-06-08	Andrea Asperti	merging of char_move_c and char_move_l	tree \| commitdiff
2012-06-08	Andrea Asperti	A recompiling version	tree \| commitdiff
2012-06-08	Andrea Asperti	Dropping a coercion and some hints due to conflicts...	tree \| commitdiff
2012-06-08	Andrea Asperti	Modifications and refactoring	tree \| commitdiff
2012-06-06	Wilmer Ricciotti	More conjectures proved.	tree \| commitdiff
2012-06-06	Andrea Asperti	new version of move_char_l suign swap	tree \| commitdiff
2012-06-06	Andrea Asperti	swap machine; move_char revisited	tree \| commitdiff
2012-06-06	Andrea Asperti	restructuring	tree \| commitdiff
2012-06-06	Andrea Asperti	Restructuring	tree \| commitdiff
2012-06-05	Andrea Asperti	Some results on relations. Moved things around.	tree \| commitdiff
2012-06-05	Andrea Asperti	Completed all proofs in if_machine	tree \| commitdiff
2012-06-04	Andrea Asperti	semantics of the if-machine.	tree \| commitdiff
2012-06-04	Andrea Asperti	notation	tree \| commitdiff
2012-06-04	Andrea Asperti	comments	tree \| commitdiff
2012-06-01	Wilmer Ricciotti	Finalized copy sub-machine of the universal turing...	tree \| commitdiff
2012-06-01	Andrea Asperti	Ci siamo quasi	tree \| commitdiff
2012-05-31	Wilmer Ricciotti	Progress.	tree \| commitdiff
2012-05-30	Wilmer Ricciotti	Progress.	tree \| commitdiff
2012-05-30	Andrea Asperti	some progress	tree \| commitdiff
next

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

RSS Atom