projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4159ba4) | patch
model: refactor build_reads_from_past
authorBrian Norris <banorris@uci.edu>
Mon, 3 Dec 2012 21:05:55 +0000 (13:05 -0800)
committerBrian Norris <banorris@uci.edu>
Mon, 3 Dec 2012 21:05:55 +0000 (13:05 -0800)
commit43144df37c0f1bb5b4efc4cf1bd2908b6cf440b9
tree68fc1480a5d1b2c11bf3639809b99191e4ca22dbtree | snapshot
parent4159ba45e83f6542e3a3320e83bca9fbaf2da3eacommit | diff
model: refactor build_reads_from_past

Just rearrange the logic a little, to prepare for some other additions.
model.cc diff | blob | history
C++11 memory model checker