projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8a37b9) | patch
Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, minor...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 10 May 2014 20:14:34 +0000 (15:14 -0500)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 10 May 2014 20:14:48 +0000 (15:14 -0500)
commit8ebd49cb903ba19f9330820d02af08e226c9b791
tree1c8bd32e39330ed4b2d1e070584842bc542a3f92tree
parentf8a37b9ce3a88d211e252c02c5436fcfa360cb73commit | diff
Bug fixes to CBQI.  Add first draft of CASC j7 TFF script.  Add regression, minor changes.
contrib/run-script-cascj7-fof diff | blob | history
contrib/run-script-cascj7-tff [new file with mode: 0755] blob
src/smt/smt_engine.cpp diff | blob | history
src/theory/quantifiers/ambqi_builder.cpp diff | blob | history
src/theory/quantifiers/inst_strategy_cbqi.cpp diff | blob | history
src/theory/quantifiers/inst_strategy_cbqi.h diff | blob | history
src/theory/quantifiers/options diff | blob | history
test/regress/regress0/quantifiers/ARI176e1.smt2 [new file with mode: 0755] blob
test/regress/regress0/quantifiers/Makefile.am diff | blob | history