Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : extend comm determinism verification
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 24 Feb 2015 16:25:36 +0000 (17:25 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 24 Feb 2015 16:26:24 +0000 (17:26 +0100)
commita883120fb94a2ec473ac6ecfba41a69ff1846426
tree709da18b4e1ed1e0382e36d759bdc859b85736f8
parentec38bc5664db40ada68448c162478e0d20189fa0
model-checker : extend comm determinism verification
src/mc/mc_comm_determinism.c
src/mc/mc_comm_pattern.h
src/mc/mc_global.c
src/mc/mc_snapshot.h