projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2009-07-13 Claudio Sacerdoti... First proof finished (some tactics still not working). commit | commitdiff | tree | snapshot
2009-07-13 Enrico Tassimatitaprover is now flexible enough to allow the comput... commit | commitdiff | tree | snapshot
2009-07-13 Claudio Sacerdoti... Coercion hiding implemented. Notes: commit | commitdiff | tree | snapshot
2009-07-13 Cosimo Oliboni freescale translation (work in progress) commit | commitdiff | tree | snapshot
2009-07-12 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2009-07-11 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2009-07-10 Claudio Sacerdoti... Composite coercions are here! commit | commitdiff | tree | snapshot
2009-07-10 Ferruccio Guidi- brgOutput: the nodes count is now implemented commit | commitdiff | tree | snapshot
2009-07-10 Enrico Tassiinitial implementation of coercion composition commit | commitdiff | tree | snapshot
2009-07-10 Enrico Tassimore work on coercions composition commit | commitdiff | tree | snapshot
2009-07-10 Cosimo Oliboni +root +depends commit | commitdiff | tree | snapshot
2009-07-10 denesRemoved unused parameter of unification procedure ... commit | commitdiff | tree | snapshot
2009-07-10 Enrico Tassimore profilers commit | commitdiff | tree | snapshot
2009-07-10 Claudio Sacerdoti... Coercions used here and there. commit | commitdiff | tree | snapshot
2009-07-10 Claudio Sacerdoti... Bug fixed (missing ctx) + comment added. commit | commitdiff | tree | snapshot
2009-07-10 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-07-10 Cosimo Oliboninew ng freescale, no external dependencies commit | commitdiff | tree | snapshot
2009-07-10 Claudio Sacerdoti... Let's live with new ocaml type system limitations... commit | commitdiff | tree | snapshot
2009-07-09 Enrico Tassiinitial implementation of `ncoercion name : type :... commit | commitdiff | tree | snapshot
2009-07-09 Enrico Tassiclaudio, please have a look at this commit | commitdiff | tree | snapshot
2009-07-09 Enrico Tassinew nrepeat (and block '('...')' ) tactical commit | commitdiff | tree | snapshot
2009-07-09 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-07-09 Enrico TassiNew functorialization: paramod is abstracted over a... commit | commitdiff | tree | snapshot
2009-07-09 denesFixed check for condition iv p.33 (Riazzanov) commit | commitdiff | tree | snapshot
2009-07-09 Wilmer RicciottiMore updates to Fsub. commit | commitdiff | tree | snapshot
2009-07-09 Enrico Tassiprofile most operations, do not return a filtered varli... commit | commitdiff | tree | snapshot
2009-07-09 Enrico Tassi1 process for now commit | commitdiff | tree | snapshot
2009-07-09 Enrico Tassitwo cases should be assert false at least in TPTP commit | commitdiff | tree | snapshot
2009-07-09 Enrico Tassimicro optimizations to unification commit | commitdiff | tree | snapshot
2009-07-09 denesCleaned a bit commit | commitdiff | tree | snapshot
2009-07-09 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-07-09 Enrico Tassiactivate kbo, not lpo commit | commitdiff | tree | snapshot
2009-07-09 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-07-09 Claudio Sacerdoti... Bug fixed (non-captured variable). commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... eq moved to CProp commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... repeat_tac commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-07-08 Enrico Tassifew more files, one diverges commit | commitdiff | tree | snapshot
2009-07-08 Cosimo Olibonidirectory for porting the assembly to matita-ng commit | commitdiff | tree | snapshot
2009-07-08 Enrico Tassiremoved useless universes commit | commitdiff | tree | snapshot
2009-07-08 Enrico Tassiimport of a sample for cosimo commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... Hmmmm. This way we need "canonical structures" also... commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... Metavariable case in does_not_occur (hence weakly/stric... commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... Missing case for Match implemented. commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... weakly/strictly positive checks relaxed to allow metava... commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... Improved error message. commit | commitdiff | tree | snapshot
2009-07-08 Claudio Sacerdoti... Bug fixed: the debrujinate function (hence the one... commit | commitdiff | tree | snapshot
2009-07-07 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-07-07 Claudio Sacerdoti... Bug fixed: one uri was not refreshed, causing divergenc... commit | commitdiff | tree | snapshot
2009-07-07 Enrico Tassifixed some typos commit | commitdiff | tree | snapshot
2009-07-07 Claudio Sacerdoti... Let's play a bit with NG. commit | commitdiff | tree | snapshot
2009-07-07 Claudio Sacerdoti... 1) Include files for NG were neither recursively proces... commit | commitdiff | tree | snapshot
2009-07-06 denesFixed printing of number of problems solved commit | commitdiff | tree | snapshot
2009-07-06 denesTried to implement lpo in a more efficient way commit | commitdiff | tree | snapshot
2009-07-06 denesFixed typo in lpo (from old implementation) commit | commitdiff | tree | snapshot
2009-07-03 Ferruccio Guidisome corrections commit | commitdiff | tree | snapshot
2009-07-03 Ferruccio Guidimore static analysis on the Automath text commit | commitdiff | tree | snapshot
2009-07-03 denesPorted old implementation of LPO (for test purposes) commit | commitdiff | tree | snapshot
2009-07-03 Ferruccio Guidiwe now do some static analysis on the Automath text... commit | commitdiff | tree | snapshot
2009-07-03 denesImplemented LPO commit | commitdiff | tree | snapshot
2009-07-02 denesCorrected type for bag commit | commitdiff | tree | snapshot
2009-07-02 denesNew age selection commit | commitdiff | tree | snapshot
2009-07-02 Enrico Tassibetter output handling commit | commitdiff | tree | snapshot
2009-07-02 Enrico Tassireturn type of paramod fixed according to the SZSOntology commit | commitdiff | tree | snapshot
2009-07-01 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-07-01 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-07-01 Wilmer RicciottiVersion number set to 1.0.0-rc1 commit | commitdiff | tree | snapshot
2009-07-01 denesFixed type of bag commit | commitdiff | tree | snapshot
2009-06-30 Enrico Tassiparallel commit | commitdiff | tree | snapshot
2009-06-30 denesMoved ID management inside the bag commit | commitdiff | tree | snapshot
2009-06-30 Enrico Tassiattempt of using 2 different orderings commit | commitdiff | tree | snapshot
2009-06-30 Enrico Tassi.... commit | commitdiff | tree | snapshot
2009-06-30 denesCorrected a few typos commit | commitdiff | tree | snapshot
2009-06-30 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-06-30 denesEnabled age selection (ratio 1/5) commit | commitdiff | tree | snapshot
2009-06-29 Ferruccio Guidilambda-delta: commit | commitdiff | tree | snapshot
2009-06-29 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-06-29 Enrico Tassido not infer on closed goals commit | commitdiff | tree | snapshot
2009-06-29 Enrico Tassiremoved a maybe diverging test commit | commitdiff | tree | snapshot
2009-06-29 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-06-29 denesFirst attempt for refined goal selection strategy commit | commitdiff | tree | snapshot
2009-06-29 Enrico Tassiadded (but not active) last chance idea commit | commitdiff | tree | snapshot
2009-06-29 denesImplemented orphan murdering technique commit | commitdiff | tree | snapshot
2009-06-29 Enrico Tassinew make test target commit | commitdiff | tree | snapshot
2009-06-28 Ferruccio Guidinew kernel basic_rg: implements ufficial lambda-delta... commit | commitdiff | tree | snapshot
2009-06-26 Andrea Aspertiattempt to run a last chance procedure after the timeout commit | commitdiff | tree | snapshot
2009-06-26 Andrea Aspertithe timeout is passed to test last chance commit | commitdiff | tree | snapshot
2009-06-26 Andrea Aspertithis case is not assert false since it can happen if... commit | commitdiff | tree | snapshot
2009-06-26 Andrea Aspertifixed parsing commit | commitdiff | tree | snapshot
2009-06-26 Andrea Asperticonvenient problem lists commit | commitdiff | tree | snapshot
2009-06-26 Andrea Aspertian easy for loop commit | commitdiff | tree | snapshot
2009-06-26 Andrea Aspertideep subsumption activated commit | commitdiff | tree | snapshot
2009-06-26 Andrea Aspertitest for deep subsumption added commit | commitdiff | tree | snapshot
2009-06-26 denesImplemented orphan murder test (clauses are not discard... commit | commitdiff | tree | snapshot
2009-06-25 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-06-25 Enrico Tassibetter doc commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.