projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2010-02-02 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-02-01 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2010-02-01 Andrea Aspertiminus commit | commitdiff | tree | snapshot
2010-02-01 Andrea AspertiOn the last goal at maxdepth we stop at the first solution. commit | commitdiff | tree | snapshot
2010-01-31 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-30 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-30 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-29 Andrea Aspertiminus in nat.ma commit | commitdiff | tree | snapshot
2010-01-29 Andrea AspertiNuova gestione della width. commit | commitdiff | tree | snapshot
2010-01-29 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-28 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-27 Andrea Aspertile_arith commit | commitdiff | tree | snapshot
2010-01-27 Andrea AspertiUnfolded exact letins during proof reconstruction. commit | commitdiff | tree | snapshot
2010-01-27 Andrea AspertiAdded a parameter no_implicit (default true) to choose... commit | commitdiff | tree | snapshot
2010-01-27 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-26 Andrea Aspertile_arith commit | commitdiff | tree | snapshot
2010-01-25 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-25 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-24 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-23 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2010-01-23 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2010-01-22 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-22 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-21 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2010-01-21 Andrea AspertiEsempio commit | commitdiff | tree | snapshot
2010-01-21 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2010-01-21 Cosimo Oliboni freescale porting, work in progress commit | commitdiff | tree | snapshot
2010-01-19 Claudio Sacerdoti... We can always use the "covered by emptyset" relation... commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... More //. commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... More // everywhere. commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... // used everywhere! commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... // in place of nauto everywhere commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... // is now more powerful commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... // is now more powerful commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiNew paramod tac. commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiInvocation of paramod commit | commitdiff | tree | snapshot
2010-01-18 Andrea Aspertiparamod_tac exported commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiNumber notation for NG commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiNumber notation for NG commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiNumber notation for NG. commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiKeeping Implicit for refinement (instead of transformin... commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiUpdating. commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... A slightly more complicated example. commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... Finished! commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... We are still equivalent (even if the definition of... commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... Urrah! commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... Extending to the nAx set. commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... Skipfact function (a partial general recursive function... commit | commitdiff | tree | snapshot
2010-01-12 Wilmer RicciottiFixed a bug in the discrimination principle: the refine... commit | commitdiff | tree | snapshot
2010-01-11 Claudio Sacerdoti... Finished commit | commitdiff | tree | snapshot
2010-01-11 Andrea Asperti1. New paramodulation function commit | commitdiff | tree | snapshot
2010-01-11 Andrea Aspertisaturate cust be called with delta=0 commit | commitdiff | tree | snapshot
2010-01-11 Andrea AspertiAdded is_equation commit | commitdiff | tree | snapshot
2010-01-11 Andrea AspertiDebugging info commit | commitdiff | tree | snapshot
2010-01-08 Claudio Sacerdoti... Improved commit | commitdiff | tree | snapshot
2010-01-08 Claudio Sacerdoti... Partial porting to new syntax. commit | commitdiff | tree | snapshot
2010-01-08 Claudio Sacerdoti... Source language path must be appended, not replaced. commit | commitdiff | tree | snapshot
2010-01-08 Claudio Sacerdoti... Categorical stuff postponed. commit | commitdiff | tree | snapshot
2010-01-08 Andrea AspertiThe body of constants is a reference, not the actual... commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertiremoved debugging info commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertirebuilding the library commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertirebuilding the library commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertirebuilding the library commit | commitdiff | tree | snapshot
2010-01-08 Andrea AspertiapplyS commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertirefresh uri commit | commitdiff | tree | snapshot
2010-01-08 Andrea AspertiSupport for the new auto tactics // commit | commitdiff | tree | snapshot
2010-01-08 Andrea AspertiSupport for the new // tactics. commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertinew reloc_subst (to avoid cyclic substitutions). commit | commitdiff | tree | snapshot
2010-01-07 Enrico Tassi.... commit | commitdiff | tree | snapshot
2010-01-07 Enrico Tassi... commit | commitdiff | tree | snapshot
2010-01-07 Enrico Tassi... commit | commitdiff | tree | snapshot
2010-01-06 Claudio Sacerdoti... Simplified. commit | commitdiff | tree | snapshot
2010-01-06 Claudio Sacerdoti... Coercions via unification hints? commit | commitdiff | tree | snapshot
2010-01-05 Ferruccio Guidi- we now add the kernel options in the preamble of... commit | commitdiff | tree | snapshot
2010-01-02 Claudio Sacerdoti... 1) stuff moved from categories.ma to setoids*.ma commit | commitdiff | tree | snapshot
2009-12-30 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-12-30 Claudio Sacerdoti... Almost done (up to definition of category). commit | commitdiff | tree | snapshot
2009-12-30 Claudio Sacerdoti... Porting of Sambin's stuff started. commit | commitdiff | tree | snapshot
2009-12-30 Claudio Sacerdoti... Porting of Sambin's stuff started. commit | commitdiff | tree | snapshot
2009-12-30 Claudio Sacerdoti... Removed line is back again. commit | commitdiff | tree | snapshot
2009-12-30 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-12-21 Andrea AspertiRefining with no expected type + unification seems... commit | commitdiff | tree | snapshot
2009-12-21 Andrea AspertiTrying to be faster commit | commitdiff | tree | snapshot
2009-12-21 Andrea AspertiTrying to be faster. commit | commitdiff | tree | snapshot
2009-12-18 Andrea AspertiFinal subst returned by superposition and passed around. commit | commitdiff | tree | snapshot
2009-12-18 Andrea Aspertiusing = instead of alpha conversions. context metasenv... commit | commitdiff | tree | snapshot
2009-12-15 Andrea Aspertieq_coerc for smart application. commit | commitdiff | tree | snapshot
2009-12-14 Ferruccio Guidithe sort hierarchy parameter enter the kernel status commit | commitdiff | tree | snapshot
2009-12-10 Andrea AspertiMinor bag fixed, relative to failures. commit | commitdiff | tree | snapshot
2009-12-10 Andrea AspertiA compiling version? commit | commitdiff | tree | snapshot
2009-12-09 Andrea AspertiAdded a "sort_metasenv" function. commit | commitdiff | tree | snapshot
2009-12-09 Andrea AspertiCommented a couple of calls to "set_reference_of_oxuri". commit | commitdiff | tree | snapshot
2009-12-09 Andrea AspertiAdded the paramodulation stuff to the status commit | commitdiff | tree | snapshot
2009-12-09 Andrea Aspertiparam "slir" to call the new auto commit | commitdiff | tree | snapshot
2009-12-09 Andrea AspertiAdded the paramodulation active/passive tables to the... commit | commitdiff | tree | snapshot
2009-12-09 Andrea AspertiAttached fast_eq_check to auto commit | commitdiff | tree | snapshot
2009-12-09 Andrea AspertiAdded nnAuto.mli commit | commitdiff | tree | snapshot
2009-12-09 Andrea AspertiDebug set to () commit | commitdiff | tree | snapshot
2009-12-09 Andrea AspertiClean up of debgging info commit | commitdiff | tree | snapshot
2009-12-09 Andrea AspertiSyntax error commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.