projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a84b54e) | patch
Add rewrites for BITVECTOR_ITE and BITVECTOR_COMP with const condition/child. (#2259)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 2 Aug 2018 18:52:32 +0000 (11:52 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Aug 2018 18:52:32 +0000 (11:52 -0700)
commitdb53123fe114732b647f87e6dd6ee756ca43c291
treef2fb9d6da8489ff6e68e1991f845739260da4f08tree
parenta84b54ea155251af6254237816e449589591b33ccommit | diff
Add rewrites for BITVECTOR_ITE and BITVECTOR_COMP with const condition/child. (#2259)
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
src/theory/bv/theory_bv_utils.cpp diff | blob | history