]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_kernel
stupid error fixed
[helm.git] / helm / software / components / ng_kernel /
2008-04-30 Claudio Sacerdoti... stupid error fixed
2008-04-30 Claudio Sacerdoti... fixed_args fixed to accept passing a partially applied...
2008-04-30 Enrico Tassiadded check on all bodies, only the one we actually...
2008-04-30 Enrico Tassifixed wrong Rel, still to do: Fix(i,j) applied to dange...
2008-04-30 Enrico Tassiguarded_by_destructors on steroids
2008-04-29 Claudio Sacerdoti... Tests status update.
2008-04-28 Claudio Sacerdoti... Avoid (whd ~delta:true) during guarded_by_destructors...
2008-04-24 Claudio Sacerdoti... Update...
2008-04-24 Claudio Sacerdoti... No more bugs on guarded_by_constructors in the old...
2008-04-24 Claudio Sacerdoti... When going under a binder, a term must be converted...
2008-04-24 Claudio Sacerdoti... Working and broken URIs.
2008-04-23 Enrico Tassiported the instantiate-left-params-to-calculate-rec...
2008-04-22 Enrico Tassimore strict check by CSC, I miss it
2008-04-22 Enrico Tassifix cache comparison relaxed to URI and not REFERENCE
2008-04-22 Enrico Tassiadded a call to ppcontext in the case of appl, to ease...
2008-04-22 Enrico Tassiadded ppcontext
2008-04-19 Enrico Tassibetter error message
2008-04-19 Enrico Tassi...
2008-04-19 Enrico Tassiimpredicative set work around
2008-04-19 Enrico Tassiimpredicative set work around
2008-04-19 Enrico Tassiassociativity of -> fixed
2008-04-19 Claudio Sacerdoti... Added to flags to activate/disactivate pretty-printing...
2008-04-19 Claudio Sacerdoti... Uris must be stripped of their xpointers.
2008-04-18 Enrico Tassiworkaround for Pi associativity
2008-04-18 Enrico Tassiworkaround for some Set/Type problems
2008-04-18 Enrico Tassigraph generation phase fixed
2008-04-18 Enrico TassiAppl case in is_really_smaller fixed as in the old...
2008-04-17 Enrico Tassiis_really_smaller in sync with old kernel, impossible...
2008-04-15 Enrico Tassiget_checked_fix -> get_checked_fixes
2008-04-15 Enrico Tassiadded comment
2008-04-15 Enrico Tassido not use an implicit but a sort as a neutral term...
2008-04-14 Enrico Tassiobjects are typechecked to ensure there is a graph...
2008-04-14 Enrico Tassileftno should be increased of the expnamedsubst, but...
2008-04-14 Enrico Tassibetter error message
2008-04-14 Enrico Tassisame_obj made more precise, fixed the order of the...
2008-04-14 Enrico Tassificed fixpoint cache usage for mutual fix
2008-04-14 Enrico Tassifixed positivity conditions
2008-04-14 Enrico Tassiadded mk_fix i j r that given an r of a fix generated...
2008-04-11 Enrico Tassiquinck and untested implementation of positivity condit...
2008-04-11 Enrico Tassi...
2008-04-11 Enrico Tassiload the graph of objects that depend on the ones reque...
2008-04-11 Enrico Tassiuse universe rank instead of Type0
2008-04-11 Enrico TassiType related failures fixed
2008-04-11 Enrico Tassibetter pp of objects
2008-04-11 Enrico Tassiremoved useless file
2008-04-11 Enrico Tassicontext of types built in the reverse order
2008-04-11 Enrico Tassiimplemented inductive and less parentheses
2008-04-10 Claudio Sacerdoti... The cache of objects is now used also for cofixpoints.
2008-04-10 Claudio Sacerdoti... New: cache of translated fixpoints (to avoid the genera...
2008-04-09 Claudio Sacerdoti... Bug fixed: references to CoFix are CoFix, not Fix.
2008-04-09 Enrico Tassiprint unnamed variables as __n
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 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... 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-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 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
next