Hi, sorry, unfortunately not yet. I'm developing the checker in the course of my bachelor thesis. So there will be an extensive text about the tool but this will take about 2 more months until finished. If there is something specific missing or worth extending in the readmes I will try to add that. Feel free to send me an email.
Best regards, Alex On 31.05.15 18:51, Hammond, Simon David (-EXP) wrote:
Alex, Do you have a paper on the tool we could look at? Thanks S -- Si Hammond Scalable Computer Architectures Sandia National Laboratories, NM [Sent remotely, please excuse typing errors] ________________________________ From: users <users-boun...@open-mpi.org> on behalf of Alexander Droste <alexander.ra.dro...@googlemail.com> Sent: Saturday, May 30, 2015 5:47:36 AM To: us...@open-mpi.org Subject: [EXTERNAL] [OMPI users] MPI-Checker - Static Analyzer Hi everyone, I've written a Static Analyzer Checker for MPI code which is published on GitHub https://github.com/0ax1/MPI-Checker. I'd be exited to get any kind of feedback. Best regards, Alex _______________________________________________ users mailing list us...@open-mpi.org Subscription: http://www.open-mpi.org/mailman/listinfo.cgi/users Link to this post: http://www.open-mpi.org/community/lists/users/2015/05/27000.php _______________________________________________ users mailing list us...@open-mpi.org Subscription: http://www.open-mpi.org/mailman/listinfo.cgi/users Link to this post: http://www.open-mpi.org/community/lists/users/2015/05/27004.php
