Need help with relacy?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

dvyukov
132 Stars 22 Forks Other 19 Commits 6 Opened issues

Description

Automatically exported from code.google.com/p/relacy

Services available

!
?

Need anything else?

Contributors list

# 1,869
Go
Linux
Shell
golang
8 commits
# 80,709
ffmpeg
gbz80
concate...
forth
5 commits
# 116,350
Shell
React
meteor
GraphQL
3 commits

Build Status

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

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.