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

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

2009-07-02	Enrico Tassi	better output handling	commit \| commitdiff \| tree \| snapshot
2009-07-02	Enrico Tassi	return type of paramod fixed according to the SZSOntology	commit \| commitdiff \| tree \| snapshot
2009-07-01	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-07-01	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-07-01	Wilmer Ricciotti	Version number set to 1.0.0-rc1	commit \| commitdiff \| tree \| snapshot
2009-07-01	denes	Fixed type of bag	commit \| commitdiff \| tree \| snapshot
2009-06-30	Enrico Tassi	parallel	commit \| commitdiff \| tree \| snapshot
2009-06-30	denes	Moved ID management inside the bag	commit \| commitdiff \| tree \| snapshot
2009-06-30	Enrico Tassi	attempt of using 2 different orderings	commit \| commitdiff \| tree \| snapshot
2009-06-30	Enrico Tassi	....	commit \| commitdiff \| tree \| snapshot
2009-06-30	denes	Corrected a few typos	commit \| commitdiff \| tree \| snapshot
2009-06-30	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-06-30	denes	Enabled age selection (ratio 1/5)	commit \| commitdiff \| tree \| snapshot
2009-06-29	Ferruccio Guidi	lambda-delta:	commit \| commitdiff \| tree \| snapshot
2009-06-29	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-06-29	Enrico Tassi	do not infer on closed goals	commit \| commitdiff \| tree \| snapshot
2009-06-29	Enrico Tassi	removed a maybe diverging test	commit \| commitdiff \| tree \| snapshot
2009-06-29	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-06-29	denes	First attempt for refined goal selection strategy	commit \| commitdiff \| tree \| snapshot
2009-06-29	Enrico Tassi	added (but not active) last chance idea	commit \| commitdiff \| tree \| snapshot
2009-06-29	denes	Implemented orphan murdering technique	commit \| commitdiff \| tree \| snapshot
2009-06-29	Enrico Tassi	new make test target	commit \| commitdiff \| tree \| snapshot
2009-06-28	Ferruccio Guidi	new kernel basic_rg: implements ufficial lambda-delta...	commit \| commitdiff \| tree \| snapshot
2009-06-26	Andrea Asperti	attempt to run a last chance procedure after the timeout	commit \| commitdiff \| tree \| snapshot
2009-06-26	Andrea Asperti	the timeout is passed to test last chance	commit \| commitdiff \| tree \| snapshot
2009-06-26	Andrea Asperti	this case is not assert false since it can happen if...	commit \| commitdiff \| tree \| snapshot
2009-06-26	Andrea Asperti	fixed parsing	commit \| commitdiff \| tree \| snapshot
2009-06-26	Andrea Asperti	convenient problem lists	commit \| commitdiff \| tree \| snapshot
2009-06-26	Andrea Asperti	an easy for loop	commit \| commitdiff \| tree \| snapshot
2009-06-26	Andrea Asperti	deep subsumption activated	commit \| commitdiff \| tree \| snapshot
2009-06-26	Andrea Asperti	test for deep subsumption added	commit \| commitdiff \| tree \| snapshot
2009-06-26	denes	Implemented orphan murder test (clauses are not discard...	commit \| commitdiff \| tree \| snapshot
2009-06-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-06-25	Enrico Tassi	better doc	commit \| commitdiff \| tree \| snapshot
2009-06-25	Enrico Tassi	timeouts are passed as arguments, so that tptpprover can	commit \| commitdiff \| tree \| snapshot
2009-06-25	Ferruccio Guidi	- some depend files :)	commit \| commitdiff \| tree \| snapshot
2009-06-25	Enrico Tassi	the prover is almost OK, types in fuctors a bit extended to	commit \| commitdiff \| tree \| snapshot
2009-06-25	Andrea Asperti	First version of deep_subsumption.	commit \| commitdiff \| tree \| snapshot
2009-06-25	denes	Various fixes	commit \| commitdiff \| tree \| snapshot
2009-06-25	Enrico Tassi	new function	commit \| commitdiff \| tree \| snapshot
2009-06-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-06-25	Enrico Tassi	matitaprover is almost there	commit \| commitdiff \| tree \| snapshot
2009-06-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-06-25	Enrico Tassi	initial import of standalone matitaprover binary	commit \| commitdiff \| tree \| snapshot
2009-06-25	denes	Now using age selection	commit \| commitdiff \| tree \| snapshot
2009-06-25	Enrico Tassi	code refactoring for paramodulation	commit \| commitdiff \| tree \| snapshot
2009-06-25	Enrico Tassi	new function list_mapi_acc	commit \| commitdiff \| tree \| snapshot
2009-06-25	denes	Fixed is_identity for facts	commit \| commitdiff \| tree \| snapshot
2009-06-25	denes	Fixed insertion of passive clauses	commit \| commitdiff \| tree \| snapshot
2009-06-25	Andrea Asperti	Code factorization	commit \| commitdiff \| tree \| snapshot
2009-06-24	denes	Removed debug printing	commit \| commitdiff \| tree \| snapshot
2009-06-24	denes	Now inserting hypothesis and goal with zero weight	commit \| commitdiff \| tree \| snapshot
2009-06-24	denes	Extended is_identity test	commit \| commitdiff \| tree \| snapshot
2009-06-24	denes	Implemented check for duplicates (in goals)	commit \| commitdiff \| tree \| snapshot
2009-06-23	denes	Removed old debugging assertion	commit \| commitdiff \| tree \| snapshot
2009-06-23	Ferruccio Guidi	- procedural: basic support for lapply (solves a proble...	commit \| commitdiff \| tree \| snapshot
2009-06-23	denes	Removed debug printing raising Failure	commit \| commitdiff \| tree \| snapshot
2009-06-23	denes	Removed debug printing	commit \| commitdiff \| tree \| snapshot
2009-06-23	denes	Rewrote the main loop for paramodulation	commit \| commitdiff \| tree \| snapshot
2009-06-23	Enrico Tassi	undo/serialization for universes implemented	commit \| commitdiff \| tree \| snapshot
2009-06-23	Claudio Sacerdoti...	Debugging prerr_endlines removed.	commit \| commitdiff \| tree \| snapshot
2009-06-23	Claudio Sacerdoti...	1) NCicTypechecker.typecheck_obj removed, since it...	commit \| commitdiff \| tree \| snapshot
2009-06-23	denes	Fixed nasty bug in maxvar updating	commit \| commitdiff \| tree \| snapshot
2009-06-23	Claudio Sacerdoti...	- Bug fixed: removed URIs were not removed from the...	commit \| commitdiff \| tree \| snapshot
2009-06-23	Enrico Tassi	removed problem not in UEQ	commit \| commitdiff \| tree \| snapshot
2009-06-22	Ferruccio Guidi	- nodes count is now working for aut and meta	commit \| commitdiff \| tree \| snapshot
2009-06-22	denes	Added more precise time information	commit \| commitdiff \| tree \| snapshot
2009-06-22	denes	Added problems from CASC 208	commit \| commitdiff \| tree \| snapshot
2009-06-22	denes	Regenerated problems with corrected tptp2grafite	commit \| commitdiff \| tree \| snapshot
2009-06-22	denes	Corrected proof visiting (topological sort)	commit \| commitdiff \| tree \| snapshot
2009-06-22	denes	Small debugging in tptp2grafite	commit \| commitdiff \| tree \| snapshot
2009-06-21	Wilmer Ricciotti	Added injective compose	commit \| commitdiff \| tree \| snapshot
2009-06-21	Ferruccio Guidi	- cicNotationPp: bugfix in record syntax	commit \| commitdiff \| tree \| snapshot
2009-06-20	Wilmer Ricciotti	Some notation and additional lemmata.	commit \| commitdiff \| tree \| snapshot
2009-06-20	Claudio Sacerdoti...	Debugging	commit \| commitdiff \| tree \| snapshot
2009-06-19	Claudio Sacerdoti...	"matitaclean all" ported to NG	commit \| commitdiff \| tree \| snapshot
2009-06-19	Claudio Sacerdoti...	Invert dependencies between baseuris (files) are now...	commit \| commitdiff \| tree \| snapshot
2009-06-19	Claudio Sacerdoti...	Bug fixed: refreshing of uris for the db.	commit \| commitdiff \| tree \| snapshot
2009-06-19	Wilmer Ricciotti	More improvements.	commit \| commitdiff \| tree \| snapshot
2009-06-19	Claudio Sacerdoti...	The global db is now updated during decompilation.	commit \| commitdiff \| tree \| snapshot
2009-06-19	Claudio Sacerdoti...	Persistent db (to lookup names in the library) ineffici...	commit \| commitdiff \| tree \| snapshot
2009-06-19	Claudio Sacerdoti...	NG decompilation is now activated. However, it is calle...	commit \| commitdiff \| tree \| snapshot
2009-06-19	Claudio Sacerdoti...	Estatus finally merged into the global status using...	commit \| commitdiff \| tree \| snapshot
2009-06-19	Claudio Sacerdoti...	Useless GrafiteTypes.get_baseuri removed.	commit \| commitdiff \| tree \| snapshot
2009-06-19	Claudio Sacerdoti...	More statuses converted to objects.	commit \| commitdiff \| tree \| snapshot
2009-06-19	Claudio Sacerdoti...	Good:	commit \| commitdiff \| tree \| snapshot
2009-06-18	Enrico Tassi	debug pps removed	commit \| commitdiff \| tree \| snapshot
2009-06-18	Enrico Tassi	better exception handling	commit \| commitdiff \| tree \| snapshot
2009-06-18	Enrico Tassi	proof patching!	commit \| commitdiff \| tree \| snapshot
2009-06-18	Claudio Sacerdoti...	Objects are now used to represent also the tactic status.	commit \| commitdiff \| tree \| snapshot
2009-06-18	denes	Added ntry and nassumption tactics	commit \| commitdiff \| tree \| snapshot
2009-06-18	Enrico Tassi	callbacks were taking in input a status bu were not...	commit \| commitdiff \| tree \| snapshot
2009-06-18	denes	Fixed stupid path	commit \| commitdiff \| tree \| snapshot
2009-06-18	denes	Added script useful for running benchmarks	commit \| commitdiff \| tree \| snapshot
2009-06-18	denes	Changed parenthesis to optional around letin ident...	commit \| commitdiff \| tree \| snapshot
2009-06-18	denes	Fixed wrong types in proof terms	commit \| commitdiff \| tree \| snapshot
2009-06-18	Claudio Sacerdoti...	Stricter type: the type now shows that disambiguation...	commit \| commitdiff \| tree \| snapshot
2009-06-18	Claudio Sacerdoti...	1) grafiteWalker removed	commit \| commitdiff \| tree \| snapshot
2009-06-17	Enrico Tassi	proof reconstruction almost OK	commit \| commitdiff \| tree \| snapshot
2009-06-17	Claudio Sacerdoti...	Initial implementation of statuses using objects in...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom