projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f58ecb) | 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)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sun, 27 Jan 2013 18:38:21 +0000 (13:38 -0500)
commit73aa7b9dbc5415b6904539c2dd24683e77ca9b20
tree64d4301b21d3c35c84238cc4242df500f564d3a8tree
parent5f58ecb6638f0e0fe63b67f1790b997684655bddcommit | diff
some fixes for Intel benchmarks regarding quantifiers and datatypes, datatypes theory still crashes for datatypes with boolean subfields

(cherry picked from master bcbf52ffbe0416ecf70bdb644017c338c0540793)
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