Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
merge conflict resolved
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 12:44:30 +0000 (13:44 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 12:44:30 +0000 (13:44 +0100)
commitc5ad8ca1a68bbaa9152471c8d0eeb99d762f0d86
tree5736becb75f66df7f4350e9e5ce6fedebcde1b71
parent4024bb916273e018b05e52cfcf0789c9de52cf72
parente661126772f552f2054d584f62466a751d9fb0f1
merge conflict resolved
include/simix/simix.h
src/mc/mc_checkpoint.c
src/mc/mc_liveness.c
src/mc/private.h
src/simix/smx_network.c