projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 484bbec) | patch
Replace boost::integer_traits with std::numeric_limits. (#2439)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 7 Sep 2018 19:31:20 +0000 (12:31 -0700)
committerGitHub <noreply@github.com>
Fri, 7 Sep 2018 19:31:20 +0000 (12:31 -0700)
commit564f61f602b407e0598be762923853042a0e4aab
tree5db1d0894573004b350a88d4833a75e436006cc6tree
parent484bbecf7b0106c0ab5478df326fe62dc866f5fdcommit | diff
Replace boost::integer_traits with std::numeric_limits. (#2439)

Further, remove redundant gmp.h include in options_handler.cpp.
src/options/options_handler.cpp diff | blob | history
src/util/dense_map.h diff | blob | history