projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74d93da) | patch
model: update pending release sequence list type
authorBrian Norris <banorris@uci.edu>
Thu, 4 Oct 2012 19:15:14 +0000 (12:15 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 4 Oct 2012 20:08:59 +0000 (13:08 -0700)
commit9a89975eb7aa3c818124382fc04cc8e8d51dbaaa
treeb128908d09fbe63e013288dfa01951aa91ccf5a0tree | snapshot
parent74d93da009212a1d375b4fd5baede4dde82f3115commit | diff
model: update pending release sequence list type

In working toward proper resolution of pending release sequences, I will
change the pending release sequence list again. This time, a single list
entry will have the ability to hold all important info regarding a
single release sequence. For now, I only utilize it to store the
'acquire' operation, so there should be no real change in behavior yet.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker