Data

Tools

Indexes

Applications

Experiments

Repos

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

Topic: "dataracebench-fortran"

utpalbora/LLOV

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

Language: C++ - Size: 296 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 19 - Forks: 5

Related Topics
clang 1 data-race 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