Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use std::vector for liveness {Pair,VisitedPair}::atomic_propositions
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:03:41 +0000 (14:03 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:14:13 +0000 (14:14 +0200)
commit517f86be9ef7be0099cc50dfd103786fc80552d1
tree264528b9f0137d3dd7064eeea72f2711444244b5
parent09ea3507017c74093a3e9a1ed4541db91bfafb31
[mc] Use std::vector for liveness {Pair,VisitedPair}::atomic_propositions
src/mc/LivenessChecker.cpp
src/mc/LivenessChecker.hpp