]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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 Enrico Tassimodels ported
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-28 Enrico Tassieven more polymorphic dualizer
2008-10-28 Enrico Tassidone
2008-10-28 Enrico Tassi...
2008-10-28 Enrico Tassilebesge works
2008-10-27 Enrico TassiWIP
2008-10-27 Enrico Tassimany bugs fixed
2008-10-27 Enrico Tassimetasenv passed to get_relevance, Metas that stand...
2008-10-27 Enrico TassiWIP
2008-10-27 Enrico Tassi_ in place of unused variables
2008-10-27 Enrico TassiImplicit annotationas are now printed
2008-10-27 Enrico Tassiseg_u/l were inverted, more work
2008-10-27 Enrico Tassibig lemma done
2008-10-26 Enrico Tassi...
2008-10-26 Enrico Tassiduality done
2008-10-26 Enrico Tassialmost done, just needs to be prforated
2008-10-26 Enrico Tassi....
2008-10-26 Enrico Tassiall done in declarative style
2008-10-25 Enrico Tassi...
2008-10-25 Enrico Tassi...
2008-10-25 Enrico Tassiduality is a joke
2008-10-24 Enrico Tassi...
2008-10-24 Enrico Tassileave-environment axiom made true
2008-10-23 Enrico Tassilebesgue completely dualized
2008-10-22 Ferruccio Guidiwe aligned the implementation to the plmms08 paper
2008-10-21 Enrico Tassi...
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 Tassinat model ported to the dualized version, but not itsel...
2008-10-20 Enrico Tassi... is a command in proof mode, use
2008-10-20 Enrico Tassimore bug fixed (or introduced)
2008-10-20 Enrico Tassi...
2008-10-20 Enrico Tassi...
2008-10-20 Enrico Tassi...
2008-10-20 Enrico Tassiafter a PITA, lebergue is dualized!
2008-10-20 Enrico Tassi...
2008-10-20 Enrico Tassi...
2008-10-20 Enrico Tassi...
2008-10-19 Enrico Tassisome work on duality, still not finisched
2008-10-19 Enrico Tassi...
2008-10-19 Enrico Tassi...
2008-10-19 Enrico Tassigrave notation mistake fixed
2008-10-19 Enrico Tassimore tests
2008-10-19 Enrico Tassi...
2008-10-19 Enrico Tassi...
2008-10-19 Enrico Tassiwhen a file is opened the cursor is moved to the begin...
2008-10-18 Enrico Tassi...
2008-10-18 Enrico Tassi...
2008-10-18 Enrico Tassitactic language documented;
2008-10-18 Ferruccio GuidiAcic2Procedural:
2008-10-18 Enrico Tassihtml documentation generation implemented
2008-10-18 Enrico Tassimore doc
2008-10-18 Enrico Tassi...
2008-10-17 Enrico Tassi...
2008-10-17 Enrico Tassinew command eval added
2008-10-17 Enrico Tassibetter makefile
2008-10-17 Enrico Tassi...
2008-10-16 Claudio Sacerdoti... ...
2008-10-16 Enrico Tassiex for students about induction
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-15 Claudio Sacerdoti... minor simplification + deps fixed
2008-10-15 Claudio Sacerdoti... New invariant and data structure to represent environme...
2008-10-14 Enrico Tassimore work
2008-10-14 Enrico Tassifirs step for dualization
2008-10-14 Enrico Tassi...
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...
2008-10-08 Wilmer RicciottiFixed a performance problem with unif_machines and...
2008-10-06 Enrico Tassislow example
2008-10-06 Enrico Tassi3 nasty bugs fixed:
2008-10-06 Enrico Tassi...
2008-10-03 Enrico Tassi...
2008-10-03 Enrico Tassibetter test
2008-10-03 Enrico Tassinot so nice patch to small_delta_step
2008-10-03 Enrico Tassiwhen -debug do not catch the exception
2008-10-03 Enrico Tassi- NCicPp.ppterm applies the substitution
2008-10-03 Enrico Tassithe iterator was wrongly processing the application
2008-10-03 Wilmer RicciottiFinal implementation of proof irrelevant conversion...
2008-10-03 Enrico Tassibetter debuggin output
2008-10-02 Enrico Tassierror...
2008-10-02 Enrico Tassi...
2008-10-02 Enrico Tassianother divergence case patched
2008-10-02 Enrico Tassito avoid a case of divergence small_delta_step checks...
2008-10-02 Enrico Tassi...
2008-10-02 Enrico Tassiwe can test the unification algorithm!
2008-10-02 Enrico Tassi...
2008-10-01 Enrico Tassicommented out unfinished code
next