projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfc4e27) | patch
bv: Add missing BV_EAGER_ATOM proof rule. (#6874)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 14 Jul 2021 03:09:07 +0000 (20:09 -0700)
committerGitHub <noreply@github.com>
Wed, 14 Jul 2021 03:09:07 +0000 (22:09 -0500)
commit4890b90d346b8382ce2de697e2e086c3e59de774
treeb5842ece616f71b6cf11e2b37a5f0c586b4f7357tree
parentbfc4e276709166bfde990357f048cf9ab2c65c6fcommit | diff
bv: Add missing BV_EAGER_ATOM proof rule. (#6874)

Fixes an issue with --proof-eager-checking and --bitblast=eager.
src/theory/bv/bv_solver_simple.cpp diff | blob | history