projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d352cb) | patch
Storing a std::pair<Key,Data> on CDOhash_map.
authorTim King <taking@cs.nyu.edu>
Mon, 30 Jul 2018 02:02:44 +0000 (19:02 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Mon, 30 Jul 2018 02:02:44 +0000 (19:02 -0700)
commit1f9d6d3c9d836d6219b8aaf717f7129c7710c9c8
tree53fe16a74cba2742e1653e7b90fd8c6f0d2d555etree
parent4d352cb642ef943215711411db7f6f16522b3688commit | diff
Storing a std::pair<Key,Data> on CDOhash_map.

Changing the return type of CDHashMap::iterator* to return a reference. Requires performance testing.
src/context/cdhashmap.h diff | blob | history