projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43144df) | patch
action: allow fence ModelActions to have location == NULL
authorBrian Norris <banorris@uci.edu>
Mon, 3 Dec 2012 21:27:58 +0000 (13:27 -0800)
committerBrian Norris <banorris@uci.edu>
Mon, 3 Dec 2012 21:27:58 +0000 (13:27 -0800)
commitb1891221a7e5bd465ea5809c74afba8d33049af9
treee7c74b1f1e51bf7958288dcd809ac265363dfe29tree | snapshot
parent43144df37c0f1bb5b4efc4cf1bd2908b6cf440b9commit | diff
action: allow fence ModelActions to have location == NULL
action.cc diff | blob | history
C++11 memory model checker