Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : switch between data program and data libsimgrid for comparison of...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 24 May 2012 08:37:08 +0000 (10:37 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 24 May 2012 08:37:08 +0000 (10:37 +0200)
commitf3c8c23cc7784052a0cce9a77975d4dcfe4ba903
treef7487f2ad29bc947f61fa6660b6fcb7abd81821c
parent26297efc616fc667196ae1e721faeaff35f715c6
model-checker : switch between data program and data libsimgrid for comparison of regions
src/mc/mc_liveness.c