Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Bring back snapshot comparison in safety
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 2 Apr 2015 11:28:35 +0000 (13:28 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 2 Apr 2015 11:28:35 +0000 (13:28 +0200)
commit5f20457600525f4dffdecd11aa759539a3195340
tree0627dddcd8386da541c8acbcce54618871814a33
parentf875edb3c8ebff56ebfb9341d198bdf498a51618
[mc] Bring back snapshot comparison in safety
src/mc/mc_visited.c