mini-extension Mini is a library for tracing MPI applications. This project tries to extend the minI library created by Gmarkomanolis (https://github.com/gmarkomanolis/mini.git), adding new MPI functions and extending already implemented ones.