projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9aae08b) | patch
model: set thread state during 'swap' calls
authorBrian Norris <banorris@uci.edu>
Tue, 12 Feb 2013 20:53:20 +0000 (12:53 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 12 Feb 2013 20:57:33 +0000 (12:57 -0800)
commit1cdcdc24156572a63fd8261a7a3dd2f04ca6648c
tree10d574a9bc9fdad597c8354a48177a244e44f53ftree | snapshot
parent9aae08ba6d60aa253039d2da1c3571fdde2ac159commit | diff
model: set thread state during 'swap' calls

Rather than setting thread-state from subtle places within ModelChecker,
it makes more logical sense to set it from withing the Thread::swap
functions.
model.cc diff | blob | history
threads.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.