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 9 months ago
Alternatives and similar repositories for MPI-Checker
Users that are interested in MPI-Checker are comparing it to the libraries listed below
Sorting:
- [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)☆43Updated 7 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆38Updated 6 months ago
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- Parallel GDB developed for debugging HPC code at Lawrence Livermore National Laboratory.☆32Updated 9 years ago
- ☆20Updated 9 years ago
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- libhio is a library intended for writing data to hierarchical data store systems.☆20Updated 4 years ago
- STAT - the Stack Trace Analysis Tool☆67Updated 3 weeks ago
- Dynamic execution environments for coupled, thread-heterogeneous MPI+X applications☆21Updated 2 months ago
- MPI wrapper generator, for writing PMPI tool libraries☆34Updated 2 months ago
- GOTCHA is a library for wrapping function calls in shared libraries☆75Updated 2 months ago
- Ravel MPI trace visualization tool☆30Updated 3 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆93Updated 2 months ago
- Directions for installing ICC compiler on Travis CI☆49Updated 5 years ago
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆52Updated 10 years ago
- Virtualization Layer for the MPI Profiling Interface☆21Updated 3 years ago
- High-level framework for stencil computations☆40Updated 10 years 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
- Scalable Integer Sort application for co-design in the exascale era☆19Updated 4 years ago
- YASK--Yet Another Stencil Kit: a domain-specific language and framework to create high-performance stencil code for implementing finite-d…☆107Updated 10 months ago
- Heterogeneous Active Messages C++ library☆21Updated 5 years ago
- An implementation of ARMCI using MPI one-sided communication (RMA)☆14Updated 7 months ago
- A Multi-purpose, Application-Centric, Scalable I/O Proxy Application☆34Updated 4 years ago
- Example applications and tools for DASH☆12Updated 2 years ago
- ReMPI (MPI Record-and-Replay)☆39Updated last year
- ☆23Updated 6 years ago
- This repository is now stale. You should be looking at the open-mpi/ompi repository instead.☆35Updated 8 years ago
- floating-point errors checker☆57Updated 3 weeks ago
- A hydrodynamics mini-app to solve the compressible Euler equations in 2D, using an explicit, second-order method.☆56Updated 4 years ago
- 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 5 years ago