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

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

2008-03-10	Enrico Tassi	fixed wrong dependencies in debian package reported...	commit \| commitdiff \| tree \| snapshot
2008-03-10	Claudio Sacerdoti...	Bad hack to avoid failure of conversion (unfolding...	commit \| commitdiff \| tree \| snapshot
2008-03-10	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-03-10	Claudio Sacerdoti...	Scripts fixed because of:	commit \| commitdiff \| tree \| snapshot
2008-03-10	Claudio Sacerdoti...	Tactic reduce got rid of. Use normalize, instead.	commit \| commitdiff \| tree \| snapshot
2008-03-10	Claudio Sacerdoti...	whd: ~delta=false now controls also zeta-reduction...	commit \| commitdiff \| tree \| snapshot
2008-03-10	Claudio Sacerdoti...	An unimplemented case of clearbody is now implemented.	commit \| commitdiff \| tree \| snapshot
2008-03-10	Claudio Sacerdoti...	check_metasenv_consistency:	commit \| commitdiff \| tree \| snapshot
2008-03-10	Claudio Sacerdoti...	Example query fixed.	commit \| commitdiff \| tree \| snapshot
2008-03-10	Claudio Sacerdoti...	Debugging print removed.	commit \| commitdiff \| tree \| snapshot
2008-03-09	Claudio Sacerdoti...	Added ad-hoc optimization for check_metasenv_consistenc...	commit \| commitdiff \| tree \| snapshot
2008-03-09	Claudio Sacerdoti...	Performance improvement: let-ins should always be pushe...	commit \| commitdiff \| tree \| snapshot
2008-03-09	Claudio Sacerdoti...	Scripts fixed. They were broken since the change to...	commit \| commitdiff \| tree \| snapshot
2008-03-09	Ferruccio Guidi	LAMBDA-TYPES: some more generation lemmas and some...	commit \| commitdiff \| tree \| snapshot
2008-03-09	Claudio Sacerdoti...	Potentially (and, at least sometimes, actually) big...	commit \| commitdiff \| tree \| snapshot
2008-03-09	Claudio Sacerdoti...	Redundant check (because of an invariant) removed.	commit \| commitdiff \| tree \| snapshot
2008-03-06	Enrico Tassi	* please let the library in shape *	commit \| commitdiff \| tree \| snapshot
2008-03-06	Enrico Tassi	fixed	commit \| commitdiff \| tree \| snapshot
2008-03-06	Enrico Tassi	skipped freescale and dama_didactic	commit \| commitdiff \| tree \| snapshot
2008-03-06	Enrico Tassi	fixed deps	commit \| commitdiff \| tree \| snapshot
2008-03-06	Enrico Tassi	reworked freescale stuff to put \m as a left parameter	commit \| commitdiff \| tree \| snapshot
2008-03-06	Enrico Tassi	no more assembly/ to skip	commit \| commitdiff \| tree \| snapshot
2008-03-06	Enrico Tassi	fix typo	commit \| commitdiff \| tree \| snapshot
2008-03-06	Enrico Tassi	added mkdir	commit \| commitdiff \| tree \| snapshot
2008-03-06	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-03-05	Ferruccio Guidi	some corrections and additions	commit \| commitdiff \| tree \| snapshot
2008-03-05	Enrico Tassi	from now on, export MATITA_EXTRACT=true to extract	commit \| commitdiff \| tree \| snapshot
2008-03-05	Enrico Tassi	verbosity increased in case of error	commit \| commitdiff \| tree \| snapshot
2008-03-04	Ferruccio Guidi	components/library: dotdothack removed	commit \| commitdiff \| tree \| snapshot
2008-03-04	Claudio Sacerdoti...	New syntax for patterns.	commit \| commitdiff \| tree \| snapshot
2008-03-04	Claudio Sacerdoti...	prodT ==> prod	commit \| commitdiff \| tree \| snapshot
2008-03-04	Claudio Sacerdoti...	A) New version.	commit \| commitdiff \| tree \| snapshot
2008-02-29	Ferruccio Guidi	we added the classic substitution function	commit \| commitdiff \| tree \| snapshot
2008-02-28	Enrico Tassi	firs attempt to compile with ocamlbuild	commit \| commitdiff \| tree \| snapshot
2008-02-27	Wilmer Ricciotti	the proof of bertrand's conjecture is now complete	commit \| commitdiff \| tree \| snapshot
2008-02-26	Ferruccio Guidi	I added some debugging information	commit \| commitdiff \| tree \| snapshot
2008-02-26	Ferruccio Guidi	added MATITAOPTIONS -onepass as for LAMBDA-TYPES	commit \| commitdiff \| tree \| snapshot
2008-02-26	Ferruccio Guidi	LAMBDA-TYPES: added wf3 (legal context predicate);	commit \| commitdiff \| tree \| snapshot
2008-02-24	Ferruccio Guidi	$(H) added :)	commit \| commitdiff \| tree \| snapshot
2008-02-24	Ferruccio Guidi	LAMBDA-TYPES: dependences calculation improved	commit \| commitdiff \| tree \| snapshot
2008-02-23	Ferruccio Guidi	LAMBDA-TYPES:	commit \| commitdiff \| tree \| snapshot
2008-02-22	Ferruccio Guidi	- added some options to matitadep: -stdout and -exclude	commit \| commitdiff \| tree \| snapshot
2008-02-22	Wilmer Ricciotti	sieve of erathostene (proof of soundness almost done)	commit \| commitdiff \| tree \| snapshot
2008-02-21	Claudio Sacerdoti...	A new very simple example for recursive functions....	commit \| commitdiff \| tree \| snapshot
2008-02-21	Claudio Sacerdoti...	Avoid translating back recursive fixes to the same...	commit \| commitdiff \| tree \| snapshot
2008-02-21	Claudio Sacerdoti...	Avoid application to 0 arguments.	commit \| commitdiff \| tree \| snapshot
2008-02-21	Claudio Sacerdoti...	Better handling of exceptions.	commit \| commitdiff \| tree \| snapshot
2008-02-21	Ferruccio Guidi	svn:ignores fixed	commit \| commitdiff \| tree \| snapshot
2008-02-20	Ferruccio Guidi	-onepass option removed from Makefile to comile Base...	commit \| commitdiff \| tree \| snapshot
2008-02-20	Ferruccio Guidi	LambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES	commit \| commitdiff \| tree \| snapshot
2008-02-20	Enrico Tassi	splat_args is now better understood and debugged: we...	commit \| commitdiff \| tree \| snapshot
2008-02-20	Enrico Tassi	added small test, fixed some bugs	commit \| commitdiff \| tree \| snapshot
2008-02-20	Enrico Tassi	many fixed in translation functions	commit \| commitdiff \| tree \| snapshot
2008-02-19	Ferruccio Guidi	dependences needed a fix :)	commit \| commitdiff \| tree \| snapshot
2008-02-19	Ferruccio Guidi	we are moving the devel root one dir level up	commit \| commitdiff \| tree \| snapshot
2008-02-19	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-02-19	Enrico Tassi	snapshot inverse tranformation	commit \| commitdiff \| tree \| snapshot
2008-02-19	Enrico Tassi	transformation almost finisced, not tested	commit \| commitdiff \| tree \| snapshot
2008-02-19	Ferruccio Guidi	now inline "file.ma" is allowed.	commit \| commitdiff \| tree \| snapshot
2008-02-19	Andrea Asperti	Added o.ma (some results about the magnitude of functio...	commit \| commitdiff \| tree \| snapshot
2008-02-19	Enrico Tassi	initial steps of convertibility	commit \| commitdiff \| tree \| snapshot
2008-02-18	Enrico Tassi	some bits of reduction, reusing psubst	commit \| commitdiff \| tree \| snapshot
2008-02-18	Andrea Asperti	Complete proof of Bertrand for n >= 256.	commit \| commitdiff \| tree \| snapshot
2008-02-14	Andrea Asperti	Prima versione di bertrand. Tanti cambiamenti qua e la.	commit \| commitdiff \| tree \| snapshot
2008-02-13	Ferruccio Guidi	baseuris removed from files	commit \| commitdiff \| tree \| snapshot
2008-02-13	Ferruccio Guidi	fixed dependences	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	conversion half inplemented	commit \| commitdiff \| tree \| snapshot
2008-02-13	Ferruccio Guidi	renaming	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	reordered cases	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	reorganization of sources	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	substituion and lifting implemented	commit \| commitdiff \| tree \| snapshot
2008-02-13	Ferruccio Guidi	renaming	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	factorized common components of objects	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	added Local pragma, moved leftno and inductive into...	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	added leftno to indtypes, better indentation and comments	commit \| commitdiff \| tree \| snapshot
2008-02-12	Enrico Tassi	nCic almost finished	commit \| commitdiff \| tree \| snapshot
2008-02-12	Ferruccio Guidi	renaming	commit \| commitdiff \| tree \| snapshot
2008-02-12	Ferruccio Guidi	regeneration with new results	commit \| commitdiff \| tree \| snapshot
2008-02-12	Enrico Tassi	fixed path for matitadep	commit \| commitdiff \| tree \| snapshot
2008-02-12	Enrico Tassi	fixed make dist	commit \| commitdiff \| tree \| snapshot
2008-02-12	Enrico Tassi	better error message in case inclusion failed	commit \| commitdiff \| tree \| snapshot
2008-02-12	Enrico Tassi	allow to use "../foo/bar.ma" as a path for the include...	commit \| commitdiff \| tree \| snapshot
2008-02-08	Andrea Asperti	progress.	commit \| commitdiff \| tree \| snapshot
2008-02-08	Claudio Sacerdoti...	A formalization of modified realisability with truth...	commit \| commitdiff \| tree \| snapshot
2008-02-08	Claudio Sacerdoti...	Bug fixed in generation of elimination principles of...	commit \| commitdiff \| tree \| snapshot
2008-02-08	Claudio Sacerdoti...	prodT merged with prod	commit \| commitdiff \| tree \| snapshot
2008-02-07	Claudio Sacerdoti...	ProdT was a perfect copy of Prod. Removed.	commit \| commitdiff \| tree \| snapshot
2008-02-07	Andrea Asperti	Results about Chebyshev teta function.	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	cic defined (half)	commit \| commitdiff \| tree \| snapshot
2008-02-05	Andrea Asperti	Some more theorems.	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	reindent	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	oldenv2newenv cache	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	uri and references(uri)	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	uri -> reference (2)	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	uri -> reference	commit \| commitdiff \| tree \| snapshot
2008-02-05	Wilmer Ricciotti	lower bound for neper's constant	commit \| commitdiff \| tree \| snapshot
2008-02-04	Enrico Tassi	sad snapshot	commit \| commitdiff \| tree \| snapshot
2008-02-04	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-02-04	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-02-04	Andrea Asperti	Improved approximations for A and prim.	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom