projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8bc4a0) | patch
action: add happens_before() function
authorBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 08:56:50 +0000 (01:56 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 08:56:50 +0000 (01:56 -0700)
commitcb9b254332794ea63d0089b21b498f4a5301f08b
treea31a00fc484590617dd402f0dd42cd50e793c0a3tree | snapshot
parente8bc4a0715ce1c86f3ff7d24179e1164bf3ee61bcommit | diff
action: add happens_before() function

Now I can easily compare two ModelActions with the happens_before()
relationship. Of course, the clock vectors are not fully complete yet, but
this sets the stage...
action.cc diff | blob | history
action.h diff | blob | history
C++11 memory model checker