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

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

2013-10-24	Ferruccio Guidi	- "small step" version of "big tree" theorem proved	commit \| commitdiff \| tree
2013-10-19	Ferruccio Guidi	more results towards the "big-tree" theorem ...	commit \| commitdiff \| tree
2013-10-14	Ferruccio Guidi	strongly normalizing terms for big-tree reduction are...	commit \| commitdiff \| tree
2013-10-12	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-10-12	Ferruccio Guidi	some renaming ...	commit \| commitdiff \| tree
2013-10-11	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-10-11	Ferruccio Guidi	bug fix in supclosure allows alternative definition...	commit \| commitdiff \| tree
2013-10-08	Ferruccio Guidi	bugfix in possible alternative definition of fpbs	commit \| commitdiff \| tree
2013-10-07	Ferruccio Guidi	some improvements towards an alternative definition...	commit \| commitdiff \| tree
2013-10-06	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-10-06	Ferruccio Guidi	bug fix in big-tree reduction	commit \| commitdiff \| tree
2013-10-06	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-10-06	Ferruccio Guidi	- big-tree reduction is now based on extended reduction	commit \| commitdiff \| tree
2013-10-05	Ferruccio Guidi	final na,e for big-tree rediction and computation	commit \| commitdiff \| tree
2013-10-04	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-10-04	Ferruccio Guidi	lenv refinement for native validity removed from big...	commit \| commitdiff \| tree
2013-10-04	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-10-04	Ferruccio Guidi	- degree assignment, static type assignment, iterated...	commit \| commitdiff \| tree
2013-09-07	Ferruccio Guidi	previous commit continued :)	commit \| commitdiff \| tree
2013-09-07	Ferruccio Guidi	support for nat-labeled reflexive and transitive closure...	commit \| commitdiff \| tree
2013-08-09	Ferruccio Guidi	- test.ma on the disambiguation bug moved to ONAG ...	commit \| commitdiff \| tree
2013-08-09	Ferruccio Guidi	- the example is now minimal so the bug is understood.	commit \| commitdiff \| tree
2013-08-09	Ferruccio Guidi	- the example is smaller and really self-contained ...	commit \| commitdiff \| tree
2013-08-09	Ferruccio Guidi	riduced example showing disambiguation bug ...	commit \| commitdiff \| tree
2013-08-09	Ferruccio Guidi	- matitadep: new option -t to list the unreferenced...	commit \| commitdiff \| tree
2013-08-09	Ferruccio Guidi	- we added nat-labeled reflexive and transitive closure...	commit \| commitdiff \| tree
2013-08-07	Ferruccio Guidi	milestone in basic_2	commit \| commitdiff \| tree
2013-08-07	Ferruccio Guidi	passive support for global environments completed!	commit \| commitdiff \| tree
2013-08-07	Ferruccio Guidi	partial commit: "conversion" and "equivalence" components ...	commit \| commitdiff \| tree
2013-08-06	Ferruccio Guidi	partial commit: "computation" component ...	commit \| commitdiff \| tree
2013-08-03	Ferruccio Guidi	partial commit: "reduction" component	commit \| commitdiff \| tree
2013-08-01	Ferruccio Guidi	partial commit: "unfold" component	commit \| commitdiff \| tree
2013-08-01	Ferruccio Guidi	partial commit: "static" component ....	commit \| commitdiff \| tree
2013-08-01	Ferruccio Guidi	partial commit: just the components before "static...	commit \| commitdiff \| tree
2013-07-27	Ferruccio Guidi	- the milestone was not reported on the web page!	commit \| commitdiff \| tree
2013-07-27	Ferruccio Guidi	milesone in basic_2!	commit \| commitdiff \| tree
2013-07-27	Ferruccio Guidi	- probe: critical bug fixed (all objects were deleted...	commit \| commitdiff \| tree
2013-07-26	Ferruccio Guidi	lambdadelta	commit \| commitdiff \| tree
2013-07-20	Ferruccio Guidi	milestone in basic_2	commit \| commitdiff \| tree
2013-07-20	Ferruccio Guidi	- new extendedd beta-reductum involving native type...	commit \| commitdiff \| tree
2013-07-13	Ferruccio Guidi	partial commit of the components before "conversion"	commit \| commitdiff \| tree
2013-06-20	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-06-20	Ferruccio Guidi	- bug fix il ldrop (interesting), fsup, fsups	commit \| commitdiff \| tree
2013-06-19	Ferruccio Guidi	- partial commit :(	commit \| commitdiff \| tree
2013-06-08	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-06-08	Ferruccio Guidi	more results on extended reduction	commit \| commitdiff \| tree
2013-06-05	Ferruccio Guidi	some work on extended reduction ...	commit \| commitdiff \| tree
2013-06-03	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-06-03	Ferruccio Guidi	redundant dependence removed	commit \| commitdiff \| tree
2013-06-03	Ferruccio Guidi	- a comment removed	commit \| commitdiff \| tree
2013-06-03	Ferruccio Guidi	- induction on supclosure replaces induction on weight...	commit \| commitdiff \| tree
2013-06-01	Ferruccio Guidi	update in basic_2 and apps_2	commit \| commitdiff \| tree
2013-06-01	Ferruccio Guidi	- basic_2: induction for preservation results now uses...	commit \| commitdiff \| tree
2013-05-16	Ferruccio Guidi	partial update in basic_2	commit \| commitdiff \| tree
2013-05-16	Ferruccio Guidi	- some renaming	commit \| commitdiff \| tree
2013-05-13	Ferruccio Guidi	partial commit of the "dynamic" component	commit \| commitdiff \| tree
2013-05-10	Ferruccio Guidi	partial update in basic_2 ...	commit \| commitdiff \| tree
2013-05-10	Ferruccio Guidi	- partial commit: we issue the "conversion" and "equivalence...	commit \| commitdiff \| tree
2013-05-09	Ferruccio Guidi	partial commit in basic_2	commit \| commitdiff \| tree
2013-05-09	Ferruccio Guidi	partial commit: finaly we issue the "computation" component ...	commit \| commitdiff \| tree
2013-05-07	Ferruccio Guidi	- partial commit: refactoring in the components before...	commit \| commitdiff \| tree
2013-05-05	Ferruccio Guidi	partial update in basic_2	commit \| commitdiff \| tree
2013-05-05	Ferruccio Guidi	- partial commit (just the components before computation)	commit \| commitdiff \| tree
2013-04-21	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-04-21	Ferruccio Guidi	one file was missing	commit \| commitdiff \| tree
2013-04-21	Ferruccio Guidi	- we commit the "reduction" component	commit \| commitdiff \| tree
2013-04-20	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-04-20	Ferruccio Guidi	refactoring should be completed now	commit \| commitdiff \| tree
2013-04-20	Ferruccio Guidi	refactoring completed :)	commit \| commitdiff \| tree
2013-04-20	Ferruccio Guidi	- we are committing just the components before "reducibility"	commit \| commitdiff \| tree
2013-04-16	Ferruccio Guidi	milestone update in basic_2!	commit \| commitdiff \| tree
2013-04-16	Ferruccio Guidi	- we commit just the components before "reducibility"	commit \| commitdiff \| tree
2013-04-15	Ferruccio Guidi	uncommited file found :)	commit \| commitdiff \| tree
2013-04-07	Ferruccio Guidi	update in basic_2 and apps_2	commit \| commitdiff \| tree
2013-04-07	Ferruccio Guidi	- new component for restricted computation (delta,...	commit \| commitdiff \| tree
2013-04-05	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-04-05	Ferruccio Guidi	- parallel substitution reaxiomatized	commit \| commitdiff \| tree
2013-03-20	Ferruccio Guidi	- probe: recursive removal of empty directories	commit \| commitdiff \| tree
2013-03-18	Ferruccio Guidi	missing or rootless dependences now don't break the...	commit \| commitdiff \| tree
2013-03-18	Ferruccio Guidi	some additions	commit \| commitdiff \| tree
2013-03-18	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-03-18	Ferruccio Guidi	a file was added by mistake	commit \| commitdiff \| tree
2013-03-18	Ferruccio Guidi	- more understanding of the "big tree" reduction step	commit \| commitdiff \| tree
2013-03-17	Ferruccio Guidi	sfr renamed as lbotr and its symbol changed according...	commit \| commitdiff \| tree
2013-03-17	Ferruccio Guidi	notational change for lsubr:	commit \| commitdiff \| tree
2013-03-17	Ferruccio Guidi	lsubs renamed as lsubr	commit \| commitdiff \| tree
2013-03-17	Ferruccio Guidi	notational change for snv and lsubsv: inverted "!"...	commit \| commitdiff \| tree
2013-03-16	Ferruccio Guidi	milestone in basic_2!	commit \| commitdiff \| tree
2013-03-16	Ferruccio Guidi	- lambdadelta: last recursive part of preservation...	commit \| commitdiff \| tree
2013-03-14	Ferruccio Guidi	this is the real update :)	commit \| commitdiff \| tree
2013-03-14	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-03-14	Ferruccio Guidi	- main proof case closed in the 4th component of preservation	commit \| commitdiff \| tree
2013-03-13	Ferruccio Guidi	- lambdadelta: third recursive part of preservation...	commit \| commitdiff \| tree
2013-03-11	Ferruccio Guidi	more results on lenv refinement for stratified native...	commit \| commitdiff \| tree
2013-03-11	Ferruccio Guidi	bugfix in web tables	commit \| commitdiff \| tree
2013-03-11	Ferruccio Guidi	some bugs fixed	commit \| commitdiff \| tree
2013-03-11	Ferruccio Guidi	- xslt and Makefile improved, web pages regenerated	commit \| commitdiff \| tree
2013-03-10	Ferruccio Guidi	- improved Makefile esp. with the "trim" function	commit \| commitdiff \| tree
2013-03-10	Ferruccio Guidi	we removed a useless assertion that was forcing matita...	commit \| commitdiff \| tree
2013-03-09	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree
next

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

RSS Atom