Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix compilation error
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 13:12:15 +0000 (14:12 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 13:12:15 +0000 (14:12 +0100)
commitb7c05078f9a89dba063df2fc7edea55ae1d6a3ed
tree51e3b84005ebc6d0fe441d51e20242685c2e41b9
parentc5ad8ca1a68bbaa9152471c8d0eeb99d762f0d86
model-checker : fix compilation error
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_request.c
src/mc/mc_state.c
src/mc/private.h