projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2157ec) | patch
BV rewrites (mined): Rule 35: Generalized ConcatPullUp (BITVECTOR_AND) with ones...
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 16 Oct 2018 01:12:00 +0000 (18:12 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Tue, 16 Oct 2018 17:49:10 +0000 (10:49 -0700)
commitfb00b860208a159d5fc57966d3ce600ba5b5346a
treeb32159352c664ce1522814b52552d65f25fed5ddtree
parenta2157ec8a1a34a1b12a5d8f49529b835ac62d001commit | diff
BV rewrites (mined): Rule 35: Generalized ConcatPullUp (BITVECTOR_AND) with ones (#2596).
src/theory/bv/theory_bv_rewrite_rules_simplification.h diff | blob | history