projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ccc301a) | patch
BV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_XOR) with special const. (...
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 17 Oct 2018 16:22:44 +0000 (09:22 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Sat, 20 Oct 2018 03:09:26 +0000 (20:09 -0700)
commitb0f19c0eeb62ddd3759aa73fe8ae7a85019c3709
tree1e7fb012a4161a27145a98e65466c11a34af4be4tree
parentccc301aa495153b3a2bd1b3958cc49cef65b09cccommit | diff
BV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_XOR) with special const. (#2647)
src/theory/bv/theory_bv_rewrite_rules.h diff | blob | history
src/theory/bv/theory_bv_rewrite_rules_simplification.h diff | blob | history
src/theory/bv/theory_bv_rewriter.cpp diff | blob | history