projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae712e3) | patch
Ignoring FP benchmarks with "unsafe" sizes unless option (#2931)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 4 Apr 2019 17:31:21 +0000 (12:31 -0500)
committerGitHub <noreply@github.com>
Thu, 4 Apr 2019 17:31:21 +0000 (12:31 -0500)
commita44c62c18a8380c089764decdd4c533268b4ef30
treee79af51595bc33ed0101b9552085173351b193e7tree
parentae712e32aae0947205f506f7caacc670311c6763commit | diff
Ignoring FP benchmarks with "unsafe" sizes unless option (#2931)
src/options/fp_options.toml diff | blob | history
src/theory/fp/theory_fp.cpp diff | blob | history
test/regress/regress0/fp/abs-unsound.smt2 diff | blob | history
test/regress/regress0/fp/abs-unsound2.smt2 diff | blob | history
test/regress/regress0/fp/wrong-model.smt2 diff | blob | history