Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use separate configuration flags for comm determinism and send determ...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 24 Feb 2014 17:39:18 +0000 (18:39 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Feb 2014 08:50:46 +0000 (09:50 +0100)
commit5352b98fee2f44e66feb3a3fe9110782d98a779f
treef17213f9ff653378b3a85f570f3e60fbb3cb6d60
parentc938dd8ed16398a3ab62eb83071bfe2ca4f6a91c
model-checker : use separate configuration flags for comm determinism and send determinism detection
src/include/mc/mc.h
src/mc/mc_dpor.c
src/mc/mc_global.c
src/simgrid/sg_config.c