projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b4754b) | patch
fix src/util/hash.h to specialize GNU's hash template for <uint64_t> on platforms...
authorMorgan Deters <mdeters@gmail.com>
Tue, 21 Feb 2012 22:13:05 +0000 (22:13 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 21 Feb 2012 22:13:05 +0000 (22:13 +0000)
commitc0377cdf4aad1e4d7b073c91887db91f357c6395
tree5d587b8f45b06b1449a8622a2042c0047f491bf9tree
parent8b4754b8116c029b5314fccb39f200a6d0e90abdcommit | diff
fix src/util/hash.h to specialize GNU's hash template for <uint64_t> on platforms that need it; fixes Mac builds.
configure.ac diff | blob | history
src/expr/pickler.h diff | blob | history
src/util/hash.h diff | blob | history