projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c49d1c1) | patch
promise: move thread_is_eliminated()
authorBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 20:49:01 +0000 (12:49 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 20:49:01 +0000 (12:49 -0800)
commitac4c9ec2a1ddb227fbe88ee505f7126485b94cb9
tree5f4292af7562b5c132be605907c3635ccb7a932etree | snapshot
parentc49d1c1de40847e0133b61137422005ec1cc69fdcommit | diff
promise: move thread_is_eliminated()

Should be in the implementation file, not the header.
promise.cc diff | blob | history
promise.h diff | blob | history
C++11 memory model checker