projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f5f526) | patch
check_recency: implement loops as function ModelAction::may_read_from()
authorBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 03:25:29 +0000 (19:25 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 03:28:33 +0000 (19:28 -0800)
commit89bcfc74c2999b15984759e5b0eab4a9c46feaf3
treea178a32a386f1e60192761d75f699c59759d0c04tree | snapshot
parent5f5f526a141aa4727cb37920212623c8afffa1f6commit | diff
check_recency: implement loops as function ModelAction::may_read_from()

This strange loop makes more sense with a name, associated with the
ModelAction class.
action.cc diff | blob | history
action.h diff | blob | history
model.cc diff | blob | history
C++11 memory model checker