Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use process addresses in mc_compare
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 16 Jun 2014 12:50:42 +0000 (14:50 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 16 Jun 2014 13:02:20 +0000 (15:02 +0200)
This is necessary in order to work work with per-page snapshots.


No differences found