https://github.com/spirali/aislinn
Dynamic verifier for MPI programs
https://github.com/spirali/aislinn
Last synced: about 1 year ago
JSON representation
Dynamic verifier for MPI programs
- Host: GitHub
- URL: https://github.com/spirali/aislinn
- Owner: spirali
- License: gpl-2.0
- Created: 2014-07-11T18:36:59.000Z (almost 12 years ago)
- Default Branch: master
- Last Pushed: 2021-05-29T07:53:02.000Z (about 5 years ago)
- Last Synced: 2025-04-09T12:42:59.141Z (about 1 year ago)
- Language: Python
- Homepage: http://verif.cs.vsb.cz/aislinn
- Size: 938 KB
- Stars: 11
- Watchers: 4
- Forks: 1
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
- License: COPYING
Awesome Lists containing this project
README
# 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
* [Homepage](http://verif.cs.vsb.cz/aislinn)
* Based on [Valgrind](http://valgrind.org)
* Released under GPLv2 (same as Valgrind)
* Source avaible on [GitHub](https://github.com/spirali/aislinn)
## Author
Stanislav Böhm (stanislav.bohm /at/ vsb /dot/ cz)