projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 044fb63) | patch
Update default options for sygus (#2586)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 5 Oct 2018 16:13:39 +0000 (11:13 -0500)
committerGitHub <noreply@github.com>
Fri, 5 Oct 2018 16:13:39 +0000 (11:13 -0500)
commit1bd02cac69871158d71c74b23aa94c99cd69bead
tree7675faf1a4c21d40744f3a1dc067964eb1b6ada5tree
parent044fb6315119e0ad2f1ce57354f72d20ff4c6dc7commit | diff
Update default options for sygus (#2586)
src/options/quantifiers_options.toml diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/datatypes/datatypes_sygus.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_pbe.cpp diff | blob | history
test/regress/regress0/sygus/check-generic-red.sy diff | blob | history
test/regress/regress1/sygus/array_search_5-Q-easy.sy diff | blob | history
test/regress/regress1/sygus/car_3.lus.sy diff | blob | history
test/regress/regress1/sygus/clock-inc-tuple.sy diff | blob | history
test/regress/regress1/sygus/commutative-stream.sy diff | blob | history
test/regress/regress1/sygus/logiccell_help.sy diff | blob | history
test/regress/regress1/sygus/sygus-dt.sy diff | blob | history