projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 509ac9f) | patch
threads: introduce THREAD_ID_T_NONE
authorBrian Norris <banorris@uci.edu>
Fri, 20 Apr 2012 06:28:41 +0000 (23:28 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 20 Apr 2012 06:28:41 +0000 (23:28 -0700)
commitad3c7c39632343541f85667ed6ae2e27bc18d0e9
tree702310095179cb990cee44043a812e4dfcb82826tree | snapshot
parent509ac9f4deb3a676dbb4ed0ee977ac7c983a0af4commit | diff
threads: introduce THREAD_ID_T_NONE

Represents a kind of 'NULL' thread, but for integer IDs.
threads.h diff | blob | history
tree.h diff | blob | history
C++11 memory model checker