mpi-forum / mpi-issues

Tickets for the MPI Forum

http://www.mpi-forum.org/

67 stars 8 forks source link

Corrections and edits to the MPI Tools chapter #746

Open mjklemm opened 1 year ago

mjklemm commented 1 year ago

Problem

During RC reading, minor issues have been found with the MPI tools chapter, pages 738-767.

Changes to the Text

See pull request at https://github.com/mpi-forum/mpi-standard/pull/873 for a list of suggested edits.

Impact on Implementations

None.

Impact on Users

Improved readability of the MPI document.

References and Pull Requests

See pull request at https://github.com/mpi-forum/mpi-standard/pull/873 for a list of suggested edits.