Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] s/getRecordElement/getTransition/
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 09:39:26 +0000 (11:39 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 09:39:26 +0000 (11:39 +0200)
commit0caecdf74ead0d19cc3b13eeb96dcd206243d71e
tree38179f86b464a53107480565acfb03108059e31c
parentebc5f7ed172f242031fc644120ce45f690b619bc
[mc] s/getRecordElement/getTransition/
src/mc/CommunicationDeterminismChecker.cpp
src/mc/LivenessChecker.cpp
src/mc/SafetyChecker.cpp
src/mc/mc_state.cpp
src/mc/mc_state.h