openmp-verification

There are 0 repository under openmp-verification topic.

utpalbora / LLOV
LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs
openmp-verification openmp llvm polly clang flang program-verification race-detection data-race dataracebench-fortran static-analysis race-detector openmp-programs llvm-openmp-verifier race-conditions race-checker fortran llvm-ir
Language:C++ 19