projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c832cb5) | patch
fix bug...can't mo_check_promises until we're done resolving promises for a write...
authorBrian Demsky <bdemsky@uci.edu>
Thu, 4 Oct 2012 08:32:45 +0000 (01:32 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 4 Oct 2012 08:32:45 +0000 (01:32 -0700)
commitcd61f25e9775d3807c09f0606a69440604ef1821
tree28af6b7a5ac3bd9ac4dc7968d3588b92adf26577tree | snapshot
parentc832cb55af09e735821ae3463bc37c29d3fa27c8commit | diff
fix bug...can't mo_check_promises until we're done resolving promises for a write back in time
model.cc diff | blob | history
C++11 memory model checker