relacy icon indicating copy to clipboard operation
relacy copied to clipboard

Published 20 hours ago • verified publisher icon dvyukov
→

Metadata

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

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

← Metadata

183
Stars
28
Forks
Watchers

Owner

verified publisher icon dvyukov

Metadata

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

Back