projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7528e65) | patch
some fixes for Intel benchmarks regarding quantifiers and datatypes, datatypes theory...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 27 Jan 2013 17:35:22 +0000 (11:35 -0600)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 27 Jan 2013 17:35:22 +0000 (11:35 -0600)
commitbcbf52ffbe0416ecf70bdb644017c338c0540793
tree4f0478968f00c97b21d9fe528fa586cf7a227debtree
parent7528e6596c85abc337aa9c795fc2e7627255148ecommit | diff
some fixes for Intel benchmarks regarding quantifiers and datatypes, datatypes theory still crashes for datatypes with boolean subfields
src/smt/smt_engine.cpp diff | blob | history
src/theory/datatypes/options diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history
src/theory/quantifiers/inst_strategy_e_matching.h diff | blob | history
src/theory/quantifiers/instantiation_engine.cpp diff | blob | history