Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : non-progressive cycle detection (enabled with --cfg=model-check/termi...
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 24 Feb 2015 13:05:54 +0000 (14:05 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 24 Feb 2015 16:26:24 +0000 (17:26 +0100)
commitd8710e879515b185393e2fa3a53d7377853cd25c
tree76fd1bf66aa7e9f9d29a2e7c0fcbd7eec0010fcf
parent2c4d8c756e13c86df7dd3dd60be1a4d984aad999
model-checker : non-progressive cycle detection (enabled with --cfg=model-check/termination:1)
examples/smpi/CMakeLists.txt
src/include/mc/mc.h
src/mc/mc_compare.cpp
src/mc/mc_config.c
src/mc/mc_global.c
src/mc/mc_private.h
src/mc/mc_safety.c
src/mc/mc_state.c
src/simgrid/sg_config.c