]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Let-ins with types can now be produced.
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
2005-09-23 Claudio Sacerdoti... save_object_to_disk profiler fixed
 commit | commitdiff | tree
2005-09-23 Claudio Sacerdoti... Profiling code removed.
 commit | commitdiff | tree
2005-09-23 Claudio Sacerdoti... several "INSERT VALUE" ==> "INSERT VALUES" (more efficient)
 commit | commitdiff | tree
2005-09-23 Claudio Sacerdoti... Profiling code removed.
 commit | commitdiff | tree
2005-09-23 Claudio Sacerdoti... Dead code removed again!!!
 commit | commitdiff | tree
2005-09-23 Claudio Sacerdoti... The disambiguation now returns the aliases diff. It...
commit | commitdiff | tree
2005-09-23 Claudio Sacerdoti... The disambiguation now returns the aliases diff. It...
commit | commitdiff | tree
2005-09-23 Claudio Sacerdoti... The new_aliases argument of the functions alias_diff...
commit | commitdiff | tree
2005-09-23 Claudio Sacerdoti... Environment replaced by lists of domain and codomain...
commit | commitdiff | tree
2005-09-22 Claudio Sacerdoti... More notation here and there.
 commit | commitdiff | tree
2005-09-22 Claudio Sacerdoti... More notation here and there: \sup, \divides, \ndivides, !
 commit | commitdiff | tree
2005-09-22 Claudio Sacerdoti... * Added divides and ndivides
 commit | commitdiff | tree
2005-09-22 Claudio Sacerdoti... '!' is no longer a decorator (to allow a reasonable...
commit | commitdiff | tree
2005-09-22 Claudio Sacerdoti... More notation here and there.
 commit | commitdiff | tree
2005-09-22 Claudio Sacerdoti... Profiling messages grepped out.
 commit | commitdiff | tree
2005-09-22 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-09-22 Claudio Sacerdoti... Dead code removed
 commit | commitdiff | tree
2005-09-21 Claudio Sacerdoti... More profiling code.
 commit | commitdiff | tree
2005-09-21 Claudio Sacerdoti... This commit removes the slowest identity function ever...
commit | commitdiff | tree
2005-09-21 Claudio Sacerdoti... We do not longer generate inner-types and inner-sorts...
commit | commitdiff | tree
2005-09-21 Claudio Sacerdoti... We do not longer generate inner-types and inner-sorts...
commit | commitdiff | tree
2005-09-21 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-09-21 Claudio Sacerdoti... All the debug_print are now lazy.
 commit | commitdiff | tree
2005-09-21 Claudio Sacerdoti... More debug_print made lazy.
 commit | commitdiff | tree
2005-09-21 Claudio Sacerdoti... 1. profiling code added
 commit | commitdiff | tree
2005-09-20 Claudio Sacerdoti... Profiling did not profile functions that raise an exception!
 commit | commitdiff | tree
2005-09-20 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-09-20 Claudio Sacerdoti... More profiling code added.
 commit | commitdiff | tree
2005-09-20 Claudio Sacerdoti... More profiling code inserted.
 commit | commitdiff | tree
2005-09-20 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... * Obsolete debugging comments removed
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... Notation for "ex" introduced. It is the same as the...
commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... More profiling code.
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... Great speed-up in alias_diff (about 3x).
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... A bit of profiling functions added here and there.
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... Spurious interpretation removed.
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... Profiling disabled.
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... ...
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.