]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2009-11-17 Wilmer Ricciottindestruct tactic: mainly bugfixes; the algorithm isn...
2009-11-17 Andrea AspertiClosing the goal.
2009-11-16 Wilmer RicciottiImplementation of ndestruct tactic (including destructi...
2009-11-13 Andrea AspertiExported apply_subst_context
2009-11-13 Andrea AspertiAdded the new auto version (not attached yet).
2009-11-12 Ferruccio Guidisome interfaces improved
2009-11-12 Claudio Sacerdoti... Code made more uniform.
2009-11-10 Andrea AspertiUnion find slightly more general (f can now point to...
2009-11-05 Andrea AspertiA case was missing
2009-11-05 Ferruccio Guidibrg: change in the representation of binders
2009-11-05 Andrea AspertiNaif version of the union find
2009-11-04 Claudio Sacerdoti... Bug fixed: restrict used to take the list of positions...
2009-11-04 Claudio Sacerdoti... 1) sort computation undone (it used to be bugged anyway)
2009-11-03 Ferruccio Guidibasic_rg: reduction was not tail recursive by mistake
2009-10-30 Claudio Sacerdoti... Code simplified.
2009-10-30 Claudio Sacerdoti... Useless old code for ad-hoc management of out-scope...
2009-10-30 Claudio Sacerdoti... New style debugging/profiling for NCicMetaSubst.
2009-10-30 Claudio Sacerdoti... Sometimes it is useful to be able to print the subst...
2009-10-30 Enrico Tassiauto snapshot
2009-10-29 Ferruccio Guidi- dual_rg: renamed to complete_rg [as suggested in...
2009-10-29 Ferruccio Guidirefactoring ...
2009-10-29 Ferruccio Guidinew xml exportation procedure for basic_rg (10 times...
2009-10-29 Claudio Sacerdoti... Better error message.
2009-10-29 Claudio Sacerdoti... For some obscure reason, more universes are now needed...
2009-10-29 Claudio Sacerdoti... instantiate/sortfy/kindfy etc. reimplemented with less...
2009-10-29 Claudio Sacerdoti... New function.
2009-10-29 Claudio Sacerdoti... Let's use already existent functions.
2009-10-28 Ferruccio Guidi- lambda-delta: some fixes: now the grundlagen type...
2009-10-28 Claudio Sacerdoti... Works again
2009-10-28 Claudio Sacerdoti... Ad-hoc management of ? vs out_scope in instantiate...
2009-10-28 Claudio Sacerdoti... Bug fixed: the `IsTerm attribute is now added by mk_met...
2009-10-28 Claudio Sacerdoti... 1) new-style debugging/profiling code for old reduction
2009-10-28 Claudio Sacerdoti... Commented out code to optimize the case t1 vs t2 when...
2009-10-28 Claudio Sacerdoti... One-shot aliases were no longer generated because of...
2009-10-28 Claudio Sacerdoti... Different aliases, better equality inferred.
2009-10-28 Claudio Sacerdoti... instances
2009-10-28 Claudio Sacerdoti... instance fixed
2009-10-28 Enrico Tassibetter indentation
2009-10-28 Enrico Tassibetter indentation
2009-10-28 Enrico Tassibetter comments and indentation
2009-10-28 Enrico Tassiuse prop_only to filter instead of repeting the same...
2009-10-28 Enrico Tassibetter logging
2009-10-28 Enrico Tassibetter logging and immediate pruning of new goals when
2009-10-28 Enrico Tassiauto navigates a real tree, not a flattened one
2009-10-28 Enrico Tassilabels in group_by_tac
2009-10-28 Enrico Tassinew data structures for auto
2009-10-28 Enrico Tassido not put " around node name, otherwise names like...
2009-10-28 Enrico Tassiexport group_by_tac
2009-10-28 Ferruccio Guididrg->brg translation contibued (still bugged though)
2009-10-26 Claudio Sacerdoti... qed => nqed.
2009-10-26 Claudio Sacerdoti... Now the time required to eval a command is printed.
2009-10-23 Enrico Tassiadded code to print the tree
2009-10-23 Enrico TassiCSC proof made by paramod
2009-10-23 Enrico Tassimore functions
2009-10-23 Claudio Sacerdoti... Alias required now ??
2009-10-22 Enrico Tassinew instantiate, only known bug is w.r.t. in/out scope...
2009-10-22 Enrico Tassithe trie indexes terms up to 10 nested applications...
2009-10-22 Enrico Tassimore auto
2009-10-21 Claudio Sacerdoti... Non general recursion implemented via recursion over...
2009-10-21 Enrico Tassifirst bits for the zipper
2009-10-21 Enrico Tassi...
2009-10-21 Enrico Tassi...
2009-10-21 Enrico Tassimore printings
2009-10-21 Enrico Tassiauto is smarter :-)
2009-10-21 Enrico Tassinauto:
2009-10-21 Enrico Tassi...
2009-10-21 Enrico Tassifixed pictures
2009-10-21 Enrico Tassipreserve sharing if map_term_fold_a
2009-10-21 Enrico Tassiadd XXX where I found a catch all statement
2009-10-21 Enrico Tassinew sharing-preserving map with accumulator
2009-10-21 Enrico Tassiapply the subst to the metasenv and to p
2009-10-20 Claudio Sacerdoti... - Bug fixed: some assert failure were just failures...
2009-10-20 Wilmer Ricciotti...
2009-10-19 Claudio Sacerdoti... Smarter implementation of instantiate to avoid re-check...
2009-10-18 Enrico Tassi...
2009-10-17 Enrico Tassibatch pdf generation
2009-10-17 Enrico Tassi...
2009-10-17 Enrico Tassisome more work
2009-10-16 Enrico Tassi...
2009-10-16 Enrico Tassi...
2009-10-16 Enrico Tassidebug idem for auto added
2009-10-16 Enrico Tassinew lambda instros and better logging
2009-10-16 Enrico Tassibetter indexing for auto
2009-10-16 Enrico Tassisome work for auto
2009-10-16 Enrico Tassisome work for auto
2009-10-16 Enrico Tassiremoved optimization potentially unsound
2009-10-16 Enrico Tassi...
2009-10-15 Claudio Sacerdoti... Profiling code integrated.
2009-10-15 Cosimo Oliboni freescale porting, work in progress
2009-10-14 Claudio Sacerdoti... Debugging improved.
2009-10-14 Claudio Sacerdoti... Benchmarking integrated in folding/unfolding.
2009-10-14 Cosimo Oliboni freescale porting, work in progress
2009-10-14 Enrico Tassicantor...
2009-10-14 Enrico Tassi...
2009-10-14 Enrico Tassihints were not used by reduction machines on heads
2009-10-14 Enrico Tassi...
2009-10-14 Enrico Tassincheck is not erased
2009-10-14 Enrico Tassi...
2009-10-14 Enrico Tassi...
2009-10-14 Enrico Tassi...
next