Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : rename cfg flag for state comparison reduction with storage of visite...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 20 Nov 2012 17:27:42 +0000 (18:27 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 20 Nov 2012 17:27:42 +0000 (18:27 +0100)
commitb77b96a6fdd5563137a78a3d678bcbfa8bda66db
treef47ddc7c6dda1a9d63979ac775354a5ecb6c1949
parentb95fe69db779388252bffaa53909bd1bf106139d
model-checker : rename cfg flag for state comparison reduction with storage of visited states (stateful->visited)
src/include/mc/mc.h
src/mc/mc_checkpoint.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_private.h
src/surf/surf_config.c
src/xbt/xbt_main.c