0ax1 / MPI-Checker
Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.
☆39Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for MPI-Checker
- [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)☆43Updated 7 years ago
- Program analysis tool based on software performance counters☆56Updated 3 years ago
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆36Updated 2 years ago
- Ravel MPI trace visualization tool☆29Updated 3 years ago
- Virtualization Layer for the MPI Profiling Interface☆21Updated 2 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆88Updated 2 months ago
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆51Updated 9 years ago
- ☆20Updated 9 years ago
- GOTCHA is a library for wrapping function calls in shared libraries☆71Updated 4 months ago
- Dynamic execution environments for coupled, thread-heterogeneous MPI+X applications☆21Updated 8 months ago
- STAT - the Stack Trace Analysis Tool☆65Updated 11 months ago
- Open|SpeedShop is a community effort by The Krell Institute with current direct funding from DOE’s NNSA and Office of Science. It is buil…☆25Updated 2 years ago
- Directions for installing ICC compiler on Travis CI☆49Updated 4 years ago
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated last year
- MPI wrapper generator, for writing PMPI tool libraries☆34Updated 2 years ago
- An implementation of ARMCI using MPI one-sided communication (RMA)☆13Updated last month
- ☆23Updated 5 years ago
- Autonomic Performance Environment for eXascale (APEX)☆38Updated last week
- This is a stale repository and only there for the commit history. All development moved over to the llvm-project repository! Was: LLVM Op…☆17Updated 4 years ago
- floating-point errors checker☆51Updated 3 weeks ago
- Parallel GDB developed for debugging HPC code at Lawrence Livermore National Laboratory.☆32Updated 9 years ago
- OpenSHMEM Application Programming Interface☆51Updated this week
- Visual Analytics Tool for Dragonfly Network-based Supercomputers☆13Updated 7 years ago
- libhio is a library intended for writing data to hierarchical data store systems.☆20Updated 3 years ago
- ReMPI (MPI Record-and-Replay)☆38Updated 5 months ago
- OpenUH - Open Source UH Compiler☆53Updated 7 years ago
- A Monte Carlo transport mini-app for studying new parallel algorithms☆17Updated 3 weeks ago
- A Valgrind tool for Herbie☆90Updated 2 years ago