projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65173f9) | patch
model: bugfix - correct the "equality" check for RR coherence
authorBrian Norris <banorris@uci.edu>
Wed, 27 Feb 2013 23:42:17 +0000 (15:42 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 27 Feb 2013 23:44:20 +0000 (15:44 -0800)
commitc2d0d0dd1f069749e1ee19e5203af048e0b26f1c
tree3f3688dd1852888984bb23995dbcc9f0db9d77a1tree | snapshot
parent65173f9717220115340c919eb746bc13386ee902commit | diff
model: bugfix - correct the "equality" check for RR coherence

I made a typo when adding this RR coherence edge.
model.cc diff | blob | history
C++11 memory model checker