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