]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2008-04-09 Enrico Tassipp with parenthesis only when necessary and with some...
2008-04-09 Claudio Sacerdoti... ...
2008-04-09 Claudio Sacerdoti... Fixed serious bug that occurred only in the following...
2008-04-09 Enrico Tassibetter pp in Appl
2008-04-09 Enrico Tassibetter pp
2008-04-09 Enrico Tassipretty printer on steroids
2008-04-09 Claudio Sacerdoti... Added some "\n" here and there to the pretty-printing...
2008-04-09 Claudio Sacerdoti... Grave bug fixed: Ce that point to definitions were...
2008-04-09 Enrico Tassiadded profiling on/off
2008-04-09 Enrico Tassiinvalidate fixed
2008-04-09 Enrico Tassiallow to switch profiling on and off on the fly
2008-04-09 Enrico Tassiremoved two useless calls to the environment, one still...
2008-04-09 Enrico Tassi...
2008-04-08 Claudio Sacerdoti... Variables are no longer experted (cooking is now implem...
2008-04-08 Claudio Sacerdoti... Swapped arguments in error message.
2008-04-08 Claudio Sacerdoti... Variables having a body can occur in cooked terms and...
2008-04-08 Claudio Sacerdoti... Fix over the previous one: Var-LetIn abstractions shoul...
2008-04-08 Claudio Sacerdoti... Error message improved.
2008-04-08 Claudio Sacerdoti... Cooking w.r.t. variables with bodies is now implemented...
2008-04-08 Claudio Sacerdoti... Fix name capture in cofix.
2008-04-08 Claudio Sacerdoti... To test the translation.
2008-04-08 Claudio Sacerdoti... Name capture fixed.
2008-04-08 Claudio Sacerdoti... Improved error messages in place of "sort elimination...
2008-04-08 Claudio Sacerdoti... Seed reset before each convert_obj.
2008-04-08 Claudio Sacerdoti... Use seed to avoid further name clashes.
2008-04-08 Claudio Sacerdoti... ...
2008-04-08 Claudio Sacerdoti... Incredible, but true! Our name mangling clashed with...
2008-04-08 Claudio Sacerdoti... Cooked objects are no longer well typed in the uncooked...
2008-04-08 Claudio Sacerdoti... Improved eat_prods error message (at the cost of passin...
2008-04-08 Claudio Sacerdoti... The old kernel does not accept ens whose order is diffe...
2008-04-08 Claudio Sacerdoti... Bad alpha-conversion by Enrico fixed.
2008-04-08 Claudio Sacerdoti... Bug fixed: the ens need not be ordered w.r.t. the decla...
2008-04-08 Claudio Sacerdoti... j off by one in error message
2008-04-08 Claudio Sacerdoti... fix_outty partially fixed: missing lifts in args and ens
2008-04-08 Claudio Sacerdoti... fix_outty fixed in order to perform eta-expansion when...
2008-04-08 Enrico Tassiadded simplify to avoid ugly proofterm
2008-04-07 Claudio Sacerdoti... Tentative (and bad!) fix of outtypes in non-dependent...
2008-04-07 Claudio Sacerdoti... Cooking discriminated into cooking in types (using...
2008-04-07 Claudio Sacerdoti... Pretty-printing of definitions fixed.
2008-04-07 Claudio Sacerdoti... Cooking implemented (not tested yet).
2008-04-07 Claudio Sacerdoti... Reports improved.
2008-04-07 Claudio Sacerdoti... Debugging code fixed.
2008-04-07 Enrico Tassiadded invalidate to clear the cache and ease the compar...
2008-04-07 Enrico Tassicommented out uris of objs that do not compile properly
2008-04-07 Enrico Tassiadded comparison with old kernel
2008-04-07 Enrico Tassifixed error message for eat prods
2008-04-07 Enrico Tassiinvalidate
2008-04-07 Enrico Tassiuris relative to axioms are translated in the right way
2008-04-07 Enrico Tassiadded invalidate
2008-04-07 Enrico Tassiadded preliminary checks for indtys
2008-04-07 Enrico Tassicall get_obj instead of get_cooked_obj ~trust:false
2008-04-07 Enrico Tassiadded case of const and axiom
2008-04-07 Enrico Tassiadded # to comment
2008-04-07 Enrico Tassibetter printings
2008-04-07 Enrico Tassithe explicit type in a LetIn must be typecheckd before...
2008-04-07 Enrico Tassiopt compilation enabled, removed some pps, check has...
2008-04-07 Enrico Tassilefts_ad_tys properly sorted, added some metasenv here...
2008-04-07 Enrico Tassilefts_and_tys was tys@lefts, CSC claims it was working...
2008-04-07 Enrico Tassiadded a list of uris to ease debugging
2008-04-07 Enrico Tassiprint the excpetion and raise it again, seems to produc...
2008-04-07 Enrico Tassinew constants have depth = max_int insted of 0 so that...
2008-04-07 Enrico Tassioff by one in calling count_from
2008-04-07 Enrico Tassifixed bug in translating Fix, recno was not properly...
2008-04-07 Enrico Tassiadded a pretty printing of the new object and use argv...
2008-04-07 Enrico Tassicontext, metasenv and subst made mandatory in CicPp
2008-04-07 Enrico Tassiguarded by has a nice error message
2008-04-07 Enrico Tassireference type made private, added mk_constructor to...
2008-04-04 Enrico Tassisome debug printings
2008-04-04 Enrico Tassiadded to the cache a boolean to state if the object is
2008-04-04 Enrico Tassifix
2008-04-04 Enrico Tassitoday it seems that the substituted should be lifted...
2008-04-04 Enrico Tassiadded ppobj
2008-04-04 Enrico Tassitype_of_constant was retunrning the type of the wrong...
2008-04-04 Enrico Tassifixed list.nth and added some paretheses
2008-04-04 Enrico Tassiadded some printings and catched more exceptions
2008-04-04 Enrico Tassiremoved useless printing
2008-04-04 Enrico Tassiiterator map was mapping Lambdas to Prods!!!
2008-04-04 Enrico Tassidebugging started
2008-04-04 Enrico Tassitype of constant ported
2008-04-04 Enrico Tassiadded add_obj to store objects in the environment,...
2008-04-04 Enrico Tassilogger added
2008-04-04 Enrico Tassiadded get_obj in nCicEnvironment that returns an object...
2008-04-04 Enrico Tassiindentation fixed
2008-04-04 Enrico Tassireturns_a_counductive implemented
2008-04-04 Enrico Tassitype_of_branch ported and optimized to not lift the...
2008-04-04 Enrico Tassiis_really_smaller ported, still to understand the case...
2008-04-03 Enrico Tassidebujin implemented with the map recursor
2008-04-03 Enrico Tassibug found rewriting the kernel backported: n instead...
2008-04-03 Enrico Tassinon debruijned constructor may be useless elswere,...
2008-04-03 Enrico Tassiguarded_by_destructor ported, many auxiliary functions...
2008-04-03 Enrico Tassiremoved FSF banner
2008-04-03 Enrico Tassiadded ugly test showing many many bugs in the current...
2008-04-02 Enrico Tassiadded slim version of does_not_occur
2008-04-02 Enrico Tassiadded translation of Set to Type0 (avoid warning)
2008-04-02 Enrico Tassifixes backported from the new kernel
2008-04-02 Enrico Tassiremoved dummy rewrite
2008-04-02 Enrico Tassiremoved dummy rewrite
2008-04-02 Enrico Tassiremoved dummy rewrites
2008-04-02 Enrico Tassifixed according to the new rewrite semantics (fails...
2008-04-02 Enrico Tassifixed depends after the removal of Fsub
next