Minor improvements to infrastructure. Minor changes to default options. Add tff scrip...
authorajreynol <andrew.j.reynolds@gmail.com>
Sun, 10 May 2015 17:44:58 +0000 (19:44 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Sun, 10 May 2015 17:44:58 +0000 (19:44 +0200)
commita0cb1add6db449c64c6ca63bc219761c8bc4a4de
treec4072771a8674ada219c544f9b01e7d288088ce6
parent57ddd8117fb4fd38912e3baac31d22d355f91e6b
Minor improvements to infrastructure. Minor changes to default options. Add tff script. Minor additions to sygus.
14 files changed:
contrib/run-script-casc25-fnt
contrib/run-script-casc25-fof
contrib/run-script-casc25-tff [new file with mode: 0644]
src/smt/smt_engine.cpp
src/theory/quantifiers/ce_guided_instantiation.cpp
src/theory/quantifiers/ce_guided_instantiation.h
src/theory/quantifiers/model_engine.cpp
src/theory/quantifiers/model_engine.h
src/theory/quantifiers/options
src/theory/quantifiers/term_database.cpp
src/theory/quantifiers/term_database.h
src/theory/quantifiers_engine.cpp
src/theory/quantifiers_engine.h
test/regress/regress0/push-pop/bug326.smt2