Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into mc
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 26 May 2014 10:05:12 +0000 (12:05 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 26 May 2014 10:05:12 +0000 (12:05 +0200)
commiteb5b6b0c3c4d9a38bb205b2c8bc9aeeba8674a25
treeff753659ea2584bc71e10aeb015746ec4afb1def
parent8452130aa48a4ecfce975c1fcf002c3b20fb6480
parent6ff4ac7703883a70034b50ea510edba80b6a78bc
Merge branch 'master' into mc
buildtools/Cmake/DefinePackages.cmake
include/xbt/mmalloc.h
src/mc/mc_compare.c
src/xbt/log.c