projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f77119) | patch
threads: construct Thread only with a given "parent"
authorBrian Norris <banorris@uci.edu>
Mon, 25 Feb 2013 23:15:28 +0000 (15:15 -0800)
committerBrian Norris <banorris@uci.edu>
Mon, 25 Feb 2013 23:15:28 +0000 (15:15 -0800)
commitad52dcdb3a75a69242a392165934e942cb76513b
tree7e6f8da24cb690f40eb11b4db4efa4bf8046f720tree | snapshot
parent3f77119600ac3aa246258dec2776056d09f8e4e0commit | diff
threads: construct Thread only with a given "parent"

The Thread constructor really doesn't need to call thread_current(),
since it will always be called from model-checker context. Clean up the
use of default "parent_thrd" parameter and just pass NULL when we have
no parent.
model.cc diff | blob | history
threads-model.h diff | blob | history
threads.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.