projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd34ddf) | patch
hashtable: enforce, document non-zero keys
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 16:49:01 +0000 (09:49 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 18:38:01 +0000 (11:38 -0700)
commit896f385f6690cfbe51ea1c07d7361a01914e9f9f
tree5587695cf6f498192cddab33795b8fefa5028a1atree | snapshot
parentdd34ddf490dd97c2c202092c8fa44064a07f8c4fcommit | diff
hashtable: enforce, document non-zero keys

HashTable does not support a key of "zero." ...
hashtable.h diff | blob | history
C++11 memory model checker