]> matita.cs.unibo.it Git - helm.git/history - helm/software/components
Debugging code removed
[helm.git] / helm / software / components /
2008-12-05 Claudio Sacerdoti... Debugging code removed
2008-12-05 Claudio Sacerdoti... Debugging instructions removed.
2008-12-05 Claudio Sacerdoti... Useless code removed.
2008-12-05 Claudio Sacerdoti... Useless code removed.
2008-12-05 Claudio Sacerdoti... Useless code removed.
2008-12-05 Enrico Tassia few missing ~subst added to whd
2008-12-05 Enrico Tassicoercions are there, but not heavily tested
2008-12-05 Enrico Tassiif todo_dom was [] disambiguation was performed twice
2008-12-05 Enrico Tassistill commented, but benchmarks the new/old disambiguti...
2008-12-05 Enrico Tassidisambiguation takes ~mk_localization_tbl and not ...
2008-12-05 Enrico Tassiraise failure instead of uncertain if two terms are...
2008-12-04 Enrico TassiFixes:
2008-12-04 Enrico Tassihousekeeping:
2008-12-04 Enrico TassiBug fixed: pretty-printing of aliases when the OK butto...
2008-12-03 Claudio Sacerdoti... The aliases and multi_aliases in the lexicon status...
2008-12-01 Claudio Sacerdoti... rt.op and check.opt removed from Makefile
2008-11-30 Ferruccio Guidilambda-delta/toplevel: improved transformation from...
2008-11-28 Ferruccio GuidicicDischarge: final fixup. Now correctly processes...
2008-11-28 Ferruccio Guiding_disambiguation ng_kernel ng_refiner disambiguation...
2008-11-28 Enrico Tassiit works!
2008-11-28 Enrico Tassinew disambiguator almost attached
2008-11-28 Enrico Tassi\forall x:?. and \forall x. both generate a meta for...
2008-11-28 Enrico Tassimetas for terms have height 3
2008-11-27 Claudio Sacerdoti... ...
2008-11-27 Claudio Sacerdoti... ...
2008-11-27 Claudio Sacerdoti... ...
2008-11-27 Enrico TassiNew modules stack:
2008-11-27 Enrico Tassicic_disambiguation splitted into disambiguation and...
2008-11-27 Enrico Tassidisambiguate.ml splitted into disambiguate.ml and cicDi...
2008-11-27 Enrico Tassi1. grafiteDisambiguator => multiPassDisambiguator
2008-11-27 Enrico Tassinew kernel is compiled since the META of grafite_parser...
2008-11-27 Enrico Tassi...
2008-11-27 Enrico Tassinotation now digests Cic.Cast, not sure the precedence...
2008-11-27 Enrico Tassidisambiguation should not fail if the new refiner fails
2008-11-26 Enrico Tassi...
2008-11-26 Enrico TassiRe-added exception, just for now (debugging).
2008-11-26 Enrico Tassialmost done
2008-11-26 Enrico Tassidisambiguation even more abstracted
2008-11-25 Ferruccio GuidicicUtil: we moved here pp_term from proceduralHelpers
2008-11-21 Enrico Tassi...
2008-11-21 Enrico Tassione more lazy/loc
2008-11-21 Enrico Tassiaccording to camlp5 sources, the dummy loc should be...
2008-11-21 Enrico Tassiloc * lazy string -> (loc * string) lazy
2008-11-21 Enrico Tassidisambiguation now returns and takes in input the subst...
2008-11-16 Enrico Tassiremoved some printings
2008-11-16 Enrico Tassiremoved some printings
2008-11-15 Enrico Tassimissing subst added, now apply rule is probably enough...
2008-11-15 Enrico Tassidisambiguation can use a goal as hint for the expected...
2008-11-14 Enrico Tassi...
2008-11-12 Enrico Tassidisambiguation for ng terms almost there
2008-11-12 Enrico Tassisome new exports
2008-11-12 Enrico Tassinew meta added for ng_disambiguation
2008-11-12 Enrico Tassiexported disambiguate_thing
2008-11-12 Enrico Tassioccurr check fixed
2008-11-12 Enrico Tassimore printings
2008-11-07 Andrea Aspertidebug=false
2008-11-07 Andrea AspertiSignature_of has been closed with respect to constructors.
2008-11-07 Andrea AspertiThe signature in "retrieve equations" must be extended...
2008-11-06 Enrico Tassido not erase sorts
2008-11-06 Enrico Tassibetter error messages. sorts are compared using whd
2008-11-06 Enrico TassiEvil case fixed, the coulde should be more readable
2008-11-06 Enrico Tassiremoved empty lines
2008-11-06 Enrico Tassithe passive set and passive list are expected to have...
2008-11-05 Enrico Tassinew internal flags for auto:
2008-11-05 Enrico Tassiduplicate entry in menv avoided
2008-11-04 Andrea AspertiCalling unification instead of matching when checking...
2008-11-03 Enrico Tassiremoved prerr_endline
2008-11-03 Enrico Tassidebug=false
2008-11-01 Enrico Tassiadded lazy
2008-10-29 Andrea AspertiPropagation of changes in paramodulation.
2008-10-29 Andrea AspertiExported a couple of functions.
2008-10-29 Andrea AspertiAdded a in_universe function
2008-10-29 Andrea Aspertipropagation of changes in other paramodulation files.
2008-10-29 Andrea AspertiNew demod function working for arbitary goals.
2008-10-29 Andrea AspertiEnforcing the disjoint invariant between metasenvs.
2008-10-29 Andrea AspertiMain change: added a parameter to build_equality_proof...
2008-10-27 Enrico Tassimany bugs fixed
2008-10-27 Enrico Tassimetasenv passed to get_relevance, Metas that stand...
2008-10-27 Enrico Tassi_ in place of unused variables
2008-10-27 Enrico TassiImplicit annotationas are now printed
2008-10-22 Ferruccio Guidiwe aligned the implementation to the plmms08 paper
2008-10-21 Enrico Tassibetter pps
2008-10-21 Enrico Tassi- mk_restricted_irl removed, the non-optimized code...
2008-10-21 Enrico Tassipsubst for metas fixed again
2008-10-20 Enrico Tassimore bug fixed (or introduced)
2008-10-20 Enrico Tassi...
2008-10-18 Ferruccio GuidiAcic2Procedural:
2008-10-17 Enrico Tassinew command eval added
2008-10-15 Enrico Tassi...
2008-10-15 Enrico Tassidelifting a Meta with an IRL w.r.t. another IRL complet...
2008-10-15 Enrico Tassisome bug fixed
2008-10-15 Enrico Tassisubst_meta was missing
2008-10-14 Enrico Tassimore work
2008-10-14 Enrico Tassiterm refinement almost done, some functions exported...
2008-10-13 Enrico Tassiinitial refiner ....
2008-10-13 Claudio Sacerdoti... Bug fixed in LetIn: the cumulativity test was performed...
2008-10-13 Enrico Tassibug in psubst fixed inside local context in Irl form
2008-10-13 Enrico Tassibetter error message
2008-10-13 Enrico Tassippmetasenv & subst added
2008-10-13 Enrico TassiNCicReduction.reduce_machine returns a boolean stating...
next