Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move mm_diff in mc/
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 16 May 2014 08:54:08 +0000 (10:54 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 16 May 2014 09:32:17 +0000 (11:32 +0200)
mm_diff relies heavily on MC and is not relevant in the xbt/mmalloc
layer anymore. Moreover we probably want to merge it with mc_compare.


No differences found