projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
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
2009-06-25 Enrico Tassitimeouts are passed as arguments, so that tptpprover can commit | commitdiff | tree | snapshot
2009-06-25 Ferruccio Guidi- some depend files :) commit | commitdiff | tree | snapshot
2009-06-25 Enrico Tassithe prover is almost OK, types in fuctors a bit extended to commit | commitdiff | tree | snapshot
2009-06-25 Andrea AspertiFirst version of deep_subsumption. commit | commitdiff | tree | snapshot
2009-06-25 denesVarious fixes commit | commitdiff | tree | snapshot
2009-06-25 Enrico Tassinew function commit | commitdiff | tree | snapshot
2009-06-25 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-06-25 Enrico Tassimatitaprover is almost there commit | commitdiff | tree | snapshot
2009-06-25 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-06-25 Enrico Tassiinitial import of standalone matitaprover binary commit | commitdiff | tree | snapshot
2009-06-25 denesNow using age selection commit | commitdiff | tree | snapshot
2009-06-25 Enrico Tassicode refactoring for paramodulation commit | commitdiff | tree | snapshot
2009-06-25 Enrico Tassinew function list_mapi_acc commit | commitdiff | tree | snapshot
2009-06-25 denesFixed is_identity for facts commit | commitdiff | tree | snapshot
2009-06-25 denesFixed insertion of passive clauses commit | commitdiff | tree | snapshot
2009-06-25 Andrea AspertiCode factorization commit | commitdiff | tree | snapshot
2009-06-24 denesRemoved debug printing commit | commitdiff | tree | snapshot
2009-06-24 denesNow inserting hypothesis and goal with zero weight commit | commitdiff | tree | snapshot
2009-06-24 denesExtended is_identity test commit | commitdiff | tree | snapshot
2009-06-24 denesImplemented check for duplicates (in goals) commit | commitdiff | tree | snapshot
2009-06-23 denesRemoved old debugging assertion commit | commitdiff | tree | snapshot
2009-06-23 Ferruccio Guidi- procedural: basic support for lapply (solves a proble... commit | commitdiff | tree | snapshot
2009-06-23 denesRemoved debug printing raising Failure commit | commitdiff | tree | snapshot
2009-06-23 denesRemoved debug printing commit | commitdiff | tree | snapshot
2009-06-23 denesRewrote the main loop for paramodulation commit | commitdiff | tree | snapshot
2009-06-23 Enrico Tassiundo/serialization for universes implemented commit | commitdiff | tree | snapshot
2009-06-23 Claudio Sacerdoti... Debugging prerr_endlines removed. commit | commitdiff | tree | snapshot
2009-06-23 Claudio Sacerdoti... 1) NCicTypechecker.typecheck_obj removed, since it... commit | commitdiff | tree | snapshot
2009-06-23 denesFixed nasty bug in maxvar updating commit | commitdiff | tree | snapshot
2009-06-23 Claudio Sacerdoti... - Bug fixed: removed URIs were not removed from the... commit | commitdiff | tree | snapshot
2009-06-23 Enrico Tassiremoved problem not in UEQ commit | commitdiff | tree | snapshot
2009-06-22 Ferruccio Guidi- nodes count is now working for aut and meta commit | commitdiff | tree | snapshot
2009-06-22 denesAdded more precise time information commit | commitdiff | tree | snapshot
2009-06-22 denesAdded problems from CASC 208 commit | commitdiff | tree | snapshot
2009-06-22 denesRegenerated problems with corrected tptp2grafite commit | commitdiff | tree | snapshot
2009-06-22 denesCorrected proof visiting (topological sort) commit | commitdiff | tree | snapshot
2009-06-22 denesSmall debugging in tptp2grafite commit | commitdiff | tree | snapshot
2009-06-21 Wilmer RicciottiAdded injective compose commit | commitdiff | tree | snapshot
2009-06-21 Ferruccio Guidi- cicNotationPp: bugfix in record syntax commit | commitdiff | tree | snapshot
2009-06-20 Wilmer RicciottiSome notation and additional lemmata. commit | commitdiff | tree | snapshot
2009-06-20 Claudio Sacerdoti... Debugging commit | commitdiff | tree | snapshot
2009-06-19 Claudio Sacerdoti... "matitaclean all" ported to NG commit | commitdiff | tree | snapshot
2009-06-19 Claudio Sacerdoti... Invert dependencies between baseuris (files) are now... commit | commitdiff | tree | snapshot
2009-06-19 Claudio Sacerdoti... Bug fixed: refreshing of uris for the db. commit | commitdiff | tree | snapshot
2009-06-19 Wilmer RicciottiMore improvements. commit | commitdiff | tree | snapshot
2009-06-19 Claudio Sacerdoti... The global db is now updated during decompilation. commit | commitdiff | tree | snapshot
2009-06-19 Claudio Sacerdoti... Persistent db (to lookup names in the library) ineffici... commit | commitdiff | tree | snapshot
2009-06-19 Claudio Sacerdoti... NG decompilation is now activated. However, it is calle... commit | commitdiff | tree | snapshot
2009-06-19 Claudio Sacerdoti... Estatus finally merged into the global status using... commit | commitdiff | tree | snapshot
2009-06-19 Claudio Sacerdoti... Useless GrafiteTypes.get_baseuri removed. commit | commitdiff | tree | snapshot
2009-06-19 Claudio Sacerdoti... More statuses converted to objects. commit | commitdiff | tree | snapshot
2009-06-19 Claudio Sacerdoti... Good: commit | commitdiff | tree | snapshot
2009-06-18 Enrico Tassidebug pps removed commit | commitdiff | tree | snapshot
2009-06-18 Enrico Tassibetter exception handling commit | commitdiff | tree | snapshot
2009-06-18 Enrico Tassiproof patching! commit | commitdiff | tree | snapshot
2009-06-18 Claudio Sacerdoti... Objects are now used to represent also the tactic status. commit | commitdiff | tree | snapshot
2009-06-18 denesAdded ntry and nassumption tactics commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.