Dynamic verifier for MPI programs
Switch branches/tags
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
benchmarks
bin
doc
include
src
tests
.gitignore
COPYING
INSTALL
README.md
waf
wscript

README.md

Aislinn

Aislinn is a dynamic verifier for MPI programs. The goal is to provide a memory error detector and a performance analyzer that checks in one execution all possible runs with respect to nondeterminism introduced by MPI. Aislinn operates directly on unmodified C/C++ code.

Basic information

Author

Stanislav Böhm (stanislav.bohm /at/ vsb /dot/ cz)