GitHub - sessionc/mpi-pabble-extractor: An application which can extract parameterised protocol from MPI C source code

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
Linux		Linux
Tests		Tests
Windows		Windows
README.txt		README.txt

Repository files navigation

This is an application which can perform a basic analysis to MPI programs, finding possible deadlocks and communication mismatches. Finally, it will also generate a specification for the MPI program, describing its communication patterns.


This application has two versions, one for windows and the other is for linux-like system. 
Please choose the right version according to your OS.

The MPI files in the Tests folder are tested by the developer.