projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05a2414) | patch
Moved and simplified bv::utils::intersect. (#1614)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 20 Feb 2018 21:02:00 +0000 (13:02 -0800)
committerGitHub <noreply@github.com>
Tue, 20 Feb 2018 21:02:00 +0000 (13:02 -0800)
commit52ea3ae37d71393d8cb4d213465a2aec44863c4d
tree65531cb5a017b01fe2a229195f68f036f680fdf1tree
parent05a2414a2742ee0c7e5af40ac9c725cb49d1f196commit | diff
Moved and simplified bv::utils::intersect. (#1614)

Tested against the recursive implementation with a temporary assertion on regression tests
with --bv-eq-slicer=auto.
src/theory/bv/slicer.cpp diff | blob | history
src/theory/bv/theory_bv_utils.cpp diff | blob | history