projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9580c5b) | patch
model: kill lock_waiters_map
authorBrian Norris <banorris@uci.edu>
Wed, 3 Apr 2013 00:48:59 +0000 (17:48 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Apr 2013 00:48:59 +0000 (17:48 -0700)
commitd1e11baca91adc67244597858f1b63abfb1d5507
tree7daa2270ead7cbb536516dc9c76176c7a15b5216tree | snapshot
parent9580c5beb0b9e5425d77ddb142e18574d0dea16ccommit | diff
model: kill lock_waiters_map

This information can be gleaned without the need for a hash-table of
lists.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker