Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : restore struct smx_ctx_sysv in smx_context_sysv.c
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 8 Oct 2012 12:35:58 +0000 (14:35 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 8 Oct 2012 12:41:59 +0000 (14:41 +0200)
commit0b892a9de2e4218184dc0b0726773f386bb38b65
treec4d0346cdb2ec41ae9f97da45c65c1a19e3e2613
parentd75ef6e9678695260b8dd7aa6394e7972a670f56
model-checker : restore struct smx_ctx_sysv in smx_context_sysv.c
src/include/mc/datatypes.h
src/include/mc/mc.h
src/mc/mc_checkpoint.c
src/mc/mc_global.c
src/simix/smx_context_base.c
src/simix/smx_context_sysv.c
src/simix/smx_private.h