projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8279a73) | patch
unrelacy: add some helpers for cleaning up relacy code
authorBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 01:05:33 +0000 (18:05 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 01:05:33 +0000 (18:05 -0700)
commit6e3ab697e4e1630e3f3815b59ec629288ee7a97c
tree4e381433d35fd58ac6fa92395d0aa19b4e34c960tree | snapshot
parent8279a736447839c374f0cd6d55e5621212ae8335commit | diff
unrelacy: add some helpers for cleaning up relacy code

Relacy still uses a few things that I can't easily add, like a ()
operator for std::atomic<T>. We'll still have to replace some things by
hand in test cases written for Relacy.
benchmarks.mk diff | blob | history
include/unrelacy.h [new file with mode: 0644] blob
C++11 memory model checker benchmarks