projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f24c24) | patch
promise: rename increment_threads() -> eliminate_thread()
authorBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 19:38:43 +0000 (11:38 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 19:41:50 +0000 (11:41 -0800)
commit8cebf02d9a4c9f0fe80af04f6276f4978f3b93f5
tree9f8969493c4d26043d5d3660fa7877c491bbae04tree | snapshot
parent3f24c24a6fd349da74351946477b85d807709410commit | diff
promise: rename increment_threads() -> eliminate_thread()

This function name really doesn't describe what it does, in my opinion.
Update the name and add a description.
cyclegraph.cc diff | blob | history
model.cc diff | blob | history
promise.cc diff | blob | history
promise.h diff | blob | history
C++11 memory model checker