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