Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Cross-process access to smx_process and simcall
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 23 Feb 2015 15:08:17 +0000 (16:08 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 6 Mar 2015 14:16:28 +0000 (15:16 +0100)
commit95bcda88a7fcfa168381cba0eedadb1e4937d0b3
treee832cc03f2cda8b7fb280330440b897198b1f2fb
parent12755512ab785b31d6a0789317fe5302fc2fe019
[mc] Cross-process access to smx_process and simcall

Process and host names are not handled yet.
15 files changed:
include/xbt/dynar.h
src/mc/mc_base.c
src/mc/mc_checkpoint.c
src/mc/mc_client.h
src/mc/mc_comm_determinism.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_model_checker.h
src/mc/mc_process.c
src/mc/mc_process.h
src/mc/mc_record.c
src/mc/mc_request.c
src/mc/mc_safety.c
src/mc/mc_state.c
src/xbt/dynar.c