medfall

A super great game engine
Log | Files | Refs

README.md (215B)

      1 # Relacy Race Detector
      2 Meticulous synchronization algorithm verifier for relaxed memory models
      3 
      4 http://www.1024cores.net/home/relacy-race-detector
      5 http://www.1024cores.net/home/relacy-race-detector/rrd-introduction