]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
New format for benches (with much more precision).
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
2005-09-19 Claudio Sacerdoti... This commit (partially) removes a big source of inefficiency...
commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... Removed final question marks from {apply|elim|rewrite}s.
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... Some code that used to avoid a fixed bug removed.
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... .ma inclusions corrected/minimized
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... Profiling code commented out.
 commit | commitdiff | tree
2005-09-19 Claudio Sacerdoti... CicUtil.profile made even more polymorphic.
 commit | commitdiff | tree
2005-09-16 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-09-16 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-09-15 Claudio Sacerdoti... Yet another implementation of the single aliases /...
commit | commitdiff | tree
2005-09-15 Claudio Sacerdoti... "bool.ma" is now always included before "logic.ma"...
commit | commitdiff | tree
2005-09-15 Claudio Sacerdoti... Yet another implementation of the single aliases /...
commit | commitdiff | tree
2005-09-15 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-09-13 Claudio Sacerdoti... Bug fixed: when several instances are tried during...
commit | commitdiff | tree
2005-09-13 Claudio Sacerdoti... Enabling/disabling profiling is now controlled by a...
commit | commitdiff | tree
2005-09-13 Claudio Sacerdoti... New policy for the disambiguation passes.
 commit | commitdiff | tree
2005-09-13 Claudio Sacerdoti... useless alias removed
 commit | commitdiff | tree
2005-09-13 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-09-13 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-09-13 Claudio Sacerdoti... Test fixed.
 commit | commitdiff | tree
2005-09-13 Claudio Sacerdoti... Two bugs fixed in the apply tactic:
 commit | commitdiff | tree
2005-09-12 Claudio Sacerdoti... cic_textual_parser2 ==> cic_disambiguation
 commit | commitdiff | tree
2005-09-12 Claudio Sacerdoti... cic_textual_parser2 ==> cic_disambiguation
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.