Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
jenkins-tsan: use mmap by default, as using RTLD_DEEPBIND is not supported by TSan