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

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

2012-12-05	Wilmer Ricciotti	Concludes match (weak) semantics. Yay!	commit \| commitdiff \| tree \| snapshot
2012-12-04	Ferruccio Guidi	we started Kashima's proof of standardization	commit \| commitdiff \| tree \| snapshot
2012-12-04	Wilmer Ricciotti	match nearing completion	commit \| commitdiff \| tree \| snapshot
2012-12-04	Wilmer Ricciotti	match wsem almost done	commit \| commitdiff \| tree \| snapshot
2012-12-03	Ferruccio Guidi	- nat.ma: we added a general induction principle	commit \| commitdiff \| tree \| snapshot
2012-12-02	Ferruccio Guidi	- bugfix in stylesheets	commit \| commitdiff \| tree \| snapshot
2012-12-02	Ferruccio Guidi	bugfix in uri's: missing "/" added to baseuri's where...	commit \| commitdiff \| tree \| snapshot
2012-12-02	Ferruccio Guidi	- dehypenation involves helena as well	commit \| commitdiff \| tree \| snapshot
2012-12-02	Ferruccio Guidi	the dehyphenation update continues ...	commit \| commitdiff \| tree \| snapshot
2012-12-02	Ferruccio Guidi	some corrections to the prose of the web site	commit \| commitdiff \| tree \| snapshot
2012-12-01	Ferruccio Guidi	web site update	commit \| commitdiff \| tree \| snapshot
2012-12-01	Ferruccio Guidi	old lambdadelta home page is dismissed	commit \| commitdiff \| tree \| snapshot
2012-12-01	Ferruccio Guidi	nug fix in the location of images	commit \| commitdiff \| tree \| snapshot
2012-12-01	Ferruccio Guidi	- lambda: parallel reduction to obtain diamond property	commit \| commitdiff \| tree \| snapshot
2012-12-01	Ferruccio Guidi	planned dehyphenation of lambdadelta eventually took...	commit \| commitdiff \| tree \| snapshot
2012-11-29	Ferruccio Guidi	- bug fix in notation precedences	commit \| commitdiff \| tree \| snapshot
2012-11-29	Ferruccio Guidi	- labelled sequential reduction started ...	commit \| commitdiff \| tree \| snapshot
2012-11-28	Wilmer Ricciotti	match	commit \| commitdiff \| tree \| snapshot
2012-11-28	Ferruccio Guidi	- relations.ma:	commit \| commitdiff \| tree \| snapshot
2012-11-28	Wilmer Ricciotti	match_step	commit \| commitdiff \| tree \| snapshot
2012-11-27	Ferruccio Guidi	bug fix in notation precedences	commit \| commitdiff \| tree \| snapshot
2012-11-27	Ferruccio Guidi	- the theory of delifting substitution is done	commit \| commitdiff \| tree \| snapshot
2012-11-27	Andrea Asperti	par_test.ma	commit \| commitdiff \| tree \| snapshot
2012-11-27	Andrea Asperti	ennesima versione	commit \| commitdiff \| tree \| snapshot
2012-11-27	Andrea Asperti	splitting files	commit \| commitdiff \| tree \| snapshot
2012-11-27	Andrea Asperti	splitting files	commit \| commitdiff \| tree \| snapshot
2012-11-26	Ferruccio Guidi	we started the theory of delifting substitution ...	commit \| commitdiff \| tree \| snapshot
2012-11-26	Wilmer Ricciotti	test null, match	commit \| commitdiff \| tree \| snapshot
2012-11-26	Ferruccio Guidi	- lambda: the theory of lift is complete!	commit \| commitdiff \| tree \| snapshot
2012-11-26	Andrea Asperti	working on match	commit \| commitdiff \| tree \| snapshot
2012-11-25	Ferruccio Guidi	some renaming to free the baseuri cic:/matita/lambda	commit \| commitdiff \| tree \| snapshot
2012-11-23	Ferruccio Guidi	additions in lift.ma ....	commit \| commitdiff \| tree \| snapshot
2012-11-23	Wilmer Ricciotti	match	commit \| commitdiff \| tree \| snapshot
2012-11-23	Ferruccio Guidi	the theory of substitution is started ...	commit \| commitdiff \| tree \| snapshot
2012-11-23	Wilmer Ricciotti	compare	commit \| commitdiff \| tree \| snapshot
2012-11-23	Andrea Asperti	work in progress	commit \| commitdiff \| tree \| snapshot
2012-11-23	Andrea Asperti	Restoring and fixing the old version	commit \| commitdiff \| tree \| snapshot
2012-11-22	Ferruccio Guidi	a development about pure lambda calculus	commit \| commitdiff \| tree \| snapshot
2012-11-22	Ferruccio Guidi	- additions in basic_2	commit \| commitdiff \| tree \| snapshot
2012-11-22	Ferruccio Guidi	- local environment refinement for the first recursive...	commit \| commitdiff \| tree \| snapshot
2012-11-22	Wilmer Ricciotti	match	commit \| commitdiff \| tree \| snapshot
2012-11-21	Wilmer Ricciotti	match	commit \| commitdiff \| tree \| snapshot
2012-11-21	Andrea Asperti	compare con terminatore	commit \| commitdiff \| tree \| snapshot
2012-11-21	Andrea Asperti	match	commit \| commitdiff \| tree \| snapshot
2012-11-20	Ferruccio Guidi	some corrections	commit \| commitdiff \| tree \| snapshot
2012-11-20	Ferruccio Guidi	some words decapitalized :)	commit \| commitdiff \| tree \| snapshot
2012-11-20	Ferruccio Guidi	milestone table in foreword	commit \| commitdiff \| tree \| snapshot
2012-11-20	Wilmer Ricciotti	match	commit \| commitdiff \| tree \| snapshot
2012-11-20	Ferruccio Guidi	milestone with end date of lambda_delta_1	commit \| commitdiff \| tree \| snapshot
2012-11-20	Andrea Asperti	compare	commit \| commitdiff \| tree \| snapshot
2012-11-16	Wilmer Ricciotti	Match machine (multi)	commit \| commitdiff \| tree \| snapshot
2012-11-16	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2012-11-16	Wilmer Ricciotti	Parallel move machine.	commit \| commitdiff \| tree \| snapshot
2012-11-16	Wilmer Ricciotti	Match machine (multi-tape)	commit \| commitdiff \| tree \| snapshot
2012-11-15	Wilmer Ricciotti	Finished copy turing machine (multi-tape)	commit \| commitdiff \| tree \| snapshot
2012-11-15	Wilmer Ricciotti	some more lemmata	commit \| commitdiff \| tree \| snapshot
2012-11-14	Wilmer Ricciotti	copy machine (multi-tape) completed	commit \| commitdiff \| tree \| snapshot
2012-11-13	Ferruccio Guidi	- one axiom removed from sd	commit \| commitdiff \| tree \| snapshot
2012-11-13	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2012-11-13	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2012-11-13	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2012-11-13	Andrea Asperti	progress	commit \| commitdiff \| tree \| snapshot
2012-11-13	Andrea Asperti	basic lemmas	commit \| commitdiff \| tree \| snapshot
2012-11-12	Andrea Asperti	addenda	commit \| commitdiff \| tree \| snapshot
2012-11-12	Andrea Asperti	inject.ma	commit \| commitdiff \| tree \| snapshot
2012-11-10	Andrea Asperti	while_multi.ma	commit \| commitdiff \| tree \| snapshot
2012-11-09	Ferruccio Guidi	- mac (ma count)	commit \| commitdiff \| tree \| snapshot
2012-11-09	Andrea Asperti	if_multi.ma	commit \| commitdiff \| tree \| snapshot
2012-11-09	Andrea Asperti	done	commit \| commitdiff \| tree \| snapshot
2012-11-07	Ferruccio Guidi	- commit completed!!	commit \| commitdiff \| tree \| snapshot
2012-11-07	Andrea Asperti	New multi tapes machines	commit \| commitdiff \| tree \| snapshot
2012-11-07	Ferruccio Guidi	- commit of the component: static	commit \| commitdiff \| tree \| snapshot
2012-11-07	Ferruccio Guidi	- predefined_virtuals: nwe characters	commit \| commitdiff \| tree \| snapshot
2012-10-29	Ferruccio Guidi	- we set up the support for the "bt-reduction" of Autom...	commit \| commitdiff \| tree \| snapshot
2012-10-28	Ferruccio Guidi	an addition ...	commit \| commitdiff \| tree \| snapshot
2012-10-27	Ferruccio Guidi	- some additions and corrections	commit \| commitdiff \| tree \| snapshot
2012-10-19	Claudio Sacerdoti...	One useless Obj.magic removed.	commit \| commitdiff \| tree \| snapshot
2012-10-18	Ferruccio Guidi	- additions in basic_2	commit \| commitdiff \| tree \| snapshot
2012-10-18	Ferruccio Guidi	- some confluence results for focalized reduction and...	commit \| commitdiff \| tree \| snapshot
2012-10-16	Ferruccio Guidi	- milestone update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-10-16	Ferruccio Guidi	context-free parallel reduction on closures is confluent!	commit \| commitdiff \| tree \| snapshot
2012-10-15	Ferruccio Guidi	- xhtbl: we added the construction + to place several...	commit \| commitdiff \| tree \| snapshot
2012-10-13	Ferruccio Guidi	updates in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2012-10-13	Ferruccio Guidi	- parallel reduction for local environments: we proved...	commit \| commitdiff \| tree \| snapshot
2012-10-08	Wilmer Ricciotti	Downgrades buggy destruct patch.	commit \| commitdiff \| tree \| snapshot
2012-10-05	Wilmer Ricciotti	Removes debug prints that were left from last commit.	commit \| commitdiff \| tree \| snapshot
2012-10-05	Wilmer Ricciotti	This patch allows generation of minimally dependent...	commit \| commitdiff \| tree \| snapshot
2012-09-29	Ferruccio Guidi	bugfix in Makefiles	commit \| commitdiff \| tree \| snapshot
2012-09-29	Ferruccio Guidi	- updates in basic_2	commit \| commitdiff \| tree \| snapshot
2012-09-29	Ferruccio Guidi	- full commit for the transtive closure of ltpss!	commit \| commitdiff \| tree \| snapshot
2012-09-28	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree \| snapshot
2012-09-28	Ferruccio Guidi	- partial commit (static component only)	commit \| commitdiff \| tree \| snapshot
2012-09-28	Ferruccio Guidi	- some additions to basic_2	commit \| commitdiff \| tree \| snapshot
2012-09-28	Ferruccio Guidi	- partial commit (unfold component only)	commit \| commitdiff \| tree \| snapshot
2012-09-19	Claudio Sacerdoti...	More work on inserting UnsafeCoerce in argument applica...	commit \| commitdiff \| tree \| snapshot
2012-09-19	Claudio Sacerdoti...	GHC.Prim.Any fixed	commit \| commitdiff \| tree \| snapshot
2012-09-05	Ferruccio Guidi	the partial commit continues ...	commit \| commitdiff \| tree \| snapshot
2012-09-04	Claudio Sacerdoti...	1. deriving (Show) no longer used because it fails...	commit \| commitdiff \| tree \| snapshot
2012-09-03	Ferruccio Guidi	partial update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2012-09-03	Ferruccio Guidi	lambda_delta: partial commit ...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom