projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 495dd30) | patch
model: launch release sequence fixup actions when necessary
authorBrian Norris <banorris@uci.edu>
Sat, 6 Oct 2012 02:20:21 +0000 (19:20 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 05:22:52 +0000 (22:22 -0700)
commitce35fd211d8af2b55dfa6fffc9c09036f3313dcf
treef6c6b0777bfa495c5c743d24516f949d62ade1a2tree | snapshot
parent495dd308fe91920ea85719d8380d9cf28ee85274commit | diff
model: launch release sequence fixup actions when necessary

This should complete the "release sequence fixup" step. The ModelChecker
will launch new fixup actions, associating them with the special
'model_thread'.
model.cc diff | blob | history
C++11 memory model checker