Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove VisitedPair::acceptance_pair
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:18:23 +0000 (14:18 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:18:23 +0000 (14:18 +0200)
commit2b32f4ae7739666694f8f27ff5122c829daa94dc
treecb77203ee5955f13c802455e2060182fb36bd2f7
parent473ec27e22fce9c0e968524b05e174ef440e21bb
[mc] Remove VisitedPair::acceptance_pair
src/mc/LivenessChecker.cpp
src/mc/LivenessChecker.hpp