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

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

2009-10-28	Claudio Sacerdoti...	Works again	commit \| commitdiff \| tree \| snapshot
2009-10-28	Claudio Sacerdoti...	Ad-hoc management of ? vs out_scope in instantiate...	commit \| commitdiff \| tree \| snapshot
2009-10-28	Claudio Sacerdoti...	Bug fixed: the `IsTerm attribute is now added by mk_met...	commit \| commitdiff \| tree \| snapshot
2009-10-28	Claudio Sacerdoti...	1) new-style debugging/profiling code for old reduction	commit \| commitdiff \| tree \| snapshot
2009-10-28	Claudio Sacerdoti...	Commented out code to optimize the case t1 vs t2 when...	commit \| commitdiff \| tree \| snapshot
2009-10-28	Claudio Sacerdoti...	One-shot aliases were no longer generated because of...	commit \| commitdiff \| tree \| snapshot
2009-10-28	Claudio Sacerdoti...	Different aliases, better equality inferred.	commit \| commitdiff \| tree \| snapshot
2009-10-28	Claudio Sacerdoti...	instances	commit \| commitdiff \| tree \| snapshot
2009-10-28	Claudio Sacerdoti...	instance fixed	commit \| commitdiff \| tree \| snapshot
2009-10-28	Enrico Tassi	better indentation	commit \| commitdiff \| tree \| snapshot
2009-10-28	Enrico Tassi	better indentation	commit \| commitdiff \| tree \| snapshot
2009-10-28	Enrico Tassi	better comments and indentation	commit \| commitdiff \| tree \| snapshot
2009-10-28	Enrico Tassi	use prop_only to filter instead of repeting the same...	commit \| commitdiff \| tree \| snapshot
2009-10-28	Enrico Tassi	better logging	commit \| commitdiff \| tree \| snapshot
2009-10-28	Enrico Tassi	better logging and immediate pruning of new goals when	commit \| commitdiff \| tree \| snapshot
2009-10-28	Enrico Tassi	auto navigates a real tree, not a flattened one	commit \| commitdiff \| tree \| snapshot
2009-10-28	Enrico Tassi	labels in group_by_tac	commit \| commitdiff \| tree \| snapshot
2009-10-28	Enrico Tassi	new data structures for auto	commit \| commitdiff \| tree \| snapshot
2009-10-28	Enrico Tassi	do not put " around node name, otherwise names like...	commit \| commitdiff \| tree \| snapshot
2009-10-28	Enrico Tassi	export group_by_tac	commit \| commitdiff \| tree \| snapshot
2009-10-28	Ferruccio Guidi	drg->brg translation contibued (still bugged though)	commit \| commitdiff \| tree \| snapshot
2009-10-26	Claudio Sacerdoti...	qed => nqed.	commit \| commitdiff \| tree \| snapshot
2009-10-26	Claudio Sacerdoti...	Now the time required to eval a command is printed.	commit \| commitdiff \| tree \| snapshot
2009-10-23	Enrico Tassi	added code to print the tree	commit \| commitdiff \| tree \| snapshot
2009-10-23	Enrico Tassi	CSC proof made by paramod	commit \| commitdiff \| tree \| snapshot
2009-10-23	Enrico Tassi	more functions	commit \| commitdiff \| tree \| snapshot
2009-10-23	Claudio Sacerdoti...	Alias required now ??	commit \| commitdiff \| tree \| snapshot
2009-10-22	Enrico Tassi	new instantiate, only known bug is w.r.t. in/out scope...	commit \| commitdiff \| tree \| snapshot
2009-10-22	Enrico Tassi	the trie indexes terms up to 10 nested applications...	commit \| commitdiff \| tree \| snapshot
2009-10-22	Enrico Tassi	more auto	commit \| commitdiff \| tree \| snapshot
2009-10-21	Claudio Sacerdoti...	Non general recursion implemented via recursion over...	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	first bits for the zipper	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	more printings	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	auto is smarter :-)	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	nauto:	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	fixed pictures	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	preserve sharing if map_term_fold_a	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	add XXX where I found a catch all statement	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	new sharing-preserving map with accumulator	commit \| commitdiff \| tree \| snapshot
2009-10-21	Enrico Tassi	apply the subst to the metasenv and to p	commit \| commitdiff \| tree \| snapshot
2009-10-20	Claudio Sacerdoti...	- Bug fixed: some assert failure were just failures...	commit \| commitdiff \| tree \| snapshot
2009-10-20	Wilmer Ricciotti	...	commit \| commitdiff \| tree \| snapshot
2009-10-19	Claudio Sacerdoti...	Smarter implementation of instantiate to avoid re-check...	commit \| commitdiff \| tree \| snapshot
2009-10-18	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-17	Enrico Tassi	batch pdf generation	commit \| commitdiff \| tree \| snapshot
2009-10-17	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-17	Enrico Tassi	some more work	commit \| commitdiff \| tree \| snapshot
2009-10-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-16	Enrico Tassi	debug idem for auto added	commit \| commitdiff \| tree \| snapshot
2009-10-16	Enrico Tassi	new lambda instros and better logging	commit \| commitdiff \| tree \| snapshot
2009-10-16	Enrico Tassi	better indexing for auto	commit \| commitdiff \| tree \| snapshot
2009-10-16	Enrico Tassi	some work for auto	commit \| commitdiff \| tree \| snapshot
2009-10-16	Enrico Tassi	some work for auto	commit \| commitdiff \| tree \| snapshot
2009-10-16	Enrico Tassi	removed optimization potentially unsound	commit \| commitdiff \| tree \| snapshot
2009-10-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-15	Claudio Sacerdoti...	Profiling code integrated.	commit \| commitdiff \| tree \| snapshot
2009-10-15	Cosimo Oliboni	freescale porting, work in progress	commit \| commitdiff \| tree \| snapshot
2009-10-14	Claudio Sacerdoti...	Debugging improved.	commit \| commitdiff \| tree \| snapshot
2009-10-14	Claudio Sacerdoti...	Benchmarking integrated in folding/unfolding.	commit \| commitdiff \| tree \| snapshot
2009-10-14	Cosimo Oliboni	freescale porting, work in progress	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	cantor...	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	hints were not used by reduction machines on heads	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	ncheck is not erased	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	minor fix	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	tons of typo fixed	commit \| commitdiff \| tree \| snapshot
2009-10-14	Claudio Sacerdoti...	Error message fixed (dereferencing must be done eagerly...	commit \| commitdiff \| tree \| snapshot
2009-10-14	Claudio Sacerdoti...	Serious bug fixed: fix_sorts used to allow inference...	commit \| commitdiff \| tree \| snapshot
2009-10-14	Enrico Tassi	CProp uri fixed	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-13	Wilmer Ricciotti	Experimental scripts for nth-order rewriting principles.	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	relocate is hopefully fixed once and for-all!	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	better screenshot	commit \| commitdiff \| tree \| snapshot
2009-10-13	Cosimo Oliboni	freescale porting, work in progress	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	relocate fixed	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	better ppcontext	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	better ppcontext	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	debug + relocate uses Prop instead of (Prop Prop)....	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	one mode debug item	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	no mode middle age debug menu	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	more comments	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Claudio Sacerdoti...	1) Bug fixed: the case Meta(i) vs Meta(i) was handled...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Claudio Sacerdoti...	Bug fixed: in case of (t ...) where t has flexible...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom