projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e5131c) | patch
model: promises: eliminate threads when they "join"
authorBrian Norris <banorris@uci.edu>
Tue, 26 Feb 2013 01:04:13 +0000 (17:04 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 26 Feb 2013 01:06:18 +0000 (17:06 -0800)
commitdbee0c57f6edff31aafb79d6e956f1408bbb8fb8
treec2d9b658c67e112157b5f4785ca934ef8ad0a987tree | snapshot
parent2e5131c376bfa003e1254a92a298dae2d2abc027commit | diff
model: promises: eliminate threads when they "join"

A thread that joins with another thread can no longer satisfy a promise
from that thread.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker