projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0f19c0) | patch
BV rewrites (mined): Rule 35: ConcatPullUp with special const simplified. (#2647)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 17 Oct 2018 21:26:32 +0000 (14:26 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Sat, 20 Oct 2018 03:09:26 +0000 (20:09 -0700)
commit6690518dee7cfa2dce3edec2ffc11e8780d41838
tree7d6fc566fe51ef657e1534d2bcb0849eba9df866tree
parentb0f19c0eeb62ddd3759aa73fe8ae7a85019c3709commit | diff
BV rewrites (mined): Rule 35: ConcatPullUp with special const simplified. (#2647)

Simplifications based on the special const is now delegated down, only
the concat is pulled up.
src/theory/bv/theory_bv_rewrite_rules_simplification.h diff | blob | history