Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Mark the smpi_exit call as noreturn, and really kill the process when exit is called