Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use std::list instead of xbt_fifo for the stack in LivenessChecker
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 08:08:51 +0000 (10:08 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:14:13 +0000 (14:14 +0200)
commit110611a47775c196abcea00af670b876147961ab
tree03e9fdafcc7a1e944d3b4d0cded6e06e8767c3a9
parentf474a77e0107e0c21add2fdf89541491736e20c8
[mc] Use std::list instead of xbt_fifo for the stack in LivenessChecker
src/mc/LivenessChecker.cpp
src/mc/LivenessChecker.hpp