]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2008-05-16 Enrico Tassiranking reports the lest of univs
2008-05-16 Enrico Tassiadded new implementation of universes
2008-05-16 Enrico Tassiadded name_of_uri
2008-05-16 Enrico Tassimeta VS meta in alpha_eq honors substitution
2008-05-16 Enrico Tassiused ind/coind information in references
2008-05-16 Enrico Tassitypes where compared without lookig at test_eq_only
2008-05-15 Claudio Sacerdoti... Timings
2008-05-15 Enrico Tassi(Approximated) inference of relevance implemented:...
2008-05-15 Enrico TassiFirst implementation of irrelevance in conversion.
2008-05-15 Enrico TassiNew function get_relevance and new (not exported) funct...
2008-05-15 Enrico TassiNew function list_forall_default3. 3 euros to the first...
2008-05-15 Enrico TassiBug fixed in computation of heights: a constant must...
2008-05-15 Enrico TassiImplementation of calculation of heights.
2008-05-15 Enrico TassiTypo fixed.
2008-05-15 Enrico TassiMajor code semplification and bugs removed (thanks...
2008-05-15 Andrea AspertiRemoved two args from psubst.
2008-05-15 Enrico Tassiheight of constants properly handled
2008-05-14 Claudio Sacerdoti... list_iter2_default_value moved to HExtlib. 1 euro to...
2008-05-14 Claudio Sacerdoti... eat_lambdas and eat_or_subst_lambdas taken out of the...
2008-05-14 Claudio Sacerdoti... debruijn simplified. It could go in nCicUtils, but...
2008-05-14 Claudio Sacerdoti... Bug fixed: types were check for conversion in the wrong...
2008-05-14 Claudio Sacerdoti... We forgot an important check: the declared and expected...
2008-05-14 Enrico Tassipartial implementation of reduction up to a given height
2008-05-14 Enrico Tassifixed error message
2008-05-14 Claudio Sacerdoti... New checks for well-formedness of metasenvs and substs.
2008-05-14 Claudio Sacerdoti... nuri_of_ouri, ouri_of_nuri, reference_of_ouri, ouri_of_...
2008-05-14 Claudio Sacerdoti... Nicer graph.
2008-05-14 Claudio Sacerdoti... map_hash moved to HExtlib
2008-05-14 Claudio Sacerdoti... New function map_hash.
2008-05-14 Claudio Sacerdoti... Generation of dot file.
2008-05-14 Claudio Sacerdoti... New licence used uniformly everywhere.
2008-05-13 Ferruccio Guidiwe added a link to lambda-delta home page in the hope...
2008-05-13 Claudio Sacerdoti... One more bug fixed: we tried to perform List.nth on...
2008-05-13 Claudio Sacerdoti... More exceptions captured.
2008-05-13 Claudio Sacerdoti... Bug fixed in pretty-printing of free Rels.
2008-05-13 Claudio Sacerdoti... Never commit before trying to compile... stupid typo...
2008-05-13 Claudio Sacerdoti... Used old kernel exception in place of brand new one.
2008-05-13 Claudio Sacerdoti... - is_closed removed from the kernel (it used to make...
2008-05-13 Claudio Sacerdoti... Library factorized out.
2008-05-13 Enrico Tassiwrong test equality only fixed
2008-05-13 Claudio Sacerdoti... Type of conjecture and subst_entry made uniform.
2008-05-13 Enrico Tassiconvertibility was taking a metasenv but not using it
2008-05-13 Claudio Sacerdoti... Added boolean "is_inductive" to NReference.Ind
2008-05-12 Claudio Sacerdoti... trust is always false by default
2008-05-12 Claudio Sacerdoti... trust implemented, but in the nCicTypeChecker!
2008-05-12 Claudio Sacerdoti... New implementation of CicEnvironment:
2008-05-12 Enrico Tassiheight is stored in the reference, no need to fetch...
2008-05-10 Enrico Tassifixed english
2008-05-10 Enrico Tassivalid xml
2008-05-10 Enrico Tassi...
2008-05-10 Enrico Tassi...
2008-05-10 Enrico Tassireleased 0.5.0
2008-05-10 Enrico Tassi...
2008-05-10 Enrico Tassi...
2008-05-10 Enrico Tassisome files orphaned
2008-05-09 Enrico Tassi...
2008-05-09 Enrico Tassia missing prime
2008-05-09 Claudio Sacerdoti... Bug fixed: the domain of a LetRec was only made by...
2008-05-07 Claudio Sacerdoti... Update after some more bug fixing.
2008-05-07 Claudio Sacerdoti... Partially reverted bad merge by Enrico that re-introduc...
2008-05-05 Claudio Sacerdoti... More bugs fixed.
2008-05-05 Enrico Tassiget_check_fix and cofix unified, bug regarding debruijn...
2008-05-05 Enrico Tassiget_checked_indtys can take a constructor reference
2008-05-05 Enrico Tassiadded mk_cofix
2008-05-05 Enrico Tassilet corec
2008-05-05 Enrico TassiCoFix cache implemented
2008-05-05 Enrico Tassifix_left_in_constr still broken, ask enrico
2008-05-05 Enrico Tassiguarded_by_constructors implemented, some cleanup here...
2008-05-05 Enrico Tassiremoved dead code
2008-05-05 Enrico Tassi...
2008-05-03 Claudio Sacerdoti... Bug fixed in handling of explicit named substitutions...
2008-05-03 Claudio Sacerdoti... Broken XML files either fixed or removed.
2008-05-02 Wilmer RicciottiSome destruct tactics got broken after last update...
2008-05-01 Claudio Sacerdoti... More precise classification of failures.
2008-05-01 Claudio Sacerdoti... List of all URIS comprising:
2008-05-01 Claudio Sacerdoti... More options can now be set at the beginning of the...
2008-05-01 Claudio Sacerdoti... Last (???) bug about variables with bodies fixed: we...
2008-05-01 Claudio Sacerdoti... Another case where the presence of variables with bodie...
2008-05-01 Enrico Tassitagging 0.5.0-rc1
2008-05-01 Claudio Sacerdoti... Bug fixed: application without arguments generated...
2008-05-01 Claudio Sacerdoti... New bug found.
2008-04-30 Claudio Sacerdoti... Things are getting better.
2008-04-30 Claudio Sacerdoti... Implementation of guarded_by_destructor is now complete...
2008-04-30 Claudio Sacerdoti... Reducing an open term should not be an error (or should...
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 Tassiadded fake uri when the univ is anon
2008-04-30 Enrico Tassifixed wrong Rel, still to do: Fix(i,j) applied to dange...
2008-04-30 Enrico Tassiuniverses are written with the URI inside objects,...
2008-04-30 Enrico Tassixml strict!
2008-04-30 Enrico Tassimany pending modifications were there, now the website...
2008-04-30 Enrico Tassiguarded_by_destructors on steroids
2008-04-30 Enrico Tassiadded list_mapi
2008-04-29 Claudio Sacerdoti... Tests status update.
2008-04-29 Enrico Tassispeedup in fixing the graph closures
2008-04-28 Claudio Sacerdoti... Avoid (whd ~delta:true) during guarded_by_destructors...
2008-04-28 Claudio Sacerdoti... In guarded by destructors, avoid computing the (whd...
2008-04-24 Claudio Sacerdoti... Update...
2008-04-24 Claudio Sacerdoti... No more bugs on guarded_by_constructors in the old...
next