Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : factorization of code for model-checking of safety properties in...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Jun 2012 09:34:27 +0000 (11:34 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Jun 2012 09:34:41 +0000 (11:34 +0200)
commita26485609e54f8f4cfe82e9e1d7364431654830a
tree69cbc7682f614df6ffe68a26464e1b24f832c0dd
parentca2d61f8f4e7d4f82a4dc9bd909188eeb870bc9f
model-checker : factorization of code for model-checking of safety properties in stateless or stateful
include/msg/msg.h
include/simgrid/modelchecker.h
src/include/mc/mc.h
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_private.h
src/mc/mc_state.c
src/msg/msg_global.c