Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : complete comm pattern only after a comm wait
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 12 May 2014 11:53:59 +0000 (13:53 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 12 May 2014 12:13:26 +0000 (14:13 +0200)
commitd31d76a99df6b4a2d086509df2a70e7e2601a813
treed3569ac0c8d89b93047a0aac26b2ab9d9d60ce58
parent72680ab46a46b8f1ae2dbfb56581968206f4e3b1
model-checker : complete comm pattern only after a comm wait
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_private.h