projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 717ddd1) | patch
model: remove snapshotted 'nextThread'
authorBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 03:40:56 +0000 (19:40 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 03:43:19 +0000 (19:43 -0800)
commitdaacebfae30aab0bc230cfdb5767b20b8ef9eaec
tree02dfdc20acaf30f9fadb32ec9858d64ab38371dbtree | snapshot
parent717ddd114a51764ac33d3d86d6eeb09c7c4aee1bcommit | diff
model: remove snapshotted 'nextThread'

The 'nextThread' field is no longer needed, since I've simplified
take_step().
model.cc diff | blob | history
C++11 memory model checker