]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/paramodulation
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ocaml 3.09 transition
[helm.git] / helm / ocaml / paramodulation /
2005-10-27 Claudio Sacerdoti... ... tree | commitdiff
2005-10-25 Andrea Aspertiexperimental version tree | commitdiff
2005-10-25 Claudio Sacerdoti... Every exception that used to have type string is now... tree | commitdiff
2005-10-25 Andrea Aspertireadme file tree | commitdiff
2005-10-17 Alberto Griggioadded some comments; general code cleanup tree | commitdiff
2005-10-12 Alberto Griggiofixed a couple of bugs that broke tests... tree | commitdiff
2005-10-11 Alberto Griggiofixed bugs in Indexing.find_matches and Saturation... tree | commitdiff
2005-10-10 Alberto Griggiofixed a bug (status not reset properly between calls... tree | commitdiff
2005-10-05 Stefano Zacchirolirebuilt tree | commitdiff
2005-09-29 Alberto Griggioupgraded code to work with non-default equalities tree | commitdiff
2005-09-26 Claudio Sacerdoti... Inclusion path fixed. tree | commitdiff
2005-09-26 Alberto Griggionew paramodulation tree | commitdiff
2005-09-26 Alberto Griggio*** empty log message *** tree | commitdiff
2005-09-23 Claudio Sacerdoti... New module HMysql (to abstract over Mysql and make... tree | commitdiff
2005-09-21 Claudio Sacerdoti... ... tree | commitdiff
2005-09-21 Alberto Griggiobugfix on proof construction tree | commitdiff
2005-09-21 Claudio Sacerdoti... All the debug_print are now lazy. tree | commitdiff
2005-09-19 Claudio Sacerdoti... This commit (partially) removes a big source of ineffic... tree | commitdiff
2005-09-19 Claudio Sacerdoti... Profiling code commented out. tree | commitdiff
2005-09-13 Claudio Sacerdoti... Two bugs fixed in the apply tactic: tree | commitdiff
2005-09-06 Alberto Griggioadded dirty hack to blacklist mult_n_2, which causes... tree | commitdiff
2005-09-06 Claudio Sacerdoti... ... tree | commitdiff
2005-09-01 Alberto Griggiochanged default parameter values... tree | commitdiff
2005-09-01 Claudio Sacerdoti... Comment added. tree | commitdiff
2005-08-31 Alberto Griggiofixed bug in compute_equality_weight caused by wrong... tree | commitdiff
2005-08-22 Alberto Griggiosome fixes tree | commitdiff
2005-08-05 Alberto Griggiosome bugs fixed tree | commitdiff
2005-08-01 Alberto Griggiofixed compilation warnings tree | commitdiff
2005-07-28 Claudio Sacerdoti... arguments of ProofEngineHelpers.replace swapped. tree | commitdiff
2005-07-22 Alberto Griggio- better exception handling tree | commitdiff
2005-07-21 Alberto Griggioadded some typechecks to avoid using equations with... tree | commitdiff
2005-07-21 Alberto Griggiodependencies tree | commitdiff
2005-07-21 Alberto Griggioremoved .depend from .cvsignore tree | commitdiff
2005-07-21 Alberto Griggioadded some typechecks to avoid using equations with... tree | commitdiff
2005-07-21 Alberto Griggioadded CicNotation.load_notation call to disambiguate... tree | commitdiff
2005-07-21 Alberto Griggioremoved old broken code tree | commitdiff
2005-07-21 Alberto Griggiomodifications/fixes for the integration with auto tree | commitdiff
2005-07-21 Alberto Griggioentry point of the stand-alone saturate tree | commitdiff
2005-07-18 Alberto Griggioadding library support (not ready yet) tree | commitdiff
2005-07-11 Alberto Griggionow proofs have the correct type :-) tree | commitdiff
2005-07-08 Claudio Sacerdoti... 1. PrimitiveTactics.new_metasenv_for_apply changed... tree | commitdiff
2005-07-01 Alberto Griggiofixed bug in proof generation, new weight function... tree | commitdiff
2005-07-01 Alberto Griggioremoved first Cic.term from type equality, added an... tree | commitdiff
2005-06-30 Alberto Griggioproofs are now built lazily at the end of the computation tree | commitdiff
2005-06-29 Alberto Griggiovarious updates, removed proofs for now because they... tree | commitdiff
2005-06-23 Alberto Griggioadded various profiling statistics... tree | commitdiff
2005-06-22 Alberto Griggioreverted to previous version, as it worked better... tree | commitdiff
2005-06-22 Alberto Griggiouse of discrimination trees instead of path indexes... tree | commitdiff
2005-06-22 Alberto Griggiotrie structure implementation tree | commitdiff
2005-06-20 Alberto Griggiosome optimizations... tree | commitdiff
2005-06-20 Alberto Griggiotesting... tree | commitdiff
2005-06-20 Alberto Griggio*** empty log message *** tree | commitdiff
2005-06-20 Alberto Griggiodiscrimination trees tree | commitdiff
2005-06-19 Alberto Griggiolimited-resource-strategy implementation (now working!) tree | commitdiff
2005-06-19 Alberto Griggiopath indexing integration, limited-resource-strategy... tree | commitdiff
2005-06-19 Alberto Griggiopath indexing integration tree | commitdiff
2005-06-19 Alberto Griggiopath indexing working! tree | commitdiff
2005-06-17 Alberto Griggioprofiling experiments... tree | commitdiff
2005-06-15 Alberto Griggionow something works... tree | commitdiff
2005-06-10 Alberto Griggiointegrated indexing.ml, breaks everything :-P (previous... tree | commitdiff
2005-06-09 Alberto Griggioprima implementazione di demodulate, superposition_left... tree | commitdiff
2005-06-09 Alberto Griggiocambiato il tipo equality, aggiunto l'ordinamento tra... tree | commitdiff
2005-06-07 Alberto Griggio*** empty log message *** tree | commitdiff
2005-06-07 Andrea AspertiMy two pennies. tree | commitdiff
2005-05-19 Alberto Griggioadded lpo term-ordering tree | commitdiff
2005-05-19 Alberto Griggiovarious optimizations (to paramodulation and passive... tree | commitdiff
2005-05-15 Alberto Griggioadded saturation.opt to the ignore list tree | commitdiff
2005-05-15 Alberto Griggiofixes (mainly) to demodulation and meta_convertibility tree | commitdiff
2005-05-13 Alberto Griggiofixed demodulation bug tree | commitdiff
2005-05-13 Alberto Griggiomoved string_of_equality into utils tree | commitdiff
2005-05-12 Alberto Griggiofirst commit of paramodulation-based theorem proving... tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.