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

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

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
2012-08-30	Claudio Sacerdoti...	Composite coercions are now extracted too.	commit \| commitdiff \| tree \| snapshot
2012-08-30	Claudio Sacerdoti...	Name mangling until separate extraction is implemented.	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Code to make all global names in a file fresh.	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Capitalization of variables bound in patterns fixed.	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Fixed indentation, which is semantic in Haskell.	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	(Part of previous two commits)	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	(Part of previous commit)	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Extraction is now integrated with the usual machinery...	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Top used also for fixes.	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Match in types handled using top.	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Match in types handled using Top.	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Match in classification of non-terms taken in account.	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Known bug fixed: the rhs of a match over a small single...	commit \| commitdiff \| tree \| snapshot
2012-08-28	Wilmer Ricciotti	progress in uni_step	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Basics/logic.ma no longer raises exception.	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Bug fixed: when extracting pattern matching on singleto...	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Fixed pretty-printing of types of variables bound in...	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Patterns are now computed according to the extracted...	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	pattern arguments where printed in reverse order	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Bug fixed: rhs in match were printed in wrong context.	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Code for computing patterns the way Haskell likes them...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Fixed pretty-printing of mutual recursive stuff and...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	1. fixed pretty-printing of constructors, type variable...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Self contained now.	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	1. added Skip to terms to maintain consistency between...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Fixed left/right context distinction in inductive types.	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom