]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2009-07-10 Cosimo Oliboninew ng freescale, no external dependencies
2009-07-10 Claudio Sacerdoti... Let's live with new ocaml type system limitations...
2009-07-09 Enrico Tassiinitial implementation of `ncoercion name : type :...
2009-07-09 Enrico Tassiclaudio, please have a look at this
2009-07-09 Enrico Tassinew nrepeat (and block '('...')' ) tactical
2009-07-09 Enrico Tassi...
2009-07-09 Enrico TassiNew functorialization: paramod is abstracted over a...
2009-07-09 denesFixed check for condition iv p.33 (Riazzanov)
2009-07-09 Wilmer RicciottiMore updates to Fsub.
2009-07-09 Enrico Tassiprofile most operations, do not return a filtered varli...
2009-07-09 Enrico Tassi1 process for now
2009-07-09 Enrico Tassitwo cases should be assert false at least in TPTP
2009-07-09 Enrico Tassimicro optimizations to unification
2009-07-09 denesCleaned a bit
2009-07-09 Enrico Tassi...
2009-07-09 Enrico Tassiactivate kbo, not lpo
2009-07-09 Claudio Sacerdoti... ...
2009-07-09 Claudio Sacerdoti... Bug fixed (non-captured variable).
2009-07-08 Claudio Sacerdoti... eq moved to CProp
2009-07-08 Claudio Sacerdoti... ...
2009-07-08 Claudio Sacerdoti... repeat_tac
2009-07-08 Claudio Sacerdoti... ...
2009-07-08 Enrico Tassifew more files, one diverges
2009-07-08 Cosimo Olibonidirectory for porting the assembly to matita-ng
2009-07-08 Enrico Tassiremoved useless universes
2009-07-08 Enrico Tassiimport of a sample for cosimo
2009-07-08 Claudio Sacerdoti... Hmmmm. This way we need "canonical structures" also...
2009-07-08 Claudio Sacerdoti... ...
2009-07-08 Claudio Sacerdoti... Metavariable case in does_not_occur (hence weakly/stric...
2009-07-08 Claudio Sacerdoti... Missing case for Match implemented.
2009-07-08 Claudio Sacerdoti... ...
2009-07-08 Claudio Sacerdoti... weakly/strictly positive checks relaxed to allow metava...
2009-07-08 Claudio Sacerdoti... ...
2009-07-08 Claudio Sacerdoti... Improved error message.
2009-07-08 Claudio Sacerdoti... Bug fixed: the debrujinate function (hence the one...
2009-07-07 Claudio Sacerdoti... ...
2009-07-07 Claudio Sacerdoti... Bug fixed: one uri was not refreshed, causing divergenc...
2009-07-07 Enrico Tassifixed some typos
2009-07-07 Claudio Sacerdoti... Let's play a bit with NG.
2009-07-07 Claudio Sacerdoti... 1) Include files for NG were neither recursively proces...
2009-07-06 denesFixed printing of number of problems solved
2009-07-06 denesTried to implement lpo in a more efficient way
2009-07-06 denesFixed typo in lpo (from old implementation)
2009-07-03 Ferruccio Guidisome corrections
2009-07-03 Ferruccio Guidimore static analysis on the Automath text
2009-07-03 denesPorted old implementation of LPO (for test purposes)
2009-07-03 Ferruccio Guidiwe now do some static analysis on the Automath text...
2009-07-03 denesImplemented LPO
2009-07-02 denesCorrected type for bag
2009-07-02 denesNew age selection
2009-07-02 Enrico Tassibetter output handling
2009-07-02 Enrico Tassireturn type of paramod fixed according to the SZSOntology
2009-07-01 Enrico Tassi...
2009-07-01 Enrico Tassi...
2009-07-01 Wilmer RicciottiVersion number set to 1.0.0-rc1
2009-07-01 denesFixed type of bag
2009-06-30 Enrico Tassiparallel
2009-06-30 denesMoved ID management inside the bag
2009-06-30 Enrico Tassiattempt of using 2 different orderings
2009-06-30 Enrico Tassi....
2009-06-30 denesCorrected a few typos
2009-06-30 Enrico Tassi...
2009-06-30 denesEnabled age selection (ratio 1/5)
2009-06-29 Ferruccio Guidilambda-delta:
2009-06-29 Enrico Tassi...
2009-06-29 Enrico Tassido not infer on closed goals
2009-06-29 Enrico Tassiremoved a maybe diverging test
2009-06-29 Enrico Tassi...
2009-06-29 denesFirst attempt for refined goal selection strategy
2009-06-29 Enrico Tassiadded (but not active) last chance idea
2009-06-29 denesImplemented orphan murdering technique
2009-06-29 Enrico Tassinew make test target
2009-06-28 Ferruccio Guidinew kernel basic_rg: implements ufficial lambda-delta...
2009-06-26 Andrea Aspertiattempt to run a last chance procedure after the timeout
2009-06-26 Andrea Aspertithe timeout is passed to test last chance
2009-06-26 Andrea Aspertithis case is not assert false since it can happen if...
2009-06-26 Andrea Aspertifixed parsing
2009-06-26 Andrea Asperticonvenient problem lists
2009-06-26 Andrea Aspertian easy for loop
2009-06-26 Andrea Aspertideep subsumption activated
2009-06-26 Andrea Aspertitest for deep subsumption added
2009-06-26 denesImplemented orphan murder test (clauses are not discard...
2009-06-25 Enrico Tassi...
2009-06-25 Enrico Tassibetter doc
2009-06-25 Enrico Tassitimeouts are passed as arguments, so that tptpprover can
2009-06-25 Ferruccio Guidi- some depend files :)
2009-06-25 Enrico Tassithe prover is almost OK, types in fuctors a bit extended to
2009-06-25 Andrea AspertiFirst version of deep_subsumption.
2009-06-25 denesVarious fixes
2009-06-25 Enrico Tassinew function
2009-06-25 Enrico Tassi...
2009-06-25 Enrico Tassimatitaprover is almost there
2009-06-25 Enrico Tassi...
2009-06-25 Enrico Tassiinitial import of standalone matitaprover binary
2009-06-25 denesNow using age selection
2009-06-25 Enrico Tassicode refactoring for paramodulation
2009-06-25 Enrico Tassinew function list_mapi_acc
2009-06-25 denesFixed is_identity for facts
2009-06-25 denesFixed insertion of passive clauses
2009-06-25 Andrea AspertiCode factorization
next