]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2009-06-24 denesNow inserting hypothesis and goal with zero weight
2009-06-24 denesExtended is_identity test
2009-06-24 denesImplemented check for duplicates (in goals)
2009-06-23 denesRemoved old debugging assertion
2009-06-23 Ferruccio Guidi- procedural: basic support for lapply (solves a proble...
2009-06-23 denesRemoved debug printing raising Failure
2009-06-23 denesRemoved debug printing
2009-06-23 denesRewrote the main loop for paramodulation
2009-06-23 Enrico Tassiundo/serialization for universes implemented
2009-06-23 Claudio Sacerdoti... Debugging prerr_endlines removed.
2009-06-23 Claudio Sacerdoti... 1) NCicTypechecker.typecheck_obj removed, since it...
2009-06-23 denesFixed nasty bug in maxvar updating
2009-06-23 Claudio Sacerdoti... - Bug fixed: removed URIs were not removed from the...
2009-06-23 Enrico Tassiremoved problem not in UEQ
2009-06-22 Ferruccio Guidi- nodes count is now working for aut and meta
2009-06-22 denesAdded more precise time information
2009-06-22 denesAdded problems from CASC 208
2009-06-22 denesRegenerated problems with corrected tptp2grafite
2009-06-22 denesCorrected proof visiting (topological sort)
2009-06-22 denesSmall debugging in tptp2grafite
2009-06-21 Wilmer RicciottiAdded injective compose
2009-06-21 Ferruccio Guidi- cicNotationPp: bugfix in record syntax
2009-06-20 Wilmer RicciottiSome notation and additional lemmata.
2009-06-20 Claudio Sacerdoti... Debugging
2009-06-19 Claudio Sacerdoti... "matitaclean all" ported to NG
2009-06-19 Claudio Sacerdoti... Invert dependencies between baseuris (files) are now...
2009-06-19 Claudio Sacerdoti... Bug fixed: refreshing of uris for the db.
2009-06-19 Wilmer RicciottiMore improvements.
2009-06-19 Claudio Sacerdoti... The global db is now updated during decompilation.
2009-06-19 Claudio Sacerdoti... Persistent db (to lookup names in the library) ineffici...
2009-06-19 Claudio Sacerdoti... NG decompilation is now activated. However, it is calle...
2009-06-19 Claudio Sacerdoti... Estatus finally merged into the global status using...
2009-06-19 Claudio Sacerdoti... Useless GrafiteTypes.get_baseuri removed.
2009-06-19 Claudio Sacerdoti... More statuses converted to objects.
2009-06-19 Claudio Sacerdoti... Good:
2009-06-18 Enrico Tassidebug pps removed
2009-06-18 Enrico Tassibetter exception handling
2009-06-18 Enrico Tassiproof patching!
2009-06-18 Claudio Sacerdoti... Objects are now used to represent also the tactic status.
2009-06-18 denesAdded ntry and nassumption tactics
2009-06-18 Enrico Tassicallbacks were taking in input a status bu were not...
2009-06-18 denesFixed stupid path
2009-06-18 denesAdded script useful for running benchmarks
2009-06-18 denesChanged parenthesis to optional around letin ident...
2009-06-18 denesFixed wrong types in proof terms
2009-06-18 Claudio Sacerdoti... Stricter type: the type now shows that disambiguation...
2009-06-18 Claudio Sacerdoti... 1) grafiteWalker removed
2009-06-17 Enrico Tassiproof reconstruction almost OK
2009-06-17 Claudio Sacerdoti... Initial implementation of statuses using objects in...
2009-06-17 denesAdded optionnal one pass simplification (instead of...
2009-06-16 Enrico Tassifirst proof reconstruction attempt, still bugged since it
2009-06-16 Claudio Sacerdoti... 1) unification hint now takes NG terms (as it should...
2009-06-16 Claudio Sacerdoti... 1) NCicLibrary (which is untrusted) moved after NCicUnt...
2009-06-16 Claudio Sacerdoti... Implementation of existential type improved (more stric...
2009-06-16 Enrico Tassiavoid fixing non-recursive terms
2009-06-16 Enrico Tassiwe fix recursive object reference with the correct...
2009-06-16 Claudio Sacerdoti... FIX OF THE PREVIOUS EXPERIMENTAL COMMIT:
2009-06-16 Ferruccio Guidiwe corrected some reduction bugs about renaming.
2009-06-15 Ferruccio Guidiwe removed some old code and fixed a reduction bug...
2009-06-15 Enrico TassiEXPERIMENTAL COMMIT (part B, by CSC :-):
2009-06-15 Enrico TassiEXPERIMENTAL COMMIT (by CSC,actuall :-)
2009-06-15 Enrico Tassi...
2009-06-15 Enrico Tassiadded TODO list
2009-06-15 Enrico Tassihuge commit regarding the grafite_status:
2009-06-15 Enrico Tassipart of last commit
2009-06-15 Enrico Tassitacticals are really tactics now, they have an AST...
2009-06-13 Ferruccio Guidiwe removed some coercion detours and we added some...
2009-06-12 denesImplemented keep_simplified.
2009-06-12 Claudio Sacerdoti... ocaml sucks...
2009-06-12 Claudio Sacerdoti... ...
2009-06-12 Enrico Tassi-ng implemented
2009-06-12 Andrea AspertiAdded a new keep_simplified function
2009-06-12 Andrea AspertiRenamed forward_simplify into simplify and backward_sim...
2009-06-11 denesActive goals are now demodulated after selecting a...
2009-06-11 Ferruccio Guidi- applyTransformation: bugfix in the rendering of records
2009-06-11 Enrico Tassicontent2pres for the new cic fixed
2009-06-11 Ferruccio Guidi- some depend files fixed
2009-06-10 Ferruccio Guidi- library/list/list.ma: unused code commented
2009-06-10 Enrico Tassi1) added simplification of actives w.r.t. selected
2009-06-10 Enrico Tassiright inference step completed
2009-06-10 Enrico Tassinew function filter_map_acc
2009-06-10 denesExtended the equality case to non ground terms
2009-06-09 Ferruccio Guidi- Procedural: more support for the Debug inline option...
2009-06-09 Claudio Sacerdoti... Debugging code removed.
2009-06-09 Claudio Sacerdoti... Temporary (and partially broken) patch for Ferruccio...
2009-06-09 Enrico Tassialmost complete superposition right step
2009-06-09 Enrico Tassisnapshot
2009-06-09 Enrico Tassisee the previous commit
2009-06-09 Enrico TassitermAcicContent is logic independent (despite its name...
2009-06-09 denesOptimized weigths comparison, removed normalization
2009-06-09 Enrico Tassisnaphost: supright almost done
2009-06-09 Enrico Tassi...
2009-06-09 Enrico Tassi...
2009-06-09 denesImplemented substitution application and concatenation
2009-06-09 Enrico Tassi...
2009-06-09 Enrico Tassifixed metas
2009-06-09 Enrico Tassifixed building
2009-06-08 Enrico Tassi...
2009-06-08 Enrico Tassia skeleton of supright
2009-06-08 Enrico Tassisome more functors and a nice higher-order all_position...
next