projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac28941) | patch
unrelacy: define the relacy ASSERT macros, fixup rl::var
authorBrian Norris <banorris@uci.edu>
Sat, 3 Nov 2012 01:19:34 +0000 (18:19 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 3 Nov 2012 01:19:34 +0000 (18:19 -0700)
commit204232f143970fcc7001063af8096da4aec0f3d1
tree6d993f350ee6f7ac2854ec85afa55e7ff792db82tree | snapshot
parentac289415795f6d44f198bf5e11cbfc5e0d0e475dcommit | diff
unrelacy: define the relacy ASSERT macros, fixup rl::var
include/unrelacy.h diff | blob | history
C++11 memory model checker benchmarks