projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9e8710) | patch
model: bugfix - release sequences - handle Thread completion
authorBrian Norris <banorris@uci.edu>
Tue, 25 Sep 2012 23:39:07 +0000 (16:39 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 25 Sep 2012 23:52:52 +0000 (16:52 -0700)
commitcf29a02731b7257e13cd9f666a920339fe581040
tree7c0740d281b8066fd344cfe65213e3031340bbbbtree | snapshot
parentc9e8710d3fc3e6915676c088511c9ff37c023de7commit | diff
model: bugfix - release sequences - handle Thread completion

A completed Thread cannot generate any new writes that would break release
sequences.
model.cc diff | blob | history
C++11 memory model checker