projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 026c5b1) | patch
BV rewrites (mined): Rule 35: Generalized ConcatPullUp (BITVECTOR_AND) with 0 (#2596).
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 12 Oct 2018 21:21:35 +0000 (14:21 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Tue, 16 Oct 2018 17:49:10 +0000 (10:49 -0700)
commita22ba7352eff8178a5fefce72497fb7667a35f45
tree5d0225431c48fc6fc61ceb8fa13bc285dd29ed89tree
parent026c5b171924e7e8411215aec0a3d8305f99af47commit | diff
BV rewrites (mined): Rule 35: Generalized ConcatPullUp (BITVECTOR_AND) with 0 (#2596).
src/theory/bv/theory_bv_rewrite_rules_simplification.h diff | blob | history