projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5702922) | patch
Add explicit 64bit getters for Integer class (#7728)
authorGereon Kremer <gkremer@stanford.edu>
Thu, 2 Dec 2021 22:33:04 +0000 (14:33 -0800)
committerGitHub <noreply@github.com>
Thu, 2 Dec 2021 22:33:04 +0000 (22:33 +0000)
commitcb4274dd5dfc403b410b63de2b396cdd323d2e9f
tree27567a5c2f0c06f64bcea367d597f64f213c1efftree
parent5702922272d93a75ec86e6deace058271be42e2acommit | diff
Add explicit 64bit getters for Integer class (#7728)

This PR addresses a few issues on our 32bit builds. Most importantly, it adds int64_t Integer::getSigned64() and uint64_t Integer::getUnsigned64().
src/api/cpp/cvc5.cpp diff | blob | history
src/util/integer_cln_imp.cpp diff | blob | history
src/util/integer_cln_imp.h diff | blob | history
src/util/integer_gmp_imp.cpp diff | blob | history
src/util/integer_gmp_imp.h diff | blob | history
test/unit/util/integer_black.cpp diff | blob | history