projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 067807a) | patch
threads: save id within class Thread
authorBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 02:22:52 +0000 (19:22 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 02:22:52 +0000 (19:22 -0700)
commita9aac0d43e0e24354af4163cd3161036586f029a
tree93af658fde4d5952e67c6e2b23a320e084c020b3tree | snapshot
parent067807af61c0df207b4ca77660eeb3b6e9e6882ccommit | diff
threads: save id within class Thread

There may be points at which the user's thread ID struct goes out of scope, but
I still need it internally. I think I'll just keep it internally, with a
duplicate in the user's copy.
model.cc diff | blob | history
model.h diff | blob | history
threads.cc diff | blob | history
threads.h diff | blob | history
C++11 memory model checker