projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18e9e9e) | patch
hashtable: rename ensureptr() to get_safe_ptr()
authorBrian Norris <banorris@uci.edu>
Sat, 11 Aug 2012 01:10:20 +0000 (18:10 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 11 Aug 2012 01:10:20 +0000 (18:10 -0700)
commit88c15be7ff68a7b437fd78d6e5e0ede7aa1dbf6e
tree64bc09c21d9673bef773814100b1bf12eeadd772tree | snapshot
parent18e9e9e8f1bc9c12049520498e06e24d25d8d72dcommit | diff
hashtable: rename ensureptr() to get_safe_ptr()

ensureptr() is kind of vague. This rename -- along with some better description
-- will help clarify what this function does.
hashtable.h diff | blob | history
model.cc diff | blob | history
C++11 memory model checker