projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df2426d) | patch
threads: remove wait_list
authorBrian Norris <banorris@uci.edu>
Wed, 3 Apr 2013 01:11:49 +0000 (18:11 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Apr 2013 01:11:49 +0000 (18:11 -0700)
commited73252cff03383a802a9608a97e5234bc90fcc4
tree32c1b9a05798096408e078300c07103ae556116ftree | snapshot
parentdf2426d1671efd91afbb8606d877bdf1053cc1accommit | diff
threads: remove wait_list

We can glean the "thread waiting" information without recording it
directly in a list for each thread.
model.cc diff | blob | history
threads-model.h diff | blob | history
threads.cc diff | blob | history
C++11 memory model checker