https://github.com/spirali/aislinn-llvm
Dynamic verifier for MPI programs (old experimental version)
https://github.com/spirali/aislinn-llvm
Last synced: 10 days ago
JSON representation
Dynamic verifier for MPI programs (old experimental version)
- Host: GitHub
- URL: https://github.com/spirali/aislinn-llvm
- Owner: spirali
- License: other
- Created: 2014-05-18T13:42:20.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2014-05-29T19:52:38.000Z (about 12 years ago)
- Last Synced: 2025-03-02T19:25:00.716Z (over 1 year ago)
- Language: C++
- Homepage:
- Size: 324 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
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 [LLVM](http://llvm.org)
* Released under Illinois Open Source license (same as LLVM)
* Source avaible on [GitHub](https://github.com/spirali/aislinn)
* Project is currently in a very early state of development
## Author
Stanislav Böhm (stanislav.bohm /at/ vsb /dot/ cz)