]> matita.cs.unibo.it Git - helm.git/history - helm/software
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Added problems from CASC 208
[helm.git] / helm / software /
2009-06-22 denesAdded problems from CASC 208 tree | commitdiff
2009-06-22 denesRegenerated problems with corrected tptp2grafite tree | commitdiff
2009-06-22 denesCorrected proof visiting (topological sort) tree | commitdiff
2009-06-22 denesSmall debugging in tptp2grafite tree | commitdiff
2009-06-21 Wilmer RicciottiAdded injective compose tree | commitdiff
2009-06-21 Ferruccio Guidi- cicNotationPp: bugfix in record syntax tree | commitdiff
2009-06-20 Wilmer RicciottiSome notation and additional lemmata. tree | commitdiff
2009-06-20 Claudio Sacerdoti... Debugging tree | commitdiff
2009-06-19 Claudio Sacerdoti... "matitaclean all" ported to NG tree | commitdiff
2009-06-19 Claudio Sacerdoti... Invert dependencies between baseuris (files) are now... tree | commitdiff
2009-06-19 Claudio Sacerdoti... Bug fixed: refreshing of uris for the db. tree | commitdiff
2009-06-19 Wilmer RicciottiMore improvements. tree | commitdiff
2009-06-19 Claudio Sacerdoti... The global db is now updated during decompilation. tree | commitdiff
2009-06-19 Claudio Sacerdoti... Persistent db (to lookup names in the library) ineffici... tree | commitdiff
2009-06-19 Claudio Sacerdoti... NG decompilation is now activated. However, it is calle... tree | commitdiff
2009-06-19 Claudio Sacerdoti... Estatus finally merged into the global status using... tree | commitdiff
2009-06-19 Claudio Sacerdoti... Useless GrafiteTypes.get_baseuri removed. tree | commitdiff
2009-06-19 Claudio Sacerdoti... More statuses converted to objects. tree | commitdiff
2009-06-19 Claudio Sacerdoti... Good: tree | commitdiff
2009-06-18 Enrico Tassidebug pps removed tree | commitdiff
2009-06-18 Enrico Tassibetter exception handling tree | commitdiff
2009-06-18 Enrico Tassiproof patching! tree | commitdiff
2009-06-18 Claudio Sacerdoti... Objects are now used to represent also the tactic status. tree | commitdiff
2009-06-18 denesAdded ntry and nassumption tactics tree | commitdiff
2009-06-18 Enrico Tassicallbacks were taking in input a status bu were not... tree | commitdiff
2009-06-18 denesFixed stupid path tree | commitdiff
2009-06-18 denesAdded script useful for running benchmarks tree | commitdiff
2009-06-18 denesChanged parenthesis to optional around letin ident... tree | commitdiff
2009-06-18 denesFixed wrong types in proof terms tree | commitdiff
2009-06-18 Claudio Sacerdoti... Stricter type: the type now shows that disambiguation... tree | commitdiff
2009-06-18 Claudio Sacerdoti... 1) grafiteWalker removed tree | commitdiff
2009-06-17 Enrico Tassiproof reconstruction almost OK tree | commitdiff
2009-06-17 Claudio Sacerdoti... Initial implementation of statuses using objects in... tree | commitdiff
2009-06-17 denesAdded optionnal one pass simplification (instead of... tree | commitdiff
2009-06-16 Enrico Tassifirst proof reconstruction attempt, still bugged since it tree | commitdiff
2009-06-16 Claudio Sacerdoti... 1) unification hint now takes NG terms (as it should... tree | commitdiff
2009-06-16 Claudio Sacerdoti... 1) NCicLibrary (which is untrusted) moved after NCicUnt... tree | commitdiff
2009-06-16 Claudio Sacerdoti... Implementation of existential type improved (more stric... tree | commitdiff
2009-06-16 Enrico Tassiavoid fixing non-recursive terms tree | commitdiff
2009-06-16 Enrico Tassiwe fix recursive object reference with the correct... tree | commitdiff
2009-06-16 Claudio Sacerdoti... FIX OF THE PREVIOUS EXPERIMENTAL COMMIT: tree | commitdiff
2009-06-16 Ferruccio Guidiwe corrected some reduction bugs about renaming. tree | commitdiff
2009-06-15 Ferruccio Guidiwe removed some old code and fixed a reduction bug... tree | commitdiff
2009-06-15 Enrico TassiEXPERIMENTAL COMMIT (part B, by CSC :-): tree | commitdiff
2009-06-15 Enrico TassiEXPERIMENTAL COMMIT (by CSC,actuall :-) tree | commitdiff
2009-06-15 Enrico Tassi... tree | commitdiff
2009-06-15 Enrico Tassiadded TODO list tree | commitdiff
2009-06-15 Enrico Tassihuge commit regarding the grafite_status: tree | commitdiff
2009-06-15 Enrico Tassipart of last commit tree | commitdiff
2009-06-15 Enrico Tassitacticals are really tactics now, they have an AST... tree | commitdiff
2009-06-13 Ferruccio Guidiwe removed some coercion detours and we added some... tree | commitdiff
2009-06-12 denesImplemented keep_simplified. tree | commitdiff
2009-06-12 Claudio Sacerdoti... ocaml sucks... tree | commitdiff
2009-06-12 Claudio Sacerdoti... ... tree | commitdiff
2009-06-12 Enrico Tassi-ng implemented tree | commitdiff
2009-06-12 Andrea AspertiAdded a new keep_simplified function tree | commitdiff
2009-06-12 Andrea AspertiRenamed forward_simplify into simplify and backward_sim... tree | commitdiff
2009-06-11 denesActive goals are now demodulated after selecting a... tree | commitdiff
2009-06-11 Ferruccio Guidi- applyTransformation: bugfix in the rendering of records tree | commitdiff
2009-06-11 Enrico Tassicontent2pres for the new cic fixed tree | commitdiff
2009-06-11 Ferruccio Guidi- some depend files fixed tree | commitdiff
2009-06-10 Ferruccio Guidi- library/list/list.ma: unused code commented tree | commitdiff
2009-06-10 Enrico Tassi1) added simplification of actives w.r.t. selected tree | commitdiff
2009-06-10 Enrico Tassiright inference step completed tree | commitdiff
2009-06-10 Enrico Tassinew function filter_map_acc tree | commitdiff
2009-06-10 denesExtended the equality case to non ground terms tree | commitdiff
2009-06-09 Ferruccio Guidi- Procedural: more support for the Debug inline option... tree | commitdiff
2009-06-09 Claudio Sacerdoti... Debugging code removed. tree | commitdiff
2009-06-09 Claudio Sacerdoti... Temporary (and partially broken) patch for Ferruccio... tree | commitdiff
2009-06-09 Enrico Tassialmost complete superposition right step tree | commitdiff
2009-06-09 Enrico Tassisnapshot tree | commitdiff
2009-06-09 Enrico Tassisee the previous commit tree | commitdiff
2009-06-09 Enrico TassitermAcicContent is logic independent (despite its name... tree | commitdiff
2009-06-09 denesOptimized weigths comparison, removed normalization tree | commitdiff
2009-06-09 Enrico Tassisnaphost: supright almost done tree | commitdiff
2009-06-09 Enrico Tassi... tree | commitdiff
2009-06-09 Enrico Tassi... tree | commitdiff
2009-06-09 denesImplemented substitution application and concatenation tree | commitdiff
2009-06-09 Enrico Tassi... tree | commitdiff
2009-06-09 Enrico Tassifixed metas tree | commitdiff
2009-06-09 Enrico Tassifixed building tree | commitdiff
2009-06-08 Enrico Tassi... tree | commitdiff
2009-06-08 Enrico Tassia skeleton of supright tree | commitdiff
2009-06-08 Enrico Tassisome more functors and a nice higher-order all_position... tree | commitdiff
2009-06-08 Enrico Tassiadded META for ng_paramodulation tree | commitdiff
2009-06-06 Claudio Sacerdoti... Previous commit reverted, as explained in that log. tree | commitdiff
2009-06-06 Claudio Sacerdoti... This commit restores the ids_to_father_ids table. tree | commitdiff
2009-06-06 Enrico Tassisome renaming to make ocamlopt happy tree | commitdiff
2009-06-05 Ferruccio Guidibugfix in Include syntax: it was changed and committed... tree | commitdiff
2009-06-05 Ferruccio Guidi- Procedural convertible rewrites in the conclusion... tree | commitdiff
2009-06-05 denesFirst tests for paramodulation (pretty printer, unifica... tree | commitdiff
2009-06-05 Wilmer Ricciotti- replaced part1a/defn with the version based on induct... tree | commitdiff
2009-06-05 denesFix : wrong exception was catch in apply_subst tree | commitdiff
2009-06-05 Claudio Sacerdoti... 1) the home button of CicBrowser now works also for NG tree | commitdiff
2009-06-05 Claudio Sacerdoti... The kernel _must_ check the correctness of the height... tree | commitdiff
2009-06-04 Ferruccio Guidisyntax error fixed :( tree | commitdiff
2009-06-04 Ferruccio Guidi- doubleTypeInference: we check for unreferenced letins... tree | commitdiff
2009-06-04 denesFirst pretty printing functions tree | commitdiff
2009-06-04 Enrico Tassiminor changes here and there. We extend fo-unification... tree | commitdiff
2009-06-04 Enrico Tassicomments tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.