projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2b7fc2) | patch
promise: add max_available_thread_idx() interface
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 18:45:51 +0000 (11:45 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 18:45:51 +0000 (11:45 -0700)
commit6070a45c81428a5e09909d4beb325150aefd0c52
treebe7b97977222b1bdaceca6120e4b8c9f5a5ab4ddtree | snapshot
parentc2b7fc251420c50f51bf9c7f07f37d82b2bfc068commit | diff
promise: add max_available_thread_idx() interface

To remove an unnecessary use of global/public model->get_num_threads().
cyclegraph.cc diff | blob | history
promise.cc diff | blob | history
promise.h diff | blob | history
C++11 memory model checker