projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57ddd81) | patch
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
treec4072771a8674ada219c544f9b01e7d288088ce6tree
parent57ddd8117fb4fd38912e3baac31d22d355f91e6bcommit | diff
Minor improvements to infrastructure. Minor changes to default options. Add tff script. Minor additions to sygus.
14 files changed:
contrib/run-script-casc25-fnt diff | blob | history
contrib/run-script-casc25-fof diff | blob | history
contrib/run-script-casc25-tff [new file with mode: 0644] blob
src/smt/smt_engine.cpp diff | blob | history
src/theory/quantifiers/ce_guided_instantiation.cpp diff | blob | history
src/theory/quantifiers/ce_guided_instantiation.h diff | blob | history
src/theory/quantifiers/model_engine.cpp diff | blob | history
src/theory/quantifiers/model_engine.h diff | blob | history
src/theory/quantifiers/options diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers/term_database.h diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/quantifiers_engine.h diff | blob | history
test/regress/regress0/push-pop/bug326.smt2 diff | blob | history