projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2e1760) | patch
More robust fix for 32bit issues. (#7735)
authorGereon Kremer <gkremer@stanford.edu>
Sat, 4 Dec 2021 01:40:40 +0000 (17:40 -0800)
committerGitHub <noreply@github.com>
Sat, 4 Dec 2021 01:40:40 +0000 (01:40 +0000)
commit930256658ba51dd20a0aaaf4077d1b9e8f032ad8
treeb436c1b16887c512777c9154260c5f7a25b1aeb8tree
parentc2e17604dda0f221a2232daa89ee580da2877315commit | diff
More robust fix for 32bit issues. (#7735)

This PR implements a more robust fix for the 32bit issues with GMP. Relying on mpz_sizeinbase proves to be very tricky for the corner cases. This PR instead does a simple comparison against the min and max values of the respective types.
src/util/integer_gmp_imp.cpp diff | blob | history