projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab287cb) | patch
librace: actually compute the loads and stores
authorBrian Norris <banorris@uci.edu>
Tue, 15 May 2012 17:03:30 +0000 (10:03 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 15 May 2012 17:03:30 +0000 (10:03 -0700)
commit33b5b3edcfd8e5a2c0349c60be2bef6da08d1e33
treef9bded87eb4d5f643924032ac58018c782a8721atree | snapshot
parentab287cbc807422f31a4626cd755378b72e9294b3commit | diff
librace: actually compute the loads and stores

We need to perform the actual load or store within our race detection library,
since the model checker totally takes over the operation.
librace.cc diff | blob | history
C++11 memory model checker