projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83f91b9) | patch
Implement and enable --dt-var-exp-quant, cleanup trace messages, minor changes for...
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 3 Sep 2014 15:23:04 +0000 (17:23 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 3 Sep 2014 15:23:04 +0000 (17:23 +0200)
commitec2a8ad5e5be550f4f0c5c3be92ee20bf2977efa
tree6df6b309d0e85a2ab56a293c1849be8b2988044etree
parent83f91b92090ef0231156560f337affc6e5c2a33fcommit | diff
Implement and enable --dt-var-exp-quant, cleanup trace messages, minor changes for relevant term filtering.
src/smt/smt_engine.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history
src/theory/quantifiers/conjecture_generator.cpp diff | blob | history
src/theory/quantifiers/conjecture_generator.h diff | blob | history
src/theory/quantifiers/options diff | blob | history
src/theory/quantifiers/quant_conflict_find.cpp diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
test/regress/regress0/bug567.smt2 diff | blob | history