projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 292b2c5) | patch
Avoid ambiguous overloads in BitVector (#2169)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sun, 15 Jul 2018 11:25:57 +0000 (04:25 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Sun, 15 Jul 2018 11:25:57 +0000 (04:25 -0700)
commitd4c49e755a53e7333c7638a5aeafe8baa2ea56d3
treed5e31f1b318cf85ed511c37f9afc5ab836700386tree
parent292b2c5712ce31282ac3ec564f268ee7f0aa3506commit | diff
Avoid ambiguous overloads in BitVector (#2169)

`long` is a 32-bit integer on Windows. CVC4's BitVector class had a
constructor for `unsigned int` and `unsigned long`, which lead to issues
with the new CVC4 C++ API because the two constructors were ambiguous
overloads. This commit changes the constructors to use `uint32_t` and
`uint64_t`, which are plattform independent and more explicit (mirroring
src/theory/fp/fp_converter.cpp diff | blob | history
src/util/bitvector.h diff | blob | history