projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 821a9d9) | patch
Better hash function for pairs (#1157)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 29 Sep 2017 08:14:51 +0000 (01:14 -0700)
committerGitHub <noreply@github.com>
Fri, 29 Sep 2017 08:14:51 +0000 (01:14 -0700)
commitc884127d6d3cc3444a18ec8a9fb9a5096ae482b0
treef7ca4007c7ff1bc0e2c1644e4cfd0a1c909225bftree
parent821a9d90914fca4a13bc29f8ff15fb4220cbd1d4commit | diff
Better hash function for pairs (#1157)

CVC4 was computing hashes for pairs of objects by simply XORing the
hashes of the two objects. This commit implements a better way of
combining hashes based on the FNV-1a hash algorithm. The algorithm is
public domain.
src/util/hash.h diff | blob | history