Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move the stack as field of SafetyChecker and CommDetChecker
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 4 Apr 2016 13:32:20 +0000 (15:32 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 4 Apr 2016 13:36:00 +0000 (15:36 +0200)
commit2376a01092173679830310f4d57b267445959f97
treedecbbc976968f043a339c1877899e78e71484b61
parentc5309c7efaf73d81f7aa8cb7908348d0db5677fe
[mc] Move the stack as field of SafetyChecker and CommDetChecker
src/mc/CommunicationDeterminismChecker.cpp
src/mc/CommunicationDeterminismChecker.hpp
src/mc/SafetyChecker.cpp
src/mc/SafetyChecker.hpp