From: Geof Sawaya (Geof.Sawaya_at_[hidden])
Date: 2011-02-28 17:52:43
Dear users of MPI.NET:
I'm writing you to announce the release of ISP.NET at http://isp.codeplex.com .
This is a new release of the University of Utah's Gauss Group's tool ISP (http://www.cs.utah.edu/fv/ISP-release), a code level verifier for MPI programs (that checks for deadlocks, assertion violations, and other MPI issues over all relevant interleavings of the MPI processes).
New features include:
*Support for MPI.NET
*Visual Studio extension for VS 2010
*Includes most current ISP core
The Codeplex page includes a release .msi, plus installation and usage instructions. Comments, questions and discussions may also be accessed at Codeplex.
ISP.NET is a great tool to to use to verify MPI.NET programs.
ISP.NET is also a useful learning tool, allowing new MPI / MPI.NET users a way to gain experience with MPI by experimenting and seeing the results without leaving the Visual Studio environment.