Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Enable record in liveness mode
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 2 Jun 2015 08:25:21 +0000 (10:25 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 2 Jun 2015 10:33:18 +0000 (12:33 +0200)
commit942789218cace0afa16c2b7eb2d8d4a0e34879d5
tree3880c446c0aa9c5388054e81947a226822bbeb6c
parent14460e2efad473d45e734f28e78732ac9184237a
[mc] Enable record in liveness mode
src/mc/mc_liveness.cpp
src/mc/mc_record.cpp