projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d86cea5) | patch
Make stack popping explicit.
authorBrian Demsky <bdemsky@uci.edu>
Tue, 17 Jul 2012 23:02:27 +0000 (16:02 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Tue, 17 Jul 2012 23:02:27 +0000 (16:02 -0700)
commit87d1cbc6f5149794253614a9f4b435ccd339e04e
tree19691dd0ab78e452c3885aa6f2ed7b6cb68e6adctree | snapshot
parentd86cea5b9a14c8aac805c79422d387ddc8a064b6commit | diff
Make stack popping explicit.

The current check will break in subtle ways as soon as we start to
add reads_from support as the thread selection is no longer the
only backtracking choice.
model.cc diff | blob | history
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
C++11 memory model checker