projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 261dbf9) | patch
model: add ModelChecker::get_last_seq_cst()
authorBrian Norris <banorris@uci.edu>
Fri, 13 Jul 2012 00:43:47 +0000 (17:43 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 13 Jul 2012 00:43:47 +0000 (17:43 -0700)
commit596b1d23fb2612df9ae569f17dbb3017a6e0aef7
treeec752522e6778e794f046bc65a562b14739cdfd9tree | snapshot
parent261dbf935562b373816022f39765400c46c71b03commit | diff
model: add ModelChecker::get_last_seq_cst()

Add a function to get the last memory_order_seq_cst action (in the total global
sequence) performed on a particular object (i.e., memory location). Will be
used for build_reads_from_past().
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker