projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7a9ba3) | patch
This patch slightly generalizes how the std::isfinite function in <cmath> is referred.
authorTim King <taking@google.com>
Sat, 24 Oct 2015 02:03:24 +0000 (19:03 -0700)
committerTim King <taking@google.com>
Sat, 24 Oct 2015 02:03:24 +0000 (19:03 -0700)
commitdbc9516df982e255dfe48a98c95a6ab55326aba6
tree197bc63b0864175c668b66958cc2787d0142318etree
parenta7a9ba359a2a8a26f20ac8fdf5292c4e0e27c76acommit | diff
This patch slightly generalizes how the std::isfinite function in <cmath> is referred.
src/util/rational_gmp_imp.cpp diff | blob | history