Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : display address of communication in Wait request if verbose log
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 3 Apr 2013 13:56:28 +0000 (15:56 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 3 Apr 2013 13:56:28 +0000 (15:56 +0200)
commit9002b58078f72d95a7c56d9d774f108195c6e706
treee0ac6fb0b5a6e91bfea9123ac6a3f5c6550b90ef
parente42c0a20b488f6fa0f3bb084bb4429bf9572bea6
model-checker : display address of communication in Wait request if verbose log
examples/msg/mc/chord/chord_liveness.h [deleted file]
src/mc/mc_request.c