projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3ec6bb) | patch
threads: add 'creation' information
authorBrian Norris <banorris@uci.edu>
Tue, 29 May 2012 17:21:06 +0000 (10:21 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 29 May 2012 21:39:22 +0000 (14:39 -0700)
commit96f9065dff50a8cf382977123deb6bbd98dc78a6
treecf686436e41c27e783dbe26132b845184573345atree | snapshot
parentc3ec6bb763ab72e04596bbdfb534578aab545d8fcommit | diff
threads: add 'creation' information

The 'creation' field will hold the ModelAction that created the thread. For the
main user-thread, this is NULL.
threads.h diff | blob | history
C++11 memory model checker