projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: edf8e50) | patch
libthreads: make typedef for 'thread_id_t'
authorBrian Norris <banorris@uci.edu>
Thu, 15 Mar 2012 22:42:36 +0000 (15:42 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 5 Apr 2012 17:05:44 +0000 (10:05 -0700)
commitee547e8eac86141cfa53f3ba0dd7198a5112aff4
treec27ba2a7a60279c0bd82c035ca9a9d0c064804d3tree | snapshot
parentedf8e50ce806cf2d16fa78143bc3e6861aae0772commit | diff
libthreads: make typedef for 'thread_id_t'

Just in case we need to change it later on, let's use it as a named type.
libthreads.h diff | blob | history
C++11 memory model checker