utpalbora / drb_fortran Star 1 Code Issues Pull requests DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools fortran openmp program-verification llvm-ir race-detection data-race-detection dataracebench-fortran-kernels Updated May 28, 2020 Fortran
utpalbora / OmpSCR_v2.0 Star 1 Code Issues Pull requests Clone of OmpSCR v2.0 with modifications openmp shared-memory program-verification sword archer race-detection parallel-programming shared-memory-parallel helgrind data-race-detection llov romp valgrind-drd Updated May 16, 2020 Fortran
IITH-Compilers / drb_fortran Star 0 Code Issues Pull requests DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools fortran openmp program-verification llvm-ir race-detection data-race-detection dataracebench-fortran-kernels Updated Oct 17, 2019 Fortran