0ax1 / MPI-CheckerLinks
Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.
☆38Updated last year
Alternatives and similar repositories for MPI-Checker
Users that are interested in MPI-Checker are comparing it to the libraries listed below
Sorting:
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- STAT - the Stack Trace Analysis Tool☆67Updated last month
- Archer, a data race detection tool for large OpenMP applications☆65Updated 5 years ago
- [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)☆43Updated 8 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆96Updated 9 months ago
- Parallel GDB developed for debugging HPC code at Lawrence Livermore National Laboratory.☆32Updated 10 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Updated last year
- YASK--Yet Another Stencil Kit: a domain-specific language and framework to create high-performance stencil code for implementing finite-d…☆110Updated 5 months ago
- Virtualization Layer for the MPI Profiling Interface☆22Updated 3 years ago
- Directions for installing ICC compiler on Travis CI