projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 765b77b) | patch
datarace: simplify raceCheck{Read,Write}() function interfaces
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 01:46:18 +0000 (18:46 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 01:47:14 +0000 (18:47 -0700)
commitc123ef2c7d98d23474d2d2b121b56b502d75665b
tree11c7f52707e58374646d5bbea2964fbb3bb1e453tree | snapshot
parent765b77b9d1dff55d4f43b03c5aef52e514a8a4cfcommit | diff
datarace: simplify raceCheck{Read,Write}() function interfaces

The user should not have to pass in a ClockVector.
datarace.cc diff | blob | history
datarace.h diff | blob | history
librace.cc diff | blob | history
C++11 memory model checker