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

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

2005-06-27	Claudio Sacerdoti...	* auto_tac removed (it can be found in CVS)	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	* More tactics are now available to matita.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	More tactics are now available to matita.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	more complex	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	1) moved select and pattern_of from cicUtil to proofEng...	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	Nicer output for the "make tests*" commands.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	more detailed but less verbose and annoying report	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	fixed LApply pretty printing	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	minor fixes	commit \| commitdiff \| tree \| snapshot
2005-06-26	Enrico Tassi	the web interface for the benchmarking system	commit \| commitdiff \| tree \| snapshot
2005-06-25	Ferruccio Guidi	first working (?) version of lapply	commit \| commitdiff \| tree \| snapshot
2005-06-25	Ferruccio Guidi	firs wrking (?) version of lapply	commit \| commitdiff \| tree \| snapshot
2005-06-24	Ferruccio Guidi	lapply tactic continued	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	new implementation (due to paths).	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	stupid rename	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	now we use rplace_lifting_csc since the what must NOT...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fixed select (not Implicit (Some `TYPE) is handled)	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	New implementation of experimental_hint/auto (called...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	Bug fixed: select => select distinct (since the ors...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	shanpshot	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	nigth-bench snapshot	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	matita.conf.xml.sample now has a @@OWNER@@ so that...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	added a getter maps updater	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	cicPxpParser.ml, cicParser2.ml and cicParser3.ml...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	first snapshot of the night-profiling	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	Small improvement in extracting suffixes.	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	New functions UriManager.uri_is_var, UriManager.uri_is_con.	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	Asts generalized: a lot of tactics where restricted...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	debugging printf removed	commit \| commitdiff \| tree \| snapshot
2005-06-23	Alberto Griggio	added various profiling statistics...	commit \| commitdiff \| tree \| snapshot
2005-06-23	Enrico Tassi	Much simpler (and slightly more performant) implementat...	commit \| commitdiff \| tree \| snapshot
2005-06-23	Enrico Tassi	aded prifiler factory	commit \| commitdiff \| tree \| snapshot
2005-06-23	Andrea Asperti	Added Z, Zplus and its properties.	commit \| commitdiff \| tree \| snapshot
2005-06-23	Claudio Sacerdoti...	Tactic discriminate activated in matita.	commit \| commitdiff \| tree \| snapshot
2005-06-23	Claudio Sacerdoti...	The discriminate tactic accepts a term, not only an...	commit \| commitdiff \| tree \| snapshot
2005-06-23	Claudio Sacerdoti...	1. Tactic generalize ported to patterns and activated...	commit \| commitdiff \| tree \| snapshot
2005-06-23	Claudio Sacerdoti...	Tactic generalize ported to patterns and activated...	commit \| commitdiff \| tree \| snapshot
2005-06-23	Claudio Sacerdoti...	1 .Tactic generalize ported to patterns and activated...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Alberto Griggio	reverted to previous version, as it worked better...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-22	Stefano Zacchiroli	local use of OCAMLPATH so that ./script.sh should not...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Stefano Zacchiroli	restored local usage of OCAMLPATH so that ./script...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Stefano Zacchiroli	added $(NULL)	commit \| commitdiff \| tree \| snapshot
2005-06-22	Enrico Tassi	fixed +1 numbering (added when the memory consuming...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Enrico Tassi	removed memory wasting foldright	commit \| commitdiff \| tree \| snapshot
2005-06-22	Enrico Tassi	string -> uri	commit \| commitdiff \| tree \| snapshot
2005-06-22	Alberto Griggio	use of discrimination trees instead of path indexes...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Alberto Griggio	trie structure implementation	commit \| commitdiff \| tree \| snapshot
2005-06-20	Alberto Griggio	some optimizations...	commit \| commitdiff \| tree \| snapshot
2005-06-20	Alberto Griggio	testing...	commit \| commitdiff \| tree \| snapshot
2005-06-20	Alberto Griggio	* empty log message *	commit \| commitdiff \| tree \| snapshot
2005-06-20	Alberto Griggio	discrimination trees	commit \| commitdiff \| tree \| snapshot
2005-06-19	Alberto Griggio	limited-resource-strategy implementation (now working!)	commit \| commitdiff \| tree \| snapshot
2005-06-19	Alberto Griggio	path indexing integration, limited-resource-strategy...	commit \| commitdiff \| tree \| snapshot
2005-06-19	Alberto Griggio	path indexing integration	commit \| commitdiff \| tree \| snapshot
2005-06-19	Alberto Griggio	path indexing working!	commit \| commitdiff \| tree \| snapshot
2005-06-18	Enrico Tassi	fixed increase/decrease size feature	commit \| commitdiff \| tree \| snapshot
2005-06-17	Stefano Zacchiroli	removed!	commit \| commitdiff \| tree \| snapshot
2005-06-17	Enrico Tassi	support for goal patterns	commit \| commitdiff \| tree \| snapshot
2005-06-17	Enrico Tassi	uses new pattern concrete syntax	commit \| commitdiff \| tree \| snapshot
2005-06-17	Enrico Tassi	added support for goal patterns	commit \| commitdiff \| tree \| snapshot
2005-06-17	Enrico Tassi	concrete syntax for goal patterns	commit \| commitdiff \| tree \| snapshot
2005-06-17	Enrico Tassi	added support for patterns current goal	commit \| commitdiff \| tree \| snapshot
2005-06-17	Enrico Tassi	changed select so that it returns a list of pairs ...	commit \| commitdiff \| tree \| snapshot
2005-06-17	Alberto Griggio	profiling experiments...	commit \| commitdiff \| tree \| snapshot
2005-06-17	Claudio Sacerdoti...	more strings to UriManager.uri	commit \| commitdiff \| tree \| snapshot
2005-06-17	Claudio Sacerdoti...	many strings that are supposed to be URIs are now UriMa...	commit \| commitdiff \| tree \| snapshot
2005-06-17	Stefano Zacchiroli	removed spurious entry gtkrc	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	Locally implemented print_context replaced by CicPp...	commit \| commitdiff \| tree \| snapshot
2005-06-16	Andrea Asperti	A cleaned version of auto_tac_new.	commit \| commitdiff \| tree \| snapshot
2005-06-16	Stefano Zacchiroli	added depth and width (optional) parameters to auto_tac_new	commit \| commitdiff \| tree \| snapshot
2005-06-16	Stefano Zacchiroli	uses auto_tac_new instead of auto_tac	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	Dead code clean-up.	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	Dead code for packing/unpacking (usually just a big...	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	Dead code clean-up.	commit \| commitdiff \| tree \| snapshot
2005-06-16	Enrico Tassi	added decrease and increase font size fantafeature	commit \| commitdiff \| tree \| snapshot
2005-06-16	Enrico Tassi	added utility to dump some tables of the db on mowgli	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	matita.conf.xml added	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	removed again (I added it by error :-(	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	* parsing errors in tests were not detected and the...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	DTD for attributes revised.	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	Syntax of <attributes>...</attributes> improved to...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	DTD for attributes revised.	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	The `Record class now records also the name of the...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	a parser error is now logged as an error!	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	Bug fixed: parsing errors were ignored by matitac since...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	Bug fixed (that used to throw away a metasenv :-(	commit \| commitdiff \| tree \| snapshot
2005-06-15	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	renamed clientHTTP to http_getter_wget	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	we no longer use pxp	commit \| commitdiff \| tree \| snapshot
2005-06-15	Ferruccio Guidi	support for the new tactics lapply and fwd	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	enable static linking of C stub code	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom