Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use std::shared_ptr for VisitedPair in LivenessChecker
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 11:27:15 +0000 (13:27 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:14:13 +0000 (14:14 +0200)
commit520b0f15d0e4c1a831be0041652f7ae8e60850a4
tree63cf27494b060c8e920d44837c2788f11f2d4545
parentc4cb92bbcc9633702ea82169a57e6d14119a0e5b
[mc] Use std::shared_ptr for VisitedPair in LivenessChecker
src/mc/LivenessChecker.cpp
src/mc/LivenessChecker.hpp