summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/conjecture_generator.cpp
AgeCommit message (Expand)Author
2015-04-23A few more minor updates to match google repository with CVC4 repositoryClark Barrett
2015-04-21Fix file permissionsClark Barrett
2015-04-09Fix unsat-core issues related to rewrite rules, quantifiers preprocessing, an...ajreynol
2015-04-08Make fun-def quantifiers carry the function app they define, make fun-def uti...ajreynol
2014-12-26Adding an option to the equality engine constructor to treat all constants asDejan Jovanovic
2014-11-28Synchronize conjecture generation with E-matching. Minor fix to --full-satur...ajreynol
2014-11-13More preparation for filtering relevant terms in TermDb.ajreynol
2014-10-28Improve stats in conjecture generator, minor cleanup.ajreynol
2014-10-10Initial draft of CEGQI.ajreynol
2014-10-01Option for more aggressive merging in UEE.ajreynol
2014-09-29Add option for aggressive model filtering in conjecture generator (enumerate ...ajreynol
2014-09-24Fix infinite loop in datatypes enumerator. Minor work on conjecture generator.ajreynol
2014-09-17Refactor entailment filtering for conjecture generator. Other minor cleanup.ajreynol
2014-09-17More refactoring of conjecture generation. Term generation into own class.ajreynol
2014-09-16Bug fix variable triggers with --inst-max-level : use term in EQC with minima...ajreynol
2014-09-16Refactoring of conjecture generator. Determine subgoals are non-canonical ba...ajreynol
2014-09-09Accept user-provided triggers with variable terms. Flush lemmas before quant...ajreynol
2014-09-03Implement and enable --dt-var-exp-quant, cleanup trace messages, minor change...ajreynol
2014-09-03Work on conjecture generator : do not generalize subterms with concrete value...ajreynol
2014-08-01Minor cleanup from previous commit. Better organization for how quantifiers ...ajreynol
2014-07-31New module for generating candidate equality conjectures used in inductive pr...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback