Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Type some boolean variable as such
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:17:44 +0000 (14:17 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:17:44 +0000 (14:17 +0200)
commit473ec27e22fce9c0e968524b05e174ef440e21bb
treed3c70497d7b6f3b840ac06ed21dcfb2e45dfe728
parent22a84b6ede7480ce44ce3bd0ecb34165a49d2db3
[mc] Type some boolean variable as such
src/mc/LivenessChecker.cpp
src/mc/LivenessChecker.hpp