projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61623d7) | patch
Minor change to defaults, update smt comp script, minor changes to options in regress...
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 31 May 2017 16:11:02 +0000 (11:11 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 31 May 2017 16:11:22 +0000 (11:11 -0500)
commit8fdc49e1bc53fb99050c3c46b9a8ba8541cf851b
tree532ae530f41e22437b6b847ee57b99547a662707tree
parent61623d7bfb05143e52013db3610b63d632e61d92commit | diff
Minor change to defaults, update smt comp script, minor changes to options in regressions.
19 files changed:
contrib/run-script-smtcomp2017 diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
test/regress/regress0/bv/bv-int-collapse2-sat.smt2 diff | blob | history
test/regress/regress0/bv/cmu-rdk-3.smt2 diff | blob | history
test/regress/regress0/fmf/fmf-fun-no-elim-ext-arith.smt2 diff | blob | history
test/regress/regress0/fmf/fmf-fun-no-elim-ext-arith2.smt2 diff | blob | history
test/regress/regress0/quantifiers/Makefile.am diff | blob | history
test/regress/regress0/quantifiers/RND-small.smt2 diff | blob | history
test/regress/regress0/quantifiers/anti-sk-simp.smt2 diff | blob | history
test/regress/regress0/quantifiers/ari056.smt2 diff | blob | history
test/regress/regress0/quantifiers/cbqi-lia-dt-simp.smt2 diff | blob | history
test/regress/regress0/quantifiers/cbqi-sdlx-fixpoint-3-dd.smt2 [new file with mode: 0644] blob
test/regress/regress0/quantifiers/delta-simp.smt2 diff | blob | history
test/regress/regress0/quantifiers/mix-coeff.smt2 diff | blob | history
test/regress/regress0/quantifiers/mix-complete-strat.smt2 diff | blob | history
test/regress/regress0/quantifiers/mix-simp.smt2 diff | blob | history
test/regress/regress0/quantifiers/psyco-196.smt2 diff | blob | history
test/regress/regress0/quantifiers/pure_dt_cbqi.smt2 diff | blob | history
test/regress/regress1/bug519.smt2 diff | blob | history