]> matita.cs.unibo.it Git - helm.git/history - helm/software
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
...
[helm.git] / helm / software /
2009-07-22 Claudio Sacerdoti... ... tree | commitdiff
2009-07-22 Claudio Sacerdoti... nelim fixed tree | commitdiff
2009-07-22 Claudio Sacerdoti... leftno was List.length rights :-) tree | commitdiff
2009-07-22 Claudio Sacerdoti... Almost ready to implement coercion declaration for... tree | commitdiff
2009-07-21 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-07-21 Claudio Sacerdoti... 1) record projections are now automatically generated tree | commitdiff
2009-07-21 Claudio Sacerdoti... Debugging code removed. tree | commitdiff
2009-07-21 Claudio Sacerdoti... Record projections are now automatically generated... tree | commitdiff
2009-07-21 denesImplemented handling of Invertible equalities tree | commitdiff
2009-07-20 Enrico Tassisorted modules tree | commitdiff
2009-07-20 Claudio Sacerdoti... Debugging printf removed tree | commitdiff
2009-07-20 Claudio Sacerdoti... nrewrite now uses the appropriate principle when going... tree | commitdiff
2009-07-20 Claudio Sacerdoti... nrewrite now working tree | commitdiff
2009-07-20 Claudio Sacerdoti... ... tree | commitdiff
2009-07-20 denesRemoved status printing by processes tree | commitdiff
2009-07-20 denesFixed multiple printing tree | commitdiff
2009-07-20 Wilmer RicciottiFinal version, submitted to CASC-22. tree | commitdiff
2009-07-20 Wilmer Ricciottiadded a flag for age selection tree | commitdiff
2009-07-20 Claudio Sacerdoti... Very serious bug fixed in unification, but the fix... tree | commitdiff
2009-07-20 Claudio Sacerdoti... 1) The NG kernel now accepts only usage of declared... tree | commitdiff
2009-07-20 denesOne-side indexing for commutativity tree | commitdiff
2009-07-20 denesNo demod call on functionnal symbols tree | commitdiff
2009-07-20 Claudio Sacerdoti... 1) ppmetasenv and ppcontext to reduce the amount of... tree | commitdiff
2009-07-19 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-07-17 Claudio Sacerdoti... ... tree | commitdiff
2009-07-17 Claudio Sacerdoti... nelim now uses the appropriate _rect_XXX elimination... tree | commitdiff
2009-07-17 Claudio Sacerdoti... 1) the user is notified when a new object is defined tree | commitdiff
2009-07-17 Claudio Sacerdoti... More info to refine empty types elimination. tree | commitdiff
2009-07-17 Claudio Sacerdoti... Old code commented out. tree | commitdiff
2009-07-17 Claudio Sacerdoti... Generation of principles is now atomic. tree | commitdiff
2009-07-17 Claudio Sacerdoti... Debugging code commented out. tree | commitdiff
2009-07-17 Enrico Tassiadd comment tree | commitdiff
2009-07-17 Claudio Sacerdoti... Non reproducible. tree | commitdiff
2009-07-17 Claudio Sacerdoti... Some bugs already fixed. tree | commitdiff
2009-07-17 Claudio Sacerdoti... Bugs (mostly from Oliboni) tree | commitdiff
2009-07-17 Claudio Sacerdoti... Bug fixed: singleton application. tree | commitdiff
2009-07-17 Claudio Sacerdoti... New suffixes for elimination principles: tree | commitdiff
2009-07-17 Claudio Sacerdoti... 1) added a function to retrieve all the universes curre... tree | commitdiff
2009-07-17 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-07-17 Claudio Sacerdoti... Generation of inductive principle for Type[0]. tree | commitdiff
2009-07-16 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-07-16 denesSorted version of eligible problems list tree | commitdiff
2009-07-16 denesDisabled age selection and ad hoc goal weight computation tree | commitdiff
2009-07-15 Enrico Tassincopy partially implemented and fixed (a ?) chain to... tree | commitdiff
2009-07-15 Wilmer RicciottiFixed dependency function, which was lacking the code... tree | commitdiff
2009-07-15 Enrico Tassi... tree | commitdiff
2009-07-15 Enrico Tassimatch_coercion gives back the saturations, not the... tree | commitdiff
2009-07-15 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-07-14 denesFixed Option type error (OCaml bug) tree | commitdiff
2009-07-14 denes. tree | commitdiff
2009-07-14 denes. tree | commitdiff
2009-07-14 Cosimo Oliboni freescale porting to ng, work in progress tree | commitdiff
2009-07-13 Enrico Tassibetter spacing tree | commitdiff
2009-07-13 Enrico Tassistatistics are used, when possible, to sort tree | commitdiff
2009-07-13 denesAdded statistics printings tree | commitdiff
2009-07-13 denesAdded statistics module tree | commitdiff
2009-07-13 Claudio Sacerdoti... First proof finished (some tactics still not working). tree | commitdiff
2009-07-13 Enrico Tassimatitaprover is now flexible enough to allow the comput... tree | commitdiff
2009-07-13 Claudio Sacerdoti... Coercion hiding implemented. Notes: tree | commitdiff
2009-07-13 Cosimo Oliboni freescale translation (work in progress) tree | commitdiff
2009-07-12 Cosimo Oliboni(no commit message) tree | commitdiff
2009-07-11 Cosimo Oliboni(no commit message) tree | commitdiff
2009-07-10 Claudio Sacerdoti... Composite coercions are here! tree | commitdiff
2009-07-10 Ferruccio Guidi- brgOutput: the nodes count is now implemented tree | commitdiff
2009-07-10 Enrico Tassiinitial implementation of coercion composition tree | commitdiff
2009-07-10 Enrico Tassimore work on coercions composition tree | commitdiff
2009-07-10 Cosimo Oliboni +root +depends tree | commitdiff
2009-07-10 denesRemoved unused parameter of unification procedure ... tree | commitdiff
2009-07-10 Enrico Tassimore profilers tree | commitdiff
2009-07-10 Claudio Sacerdoti... Coercions used here and there. tree | commitdiff
2009-07-10 Claudio Sacerdoti... Bug fixed (missing ctx) + comment added. tree | commitdiff
2009-07-10 Claudio Sacerdoti... ... tree | commitdiff
2009-07-10 Cosimo Oliboninew ng freescale, no external dependencies tree | commitdiff
2009-07-10 Claudio Sacerdoti... Let's live with new ocaml type system limitations... tree | commitdiff
2009-07-09 Enrico Tassiinitial implementation of `ncoercion name : type :... tree | commitdiff
2009-07-09 Enrico Tassiclaudio, please have a look at this tree | commitdiff
2009-07-09 Enrico Tassinew nrepeat (and block '('...')' ) tactical tree | commitdiff
2009-07-09 Enrico Tassi... tree | commitdiff
2009-07-09 Enrico TassiNew functorialization: paramod is abstracted over a... tree | commitdiff
2009-07-09 denesFixed check for condition iv p.33 (Riazzanov) tree | commitdiff
2009-07-09 Wilmer RicciottiMore updates to Fsub. tree | commitdiff
2009-07-09 Enrico Tassiprofile most operations, do not return a filtered varli... tree | commitdiff
2009-07-09 Enrico Tassi1 process for now tree | commitdiff
2009-07-09 Enrico Tassitwo cases should be assert false at least in TPTP tree | commitdiff
2009-07-09 Enrico Tassimicro optimizations to unification tree | commitdiff
2009-07-09 denesCleaned a bit tree | commitdiff
2009-07-09 Enrico Tassi... tree | commitdiff
2009-07-09 Enrico Tassiactivate kbo, not lpo tree | commitdiff
2009-07-09 Claudio Sacerdoti... ... tree | commitdiff
2009-07-09 Claudio Sacerdoti... Bug fixed (non-captured variable). tree | commitdiff
2009-07-08 Claudio Sacerdoti... eq moved to CProp tree | commitdiff
2009-07-08 Claudio Sacerdoti... ... tree | commitdiff
2009-07-08 Claudio Sacerdoti... repeat_tac tree | commitdiff
2009-07-08 Claudio Sacerdoti... ... tree | commitdiff
2009-07-08 Enrico Tassifew more files, one diverges tree | commitdiff
2009-07-08 Enrico Tassiremoved useless universes tree | commitdiff
2009-07-08 Enrico Tassiimport of a sample for cosimo tree | commitdiff
2009-07-08 Claudio Sacerdoti... Hmmmm. This way we need "canonical structures" also... tree | commitdiff
2009-07-08 Claudio Sacerdoti... ... tree | commitdiff
2009-07-08 Claudio Sacerdoti... Metavariable case in does_not_occur (hence weakly/stric... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.