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

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

2006-10-13	Claudio Sacerdoti...	New content level representations for LetRec, Inductive...	commit \| commitdiff \| tree
2006-10-12	Claudio Sacerdoti...	The default for paramodulation is now back to false...	commit \| commitdiff \| tree
2006-10-12	Claudio Sacerdoti...	Inclusion "improved".	commit \| commitdiff \| tree
2006-10-12	Claudio Sacerdoti...	CoRN integrated in the night benchmarks.	commit \| commitdiff \| tree
2006-10-12	Claudio Sacerdoti...	Bug fixed: the conversion was done with the wront argument...	commit \| commitdiff \| tree
2006-10-11	Claudio Sacerdoti...	Some hocus-pocus to avoid a common race condition ...	commit \| commitdiff \| tree
2006-10-11	Claudio Sacerdoti...	Unlocking the interface was not performed as the last...	commit \| commitdiff \| tree
2006-10-11	Claudio Sacerdoti...	The RELATIONAL contrib must be compiled before the...	commit \| commitdiff \| tree
2006-10-11	Claudio Sacerdoti...	My previous commit changed the regular timeout of paramodula...	commit \| commitdiff \| tree
2006-10-10	Claudio Sacerdoti...	fguidi removed from RT in makefiles	commit \| commitdiff \| tree
2006-10-10	Claudio Sacerdoti...	Implemented:	commit \| commitdiff \| tree
2006-10-10	Claudio Sacerdoti...	auto => auto new	commit \| commitdiff \| tree
2006-10-10	Claudio Sacerdoti...	auto => auto new	commit \| commitdiff \| tree
2006-10-10	Claudio Sacerdoti...	I do not understand at all why Enrico removed the contribs...	commit \| commitdiff \| tree
2006-10-10	Claudio Sacerdoti...	Sorry, bug introduced by me yesterday now fixed.	commit \| commitdiff \| tree
2006-10-09	Claudio Sacerdoti...	Bugs fixed in merging of composite coercions. In particular...	commit \| commitdiff \| tree
2006-10-09	Claudio Sacerdoti...	One auto modified in an apply since auto is no longer...	commit \| commitdiff \| tree
2006-10-09	Claudio Sacerdoti...	added to applyS in nat/gcd.ma a timeout large enough...	commit \| commitdiff \| tree
2006-10-09	Claudio Sacerdoti...	1. applyS now uses its ~params	commit \| commitdiff \| tree
2006-10-09	Claudio Sacerdoti...	applyS now receives the same parameters that auto receives.	commit \| commitdiff \| tree
2006-10-09	Claudio Sacerdoti...	auto => auto new and other minor changes to make it...	commit \| commitdiff \| tree
2006-10-09	Claudio Sacerdoti...	auto => auto new everywhere + minor updates to make...	commit \| commitdiff \| tree
2006-10-09	Claudio Sacerdoti...	Comments updated with new reflections.	commit \| commitdiff \| tree
2006-10-09	Claudio Sacerdoti...	More work to handle -debug properly.	commit \| commitdiff \| tree
2006-10-06	Claudio Sacerdoti...	1. some "try ... with _ " removed	commit \| commitdiff \| tree
2006-10-03	Claudio Sacerdoti...	Inline command implemented.	commit \| commitdiff \| tree
2006-10-03	Claudio Sacerdoti...	Syntax of paramodulation parameters changed.	commit \| commitdiff \| tree
2006-10-03	Claudio Sacerdoti...	Fixed handling of exceptions by the worker threads...	commit \| commitdiff \| tree
2006-10-03	Claudio Sacerdoti...	Removed /home/tassi from the makefile!	commit \| commitdiff \| tree
2006-10-03	Claudio Sacerdoti...	Regular expression fixed to allow '-' into test names.	commit \| commitdiff \| tree
2006-10-03	Claudio Sacerdoti...	sacerdot is now the user for the daily bench.	commit \| commitdiff \| tree
2006-10-03	Claudio Sacerdoti...	Crontab updated	commit \| commitdiff \| tree
2006-10-03	Claudio Sacerdoti...	No more benches without gc.	commit \| commitdiff \| tree
2006-10-03	Claudio Sacerdoti...	sequent_viewer.xml & co are now generated in /tmp if...	commit \| commitdiff \| tree
2006-10-03	Claudio Sacerdoti...	Bug fixed: the script Menu was not locked as expected.	commit \| commitdiff \| tree
2006-10-03	Claudio Sacerdoti...	The Abort button is now working properly. Cool.	commit \| commitdiff \| tree
2006-10-02	Claudio Sacerdoti...	Xavier code for killing a thread commented out for...	commit \| commitdiff \| tree
2006-10-02	Claudio Sacerdoti...	This commit implements the Abort button for the GUI...	commit \| commitdiff \| tree
2006-10-02	Claudio Sacerdoti...	** EXPERIMENTAL **	commit \| commitdiff \| tree
2006-09-28	Claudio Sacerdoti...	Implemented topological sorting according to the dependencies.	commit \| commitdiff \| tree
2006-09-27	Claudio Sacerdoti...	More work on the translation of technicalities/setoids.ma.	commit \| commitdiff \| tree
2006-09-27	Claudio Sacerdoti...	One less open helps understanding the code!	commit \| commitdiff \| tree
2006-09-27	Claudio Sacerdoti...	More informative error message.	commit \| commitdiff \| tree
2006-09-27	Claudio Sacerdoti...	New bug found in disambiguation of records.	commit \| commitdiff \| tree
2006-09-27	Claudio Sacerdoti...	Initial work on setoids:	commit \| commitdiff \| tree
2006-09-27	Claudio Sacerdoti...	Initial work on setoids:	commit \| commitdiff \| tree
2006-09-26	Claudio Sacerdoti...	Two tests used to have the same baseuri. Very bad.	commit \| commitdiff \| tree
2006-09-26	Claudio Sacerdoti...	The precedence level is now an optional argument of...	commit \| commitdiff \| tree
2006-09-26	Claudio Sacerdoti...	linkonly now also links matitac	commit \| commitdiff \| tree
2006-09-26	Claudio Sacerdoti...	* ocaml => components	commit \| commitdiff \| tree
2006-09-26	Claudio Sacerdoti...	discriminate => destruct	commit \| commitdiff \| tree
2006-09-26	Claudio Sacerdoti...	{discriminate,injection} => destruct	commit \| commitdiff \| tree
2006-09-25	Claudio Sacerdoti...	injection_tac and discriminate_tac now replaced by...	commit \| commitdiff \| tree
2006-09-25	Claudio Sacerdoti...	injection_tac and discriminate_tac now replaced by...	commit \| commitdiff \| tree
2006-09-25	Claudio Sacerdoti...	Several bugs fixed in discriminate.	commit \| commitdiff \| tree
2006-09-25	Claudio Sacerdoti...	Bug fixed: a number alias Num 0 now subsumes the case...	commit \| commitdiff \| tree
2006-09-22	Claudio Sacerdoti...	Bug fixed: aliases for numbers were no longer handled...	commit \| commitdiff \| tree
2006-09-20	Claudio Sacerdoti...	Injection now clears all intermediate results introduced.	commit \| commitdiff \| tree
2006-09-20	Claudio Sacerdoti...	1. bug fixed: injection now performs recursion lifting...	commit \| commitdiff \| tree
2006-09-20	Claudio Sacerdoti...	Added new target linkonly to link matita without re...	commit \| commitdiff \| tree
2006-09-15	Claudio Sacerdoti...	Yet another refinement error localized.	commit \| commitdiff \| tree
2006-09-15	Claudio Sacerdoti...	Debugging code deactivated.	commit \| commitdiff \| tree
2006-09-14	Claudio Sacerdoti...	1. Stricter controls implemented in injection.	commit \| commitdiff \| tree
2006-09-14	Claudio Sacerdoti...	Bug fixed in injection: lifting was not performed correctly...	commit \| commitdiff \| tree
2006-09-14	Claudio Sacerdoti...	1. added a test for injection	commit \| commitdiff \| tree
2006-09-14	Claudio Sacerdoti...	Bug fixed in pretty printing in new syntax of MutCases...	commit \| commitdiff \| tree
2006-09-13	Claudio Sacerdoti...	Bug fixed in injection: injection can now work on inductive...	commit \| commitdiff \| tree
2006-09-13	Claudio Sacerdoti...	problems-4 was due to trans_eq expecting an explicit...	commit \| commitdiff \| tree
2006-09-13	Claudio Sacerdoti...	1. Some warnings about unused warning fixed (hopefully...	commit \| commitdiff \| tree
2006-09-13	Claudio Sacerdoti...	Bug fixed in injection: a missing lift bugged the tactic...	commit \| commitdiff \| tree
2006-09-12	Claudio Sacerdoti...	Possible bug fixed (similar to the previous one, but...	commit \| commitdiff \| tree
2006-09-12	Claudio Sacerdoti...	Bug fixed in the guarded_by_descructors function: in...	commit \| commitdiff \| tree
2006-09-12	Claudio Sacerdoti...	Bug fixed in the guarded_by_descructors function: in...	commit \| commitdiff \| tree
2006-09-12	Claudio Sacerdoti...	Foo is the problematic elimination principle.	commit \| commitdiff \| tree
2006-09-08	Claudio Sacerdoti...	Bug fixed: "by ... we proved ... that is equivalent...	commit \| commitdiff \| tree
2006-09-08	Claudio Sacerdoti...	contentPp.ml (dead code) removed	commit \| commitdiff \| tree
2006-09-08	Claudio Sacerdoti...	Dead code (that produces an ugly rendering) removed.	commit \| commitdiff \| tree
2006-09-07	Claudio Sacerdoti...	Missing alias added.	commit \| commitdiff \| tree
2006-09-07	Claudio Sacerdoti...	Preamble is now working properly and it does not include...	commit \| commitdiff \| tree
2006-09-04	Claudio Sacerdoti...	More aliases.	commit \| commitdiff \| tree
2006-09-04	Claudio Sacerdoti...	Aliases are now wrote down even during the first pass.	commit \| commitdiff \| tree
2006-09-04	Claudio Sacerdoti...	matitac now fails if it tries to insert a new alias	commit \| commitdiff \| tree
2006-08-29	Claudio Sacerdoti...	cic/test.ml moved to binaries/utilities	commit \| commitdiff \| tree
2006-08-29	Claudio Sacerdoti...	Documentation for let-rec fixed.	commit \| commitdiff \| tree
2006-07-27	Claudio Sacerdoti...	More debugging output on stderr.	commit \| commitdiff \| tree
2006-07-27	Claudio Sacerdoti...	print_endline => prerr_endline	commit \| commitdiff \| tree
2006-07-26	Claudio Sacerdoti...	Patch to the unification to make the case (i l) vs...	commit \| commitdiff \| tree
2006-07-26	Claudio Sacerdoti...	Debug code commented out.	commit \| commitdiff \| tree
2006-07-26	Claudio Sacerdoti...	Elim now performs whd to find the inductive type.	commit \| commitdiff \| tree
2006-07-24	Claudio Sacerdoti...	Disambiguation passes simplified.	commit \| commitdiff \| tree
2006-07-20	Claudio Sacerdoti...	Revert of the previous situation: when an identifier...	commit \| commitdiff \| tree
2006-07-19	Claudio Sacerdoti...	Bug fixed in rewrite in multiple hypothesis and/or...	commit \| commitdiff \| tree
2006-07-19	Claudio Sacerdoti...	Submitted a test for inferencing of dependent types.	commit \| commitdiff \| tree
2006-07-19	Claudio Sacerdoti...	Ctr-C now cleans up (with a nice warning :-)	commit \| commitdiff \| tree
2006-07-19	Claudio Sacerdoti...	is_empty_listing fixed: the ls method normalizes away...	commit \| commitdiff \| tree
2006-07-19	Claudio Sacerdoti...	Serious bug fixed in simplify: sometimes terms wwere...	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	baseuri for group.ma fixed	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	head_beta_reduce can now optionally perform delta reduction too	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	Unification improved to handle beta-delta conversion...	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	Baseuri of applys.ma fixed.	commit \| commitdiff \| tree
next

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

RSS Atom