]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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...
2008-04-24 Claudio Sacerdoti... When going under a binder, a term must be converted...
2008-04-24 Wilmer RicciottiProof of adequacy.
2008-04-24 Enrico Tassiguarded_by_constructor completely rewritten, fixed...
2008-04-24 Enrico Tassiadded coinductive example
2008-04-24 Claudio Sacerdoti... Working and broken URIs.
2008-04-23 Enrico Tassiported the instantiate-left-params-to-calculate-rec...
2008-04-23 Claudio Sacerdoti... Avoid other comparisons on universes using =.
2008-04-23 Claudio Sacerdoti... Avoid code duplication.
2008-04-23 Claudio Sacerdoti... Do NOT dare using Pervasives.compare on data structures...
2008-04-22 Enrico Tassioblivion ugraph everywhere outside the kernel
2008-04-22 Enrico Tassislow_implementation and some dead code removed
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-22 Claudio Sacerdoti... Types for LetIns computed during parsing for Coq object...
2008-04-21 Claudio Sacerdoti... defn2.ma is to be used with part1a_inversion3
2008-04-21 Enrico Tassifix universe handling, newly encountered objects are...
2008-04-20 Claudio Sacerdoti... Alternative prove using just one induction/inversion...
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 Enrico Tassiancient graph regarding universes and trust=false,...
2008-04-19 Enrico Tassiextlib list_uniq instead of local copy
2008-04-19 Enrico Tassiranking function fixed: when graphs are collapsed one...
2008-04-19 Enrico Tassiadded flag to change Set into Type on the fly, that...
2008-04-19 Claudio Sacerdoti... oblivion_ugraph => empty_ugraph
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 Claudio Sacerdoti... Dead code removed.
2008-04-18 Claudio Sacerdoti... Inversion lemma for Forall.
2008-04-18 Enrico Tassiworkaround for Pi associativity
2008-04-18 Enrico Tassiworkaround for some Set/Type problems
2008-04-18 Enrico TassicicEnvironment refactoring with sound view of Coq`s...
2008-04-18 Enrico Tassiassertion was wrong, an object can contain a named...
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 Tassiexample:
2008-04-17 Enrico Tassiadded a missing whd
next