projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 551ed6f) | patch
libthreads: pass 'class Thread' object as ModelAction 'location'
authorBrian Norris <banorris@uci.edu>
Tue, 29 May 2012 17:17:23 +0000 (10:17 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 29 May 2012 21:39:22 +0000 (14:39 -0700)
commitc3ec6bb763ab72e04596bbdfb534578aab545d8f
tree6766db4bd364dff5f18e31142f87152fded842d7tree | snapshot
parent551ed6f7408e5376b3ea355997e378a1f2387e69commit | diff
libthreads: pass 'class Thread' object as ModelAction 'location'

Currently, the 'location' parameter is unused for THREAD_CREATE. I need to
provide a reference from a Thread object to the ModelAction which created it,
so I will use this parameter as an entry point into the ModelChecker, which can
build the necessary reference later.
libthreads.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.