projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0696cb0) | patch
threads: add constructor for model-checker thread
authorBrian Norris <banorris@uci.edu>
Sat, 6 Oct 2012 00:50:37 +0000 (17:50 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 05:22:52 +0000 (22:22 -0700)
commitd57536bfa2339bb6b51c8c72a2198425534b8ff6
tree9c86528afb0d20c37179f39bde9c1cdc2e3dccd0tree | snapshot
parent0696cb09629cd168f122a2e134246d79c3c8fd2ccommit | diff
threads: add constructor for model-checker thread

This thread will never have its own stack, and it should never be
inserted into the Scheduler.
threads.cc diff | blob | history
threads.h diff | blob | history
C++11 memory model checker