Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "rename SIMIX_process_get_maxpid() to SIMIX_process_get_nextpid() and make...