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

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

2013-11-26	Ferruccio Guidi	- natural numbers with infinity for lambdadelta	commit \| commitdiff \| tree \| snapshot
2013-11-25	Ferruccio Guidi	update in ground_2 ...	commit \| commitdiff \| tree \| snapshot
2013-11-25	Ferruccio Guidi	- xoa: the definitions file now includes the notations...	commit \| commitdiff \| tree \| snapshot
2013-11-15	Wilmer Ricciotti	Final version of the binary machine (all proofs completed).	commit \| commitdiff \| tree \| snapshot
2013-11-07	Wilmer Ricciotti	Closes many daemons.	commit \| commitdiff \| tree \| snapshot
2013-11-06	Wilmer Ricciotti	Full rework of the semantics of the binary machine...	commit \| commitdiff \| tree \| snapshot
2013-11-03	Wilmer Ricciotti	Almost finished...	commit \| commitdiff \| tree \| snapshot
2013-11-03	Wilmer Ricciotti	Major bugfix/reorganization/improvement of the partial...	commit \| commitdiff \| tree \| snapshot
2013-11-03	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-11-03	Ferruccio Guidi	second and third commutation property on lazy equivalen...	commit \| commitdiff \| tree \| snapshot
2013-11-01	Ferruccio Guidi	update in basic_2 (bugfix)	commit \| commitdiff \| tree \| snapshot
2013-11-01	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-11-01	Ferruccio Guidi	- lambdadelta: first commutation property on lazy equiv...	commit \| commitdiff \| tree \| snapshot
2013-10-28	Ferruccio Guidi	lazy equivalence for local environments is now defined	commit \| commitdiff \| tree \| snapshot
2013-10-28	Andrea Asperti	Splitted star	commit \| commitdiff \| tree \| snapshot
2013-10-27	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-10-27	Ferruccio Guidi	- lambdadelta: tentative definition of lazy equivalence...	commit \| commitdiff \| tree \| snapshot
2013-10-26	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-10-26	Ferruccio Guidi	- bug fix in the connection between global and restrict...	commit \| commitdiff \| tree \| snapshot
2013-10-25	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-10-25	Ferruccio Guidi	- bug fix in the induction for the closure property	commit \| commitdiff \| tree \| snapshot
2013-10-25	Andrea Asperti	full.ma	commit \| commitdiff \| tree \| snapshot
2013-10-24	Ferruccio Guidi	some additions needed for lambda_delta	commit \| commitdiff \| tree \| snapshot
2013-10-24	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2013-10-24	Ferruccio Guidi	- "small step" version of "big tree" theorem proved	commit \| commitdiff \| tree \| snapshot
2013-10-24	Andrea Asperti	step (almost) done	commit \| commitdiff \| tree \| snapshot
2013-10-24	Andrea Asperti	The step machine (draft)	commit \| commitdiff \| tree \| snapshot
2013-10-24	Andrea Asperti	many changes	commit \| commitdiff \| tree \| snapshot
2013-10-20	Wilmer Ricciotti	Completes all the phases of the binary machine (modulo...	commit \| commitdiff \| tree \| snapshot
2013-10-19	Ferruccio Guidi	more results towards the "big-tree" theorem ...	commit \| commitdiff \| tree \| snapshot
2013-10-19	Andrea Asperti	Slowly porting to an enriched tape alphabet	commit \| commitdiff \| tree \| snapshot
2013-10-18	Andrea Asperti	The moves (almost)	commit \| commitdiff \| tree \| snapshot
2013-10-15	Andrea Asperti	added sem_seq_app for the mono case	commit \| commitdiff \| tree \| snapshot
2013-10-15	Andrea Asperti	renaming files	commit \| commitdiff \| tree \| snapshot
2013-10-14	Ferruccio Guidi	strongly normalizing terms for big-tree reduction are...	commit \| commitdiff \| tree \| snapshot
2013-10-14	Andrea Asperti	almost there	commit \| commitdiff \| tree \| snapshot
2013-10-14	Wilmer Ricciotti	Completed phases 0, 1, and 3.	commit \| commitdiff \| tree \| snapshot
2013-10-12	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-10-12	Ferruccio Guidi	some renaming ...	commit \| commitdiff \| tree \| snapshot
2013-10-12	Andrea Asperti	Still a problem to be fixed: after reaching the border...	commit \| commitdiff \| tree \| snapshot
2013-10-12	Andrea Asperti	shift a trace from an extremity	commit \| commitdiff \| tree \| snapshot
2013-10-12	Andrea Asperti	splitting files	commit \| commitdiff \| tree \| snapshot
2013-10-12	Andrea Asperti	Moved multi_to_mono.ma inside multi_to_mono	commit \| commitdiff \| tree \| snapshot
2013-10-12	Andrea Asperti	Added a new directory for multi to mono	commit \| commitdiff \| tree \| snapshot
2013-10-11	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-10-11	Ferruccio Guidi	bug fix in supclosure allows alternative definition...	commit \| commitdiff \| tree \| snapshot
2013-10-09	Wilmer Ricciotti	progress in the semantics of binary machines	commit \| commitdiff \| tree \| snapshot
2013-10-08	Ferruccio Guidi	bugfix in possible alternative definition of fpbs	commit \| commitdiff \| tree \| snapshot
2013-10-07	Ferruccio Guidi	some improvements towards an alternative definition...	commit \| commitdiff \| tree \| snapshot
2013-10-07	Wilmer Ricciotti	Starting proof about semantics of binary machines.	commit \| commitdiff \| tree \| snapshot
2013-10-07	Wilmer Ricciotti	Completes the definition of binaryTM.	commit \| commitdiff \| tree \| snapshot
2013-10-06	Andrea Asperti	progress in the deifinition of the semantics of the...	commit \| commitdiff \| tree \| snapshot
2013-10-06	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-10-06	Ferruccio Guidi	bug fix in big-tree reduction	commit \| commitdiff \| tree \| snapshot
2013-10-06	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-10-06	Ferruccio Guidi	- big-tree reduction is now based on extended reduction	commit \| commitdiff \| tree \| snapshot
2013-10-05	Ferruccio Guidi	final na,e for big-tree rediction and computation	commit \| commitdiff \| tree \| snapshot
2013-10-04	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-10-04	Ferruccio Guidi	lenv refinement for native validity removed from big...	commit \| commitdiff \| tree \| snapshot
2013-10-04	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-10-04	Ferruccio Guidi	- degree assignment, static type assignment, iterated...	commit \| commitdiff \| tree \| snapshot
2013-10-03	Wilmer Ricciotti	Adds transformation of generic monotape machines into...	commit \| commitdiff \| tree \| snapshot
2013-10-02	Andrea Asperti	a vector of finsets is a finset (in progress)	commit \| commitdiff \| tree \| snapshot
2013-09-07	Ferruccio Guidi	previous commit continued :)	commit \| commitdiff \| tree \| snapshot
2013-09-07	Ferruccio Guidi	support for nat-labeled reflexive and transitive closur...	commit \| commitdiff \| tree \| snapshot
2013-08-09	Ferruccio Guidi	- test.ma on the disambiguation bug moved to ONAG ...	commit \| commitdiff \| tree \| snapshot
2013-08-09	Ferruccio Guidi	- the example is now minimal so the bug is understood.	commit \| commitdiff \| tree \| snapshot
2013-08-09	Ferruccio Guidi	- the example is smaller and really self-contained ...	commit \| commitdiff \| tree \| snapshot
2013-08-09	Ferruccio Guidi	riduced example showing disambiguation bug ...	commit \| commitdiff \| tree \| snapshot
2013-08-09	Ferruccio Guidi	- matitadep: new option -t to list the unreferenced...	commit \| commitdiff \| tree \| snapshot
2013-08-09	Ferruccio Guidi	- we added nat-labeled reflexive and transitive closure...	commit \| commitdiff \| tree \| snapshot
2013-08-07	Ferruccio Guidi	milestone in basic_2	commit \| commitdiff \| tree \| snapshot
2013-08-07	Ferruccio Guidi	passive support for global environments completed!	commit \| commitdiff \| tree \| snapshot
2013-08-07	Ferruccio Guidi	partial commit: "conversion" and "equivalence" componen...	commit \| commitdiff \| tree \| snapshot
2013-08-06	Ferruccio Guidi	partial commit: "computation" component ...	commit \| commitdiff \| tree \| snapshot
2013-08-03	Ferruccio Guidi	partial commit: "reduction" component	commit \| commitdiff \| tree \| snapshot
2013-08-01	Ferruccio Guidi	partial commit: "unfold" component	commit \| commitdiff \| tree \| snapshot
2013-08-01	Ferruccio Guidi	partial commit: "static" component ....	commit \| commitdiff \| tree \| snapshot
2013-08-01	Ferruccio Guidi	partial commit: just the components before "static...	commit \| commitdiff \| tree \| snapshot
2013-07-27	Ferruccio Guidi	- the milestone was not reported on the web page!	commit \| commitdiff \| tree \| snapshot
2013-07-27	Ferruccio Guidi	milesone in basic_2!	commit \| commitdiff \| tree \| snapshot
2013-07-27	Ferruccio Guidi	- probe: critical bug fixed (all objects were deleted...	commit \| commitdiff \| tree \| snapshot
2013-07-26	Ferruccio Guidi	lambdadelta	commit \| commitdiff \| tree \| snapshot
2013-07-20	Ferruccio Guidi	milestone in basic_2	commit \| commitdiff \| tree \| snapshot
2013-07-20	Ferruccio Guidi	- new extendedd beta-reductum involving native type...	commit \| commitdiff \| tree \| snapshot
2013-07-13	Ferruccio Guidi	partial commit of the components before "conversion"	commit \| commitdiff \| tree \| snapshot
2013-06-20	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-06-20	Ferruccio Guidi	- bug fix il ldrop (interesting), fsup, fsups	commit \| commitdiff \| tree \| snapshot
2013-06-19	Ferruccio Guidi	- partial commit :(	commit \| commitdiff \| tree \| snapshot
2013-06-08	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-06-08	Ferruccio Guidi	more results on extended reduction	commit \| commitdiff \| tree \| snapshot
2013-06-05	Ferruccio Guidi	some work on extended reduction ...	commit \| commitdiff \| tree \| snapshot
2013-06-03	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2013-06-03	Ferruccio Guidi	redundant dependence removed	commit \| commitdiff \| tree \| snapshot
2013-06-03	Ferruccio Guidi	- a comment removed	commit \| commitdiff \| tree \| snapshot
2013-06-03	Ferruccio Guidi	- induction on supclosure replaces induction on weight...	commit \| commitdiff \| tree \| snapshot
2013-06-01	Ferruccio Guidi	update in basic_2 and apps_2	commit \| commitdiff \| tree \| snapshot
2013-06-01	Ferruccio Guidi	- basic_2: induction for preservation results now uses...	commit \| commitdiff \| tree \| snapshot
2013-05-31	Andrea Asperti	iteration.ma	commit \| commitdiff \| tree \| snapshot
2013-05-31	Andrea Asperti	bounded quantifiers and pidgeon_hole	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom