[![Build Status](https://travis-ci.org/dvyukov/relacy.svg?branch=master)](https://travis-ci.org/dvyukov/relacy)

# Relacy Race Detector
Meticulous synchronization algorithm verifier for relaxed memory models

http://www.1024cores.net/home/relacy-race-detector
http://www.1024cores.net/home/relacy-race-detector/rrd-introduction