Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: llvm-openmp-verifier

utpalbora/LLOV

LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

Language: C++ - Size: 296 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 19 - Forks: 5

Related Keywords
clang 1 data-race 1 dataracebench-fortran 1 flang 1 fortran 1 llvm 1 llvm-ir 1 llvm-openmp-verifier 1 openmp 1 openmp-programs 1 openmp-verification 1 polly 1 program-verification 1 race-checker 1 race-conditions 1 race-detection 1 race-detector 1 static-analysis 1