projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ccb7650) | patch
promise: rename has_sync_thread() -> thread_is_eliminated()
authorBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 20:36:28 +0000 (12:36 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 20:38:49 +0000 (12:38 -0800)
commitc49d1c1de40847e0133b61137422005ec1cc69fd
treeec62ab69e67d302054bb15756298c11ed77ae368tree | snapshot
parentccb7650d28bc49534bfb75de43447900cd048461commit | diff
promise: rename has_sync_thread() -> thread_is_eliminated()

This function doesn't actually check for synchronization; there are
numerous ways to be eliminated.
model.cc diff | blob | history
promise.cc diff | blob | history
promise.h diff | blob | history
C11 Tester Tool Public Repository