projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7bd9b5a) | patch
model: hook up 'read-from-promise' backtracking in ModelChecker
authorBrian Norris <banorris@uci.edu>
Wed, 27 Feb 2013 00:15:50 +0000 (16:15 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 03:40:41 +0000 (19:40 -0800)
commit8afe95aa67927b0afde92acb88956e6c1c952985
treee0d2cf0168788ec885003dda19f5802ea360f82etree | snapshot
parent7bd9b5a1446863dc1a9de9683476f5a480dfba91commit | diff
model: hook up 'read-from-promise' backtracking in ModelChecker

Now we iterate over the read-from-promise set. Some things are still
missing.
model.cc diff | blob | history
nodestack.cc diff | blob | history
C++11 memory model checker