P

pracer

This repository contains the PRacer race detection tools. PRacer is a provably-good race detector for Cilk-P programs. PRacer uses a modified version of the Cilk-P runtime system, so that code is also included.

Project ID: 5174742
Name
Last commit
Last update
batched-piper Loading commit data...
piper-bench Loading commit data...
piper-rts/include Loading commit data...
rdtool Loading commit data...
README.md Loading commit data...
build-llvm-linux.sh Loading commit data...
run_benchmark.py Loading commit data...
setup.sh Loading commit data...