projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17921b8) | patch
changing string hash function to use the gnu namespace
authorDejan Jovanović <dejan@cs.nyu.edu>
Sat, 23 Mar 2013 04:27:42 +0000 (00:27 -0400)
committerDejan Jovanović <dejan@cs.nyu.edu>
Sat, 23 Mar 2013 04:27:42 +0000 (00:27 -0400)
commit54b7a17226dd71f25b9f4b0f315ccdb53c1c0292
treef13d53d9442a23dbf664696a45eb04caaed7dc7etree
parent17921b8fabea67fffd7d6a2a4b476dba06f3cb0ccommit | diff
changing string hash function to use the gnu namespace
due to namesapce resolution std namespace was used instead, which hashes the string pointers leading to mayhem
src/util/hash.h diff | blob | history