projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c71b8a4) | patch
model: more restructuring of read/write processing
authorBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 23:16:30 +0000 (16:16 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 23:17:50 +0000 (16:17 -0700)
commita743578aadfe36cd90d7f9176e04410473c55b93
tree41e3803c198279f6329c4580129303e49a933a2ctree | snapshot
parentc71b8a4681f671a8236a315ae9ce08a49716c37ecommit | diff
model: more restructuring of read/write processing

Make a ModelChecker::process_write function, for symmetry and to shorten the
code portions where the main control flow happens.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker