Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new configuration flag for the detection of determinism in communicat...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 18 Feb 2014 14:33:13 +0000 (15:33 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 18 Feb 2014 14:33:13 +0000 (15:33 +0100)
commitc2086224c80533a59cd9df04879935b5803a98df
treed998d7a2314fccba2de971682dcd857bf8d3bf81
parent5769c08dcefe3f52a7464ba24fb8a20d3ca06a46
model-checker : new configuration flag for the detection of determinism in communications schemes
src/include/mc/mc.h
src/mc/mc_dpor.c
src/mc/mc_global.c
src/simgrid/sg_config.c