projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d42e02) | patch
Clean up bv utils (part one). (#1580)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 8 Feb 2018 23:19:36 +0000 (15:19 -0800)
committerGitHub <noreply@github.com>
Thu, 8 Feb 2018 23:19:36 +0000 (15:19 -0800)
commit6a4fc643283549556ae3f9c93ead7bbc3066f0fc
tree153a1e20050cd0b5177a7b287c9d7328c3ec4c9btree
parent2d42e02067084617b3efb06a80c2c8003f8797c3commit | diff
Clean up bv utils (part one). (#1580)

This is part one of an effort to clean up bv utils. It addresses review comments not addressed in
#1566 (changes of moved code), removes unused functions and moves a helper to compute the
gcd over Index.
src/theory/bv/slicer.cpp diff | blob | history
src/theory/bv/theory_bv_utils.cpp diff | blob | history
src/theory/bv/theory_bv_utils.h diff | blob | history