projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70c3b78) | patch
model: add obj_thrd_map
authorBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 02:17:51 +0000 (19:17 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 03:39:00 +0000 (20:39 -0700)
commit5734b17b928d722e2c6a37c4e152c0dcbf58175d
treee987f0680fa90a0196f68b769c1ce7ab7bf80af5tree | snapshot
parent70c3b7833efcbe08999f135201119f107259026acommit | diff
model: add obj_thrd_map

Provides a mapping of ModelActions so that we can efficiently sort through the
actions on a particular object (memory location) in a particular thread.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker