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

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

2005-11-21	Claudio Sacerdoti...	New proof based on an hand-made functional induction.	commit \| commitdiff \| tree
2005-11-21	Claudio Sacerdoti...	Useful lemma added.	commit \| commitdiff \| tree
2005-11-21	Claudio Sacerdoti...	Invariant no longer true (since when?)	commit \| commitdiff \| tree
2005-11-21	Claudio Sacerdoti...	More informative error messages.	commit \| commitdiff \| tree
2005-11-19	Claudio Sacerdoti...	"let rec f = ... in f l" used to be compiled incorrectly	commit \| commitdiff \| tree
2005-11-19	Claudio Sacerdoti...	Error messages improvement.	commit \| commitdiff \| tree
2005-11-19	Claudio Sacerdoti...	Less verbose error messages (= substitution applied...	commit \| commitdiff \| tree
2005-11-19	Claudio Sacerdoti...	Wrong reported error message fixed.	commit \| commitdiff \| tree
2005-11-19	Claudio Sacerdoti...	More information is now printed when reporting errors.	commit \| commitdiff \| tree
2005-11-19	Claudio Sacerdoti...	Typo fixed.	commit \| commitdiff \| tree
2005-11-19	Claudio Sacerdoti...	Disambiguation errors are no longer thrown away. They...	commit \| commitdiff \| tree
2005-11-19	Claudio Sacerdoti...	Coercions are now inserted also around the sources...	commit \| commitdiff \| tree
2005-11-18	Claudio Sacerdoti...	Incredible bug fixed: coercions were computed and then...	commit \| commitdiff \| tree
2005-11-18	Claudio Sacerdoti...	Improvement/bug fix: rewriting in the hypothesis used...	commit \| commitdiff \| tree
2005-11-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-11-17	Claudio Sacerdoti...	New test for parallel rewriting in the hypotheses and...	commit \| commitdiff \| tree
2005-11-17	Claudio Sacerdoti...	Comments changed/removed.	commit \| commitdiff \| tree
2005-11-17	Claudio Sacerdoti...	"Parallel" rewriting in a list of hypothesis and in...	commit \| commitdiff \| tree
2005-11-17	Claudio Sacerdoti...	Major code semplification and improvement:	commit \| commitdiff \| tree
2005-11-17	Claudio Sacerdoti...	First draft implementation of rewriting in an hypothesis.	commit \| commitdiff \| tree
2005-11-17	Claudio Sacerdoti...	New tactic rename (for now for internal usage only).	commit \| commitdiff \| tree
2005-11-17	Claudio Sacerdoti...	Inizio stesura parte su "libreria tutta visibile".	commit \| commitdiff \| tree
2005-11-17	Claudio Sacerdoti...	tests and tests.opt targets greately simplified	commit \| commitdiff \| tree
2005-11-16	Claudio Sacerdoti...	dump_moo.opt	commit \| commitdiff \| tree
2005-11-16	Claudio Sacerdoti...	do_test.sh no longer prints the compiler options (used...	commit \| commitdiff \| tree
2005-11-16	Claudio Sacerdoti...	New framework for regression of bad tests.	commit \| commitdiff \| tree
2005-11-16	Claudio Sacerdoti...	The .depend must not be committed! Fixed.	commit \| commitdiff \| tree
2005-11-15	Claudio Sacerdoti...	1. handling of tests and tests.opt targets improved	commit \| commitdiff \| tree
2005-11-15	Claudio Sacerdoti...	New directory for bad tests with checks on the error...	commit \| commitdiff \| tree
2005-11-15	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-11-15	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2005-11-15	Claudio Sacerdoti...	Bug fixed: wrong exception was raised (instead of returning...	commit \| commitdiff \| tree
2005-11-08	Claudio Sacerdoti...	Yet another semantics for simplify.	commit \| commitdiff \| tree
2005-11-08	Claudio Sacerdoti...	Yet another semantics for simplify.	commit \| commitdiff \| tree
2005-11-08	Claudio Sacerdoti...	CicTypeChecker.AssertFailure now printed.	commit \| commitdiff \| tree
2005-11-08	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree
2005-11-08	Claudio Sacerdoti...	New syntax for the outtype of a match.	commit \| commitdiff \| tree
2005-11-07	Claudio Sacerdoti...	Refinement of a Cast was bugged.	commit \| commitdiff \| tree
2005-11-07	Claudio Sacerdoti...	AssertFailure from the type-checker now becomes an...	commit \| commitdiff \| tree
2005-11-07	Claudio Sacerdoti...	Let-ins with types can now be produced.	commit \| commitdiff \| tree
2005-11-07	Claudio Sacerdoti...	Avoid generation of let x = let rec x = ... in x in...	commit \| commitdiff \| tree
2005-11-07	Claudio Sacerdoti...	Let-ins with types can be produced.	commit \| commitdiff \| tree
2005-11-07	Claudio Sacerdoti...	Syntactic change:	commit \| commitdiff \| tree
2005-11-07	Claudio Sacerdoti...	Syntactic change:	commit \| commitdiff \| tree
2005-11-07	Claudio Sacerdoti...	Duplicated exception definition removed (used to give...	commit \| commitdiff \| tree
2005-11-04	Claudio Sacerdoti...	matita.opt are now considered as if they were matita	commit \| commitdiff \| tree
2005-11-03	Claudio Sacerdoti...	Semantic change: I always consider a type with no constructo...	commit \| commitdiff \| tree
2005-11-03	Claudio Sacerdoti...	Semantic change: elimination of a term whose type is...	commit \| commitdiff \| tree
2005-11-03	Claudio Sacerdoti...	1. a simplified version of check_allowed_sort_elimination...	commit \| commitdiff \| tree
2005-11-03	Claudio Sacerdoti...	More exceptions pretty printed.	commit \| commitdiff \| tree
2005-11-03	Claudio Sacerdoti...	Major code semplification in check_allowed_sort_elimination...	commit \| commitdiff \| tree
2005-11-02	Claudio Sacerdoti...	Unfinished proof commented out.	commit \| commitdiff \| tree
2005-11-02	Claudio Sacerdoti...	Proof of unicity of proofs for:	commit \| commitdiff \| tree
2005-11-02	Claudio Sacerdoti...	Maybe this time we will be lucky.	commit \| commitdiff \| tree
2005-10-31	Claudio Sacerdoti...	Bugs fixed.	commit \| commitdiff \| tree
2005-10-29	Claudio Sacerdoti...	Bug fixed: the wrong mark was chosen for yesterday.	commit \| commitdiff \| tree
2005-10-28	Claudio Sacerdoti...	Ported to multiple marks in the same day: today newest...	commit \| commitdiff \| tree
2005-10-28	Claudio Sacerdoti...	New "global performances" bench (for native code).	commit \| commitdiff \| tree
2005-10-28	Claudio Sacerdoti...	1. syntax error fixed	commit \| commitdiff \| tree
2005-10-28	Claudio Sacerdoti...	sql query fixed	commit \| commitdiff \| tree
2005-10-28	Claudio Sacerdoti...	Better detection of spurious status lines.	commit \| commitdiff \| tree
2005-10-28	Claudio Sacerdoti...	Mark fixed.	commit \| commitdiff \| tree
2005-10-28	Claudio Sacerdoti...	New format for benches (with much more precision).	commit \| commitdiff \| tree
2005-10-27	Claudio Sacerdoti...	1. Parameter enable (default true) added to HExtlib...	commit \| commitdiff \| tree
2005-10-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-10-26	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	Parentheses must now be put in patterns like in tactic...	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	Semantic change: applying a tactic to the empty goal...	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	Syntax change:	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	ProofEngineTypes.Fail printed correctly.	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	Debugging code turned off.	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	dump_moo added	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	* More profiling code	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	Every exception that used to have type string is now...	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	~subst fixed everywhere in the type-checker:	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	t renamed to t' since t was already defined in the...	commit \| commitdiff \| tree
2005-10-25	Claudio Sacerdoti...	Bug fixed: the current substitution and metasenv were...	commit \| commitdiff \| tree
2005-10-09	Claudio Sacerdoti...	More informative exceptions raised.	commit \| commitdiff \| tree
2005-10-06	Claudio Sacerdoti...	NODB implemented	commit \| commitdiff \| tree
2005-10-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-29	Claudio Sacerdoti...	Further speed-up in the disambiguation algorithm.	commit \| commitdiff \| tree
2005-09-29	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	coq.moo is now automatically generated. New targets:	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	coq.moo is now automatically generated	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	Coq's existential fixed.	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	matitatop.opt should not be generated	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	Unification enhanchement.	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	Unification enhanchement:	commit \| commitdiff \| tree
2005-09-26	Claudio Sacerdoti...	Inclusion path fixed.	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	New module HMysql (to abstract over Mysql and make...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	New module HMysql (to abstract over Mysql and make...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	More profiling code.	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	CicUtil.profile ==> HExtlib.profile	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	CicUtil.profile ==> HExtlib.profile	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	Less feedback during removal of objects.	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-09-23	Claudio Sacerdoti...	Too many OPTIMIZE TABLES (because of a very stupid...	commit \| commitdiff \| tree
next

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

RSS Atom