Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge master into mc-process
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 12 Feb 2015 15:03:51 +0000 (16:03 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 12 Feb 2015 15:31:24 +0000 (16:31 +0100)
commitffe8ce65fd9a8e18a0469f26f067c3ea6d5d60d4
tree649df0e30877daae08a8c6f779e169e3382fe5e3
parenteb261664cc90426f7dede99a570454748801a357
parent0ccbaaa805875e64f29ceb8434e17c7de99b050c
Merge master into mc-process
14 files changed:
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/bugged1_liveness_sparse.tesh
examples/msg/mc/bugged1_liveness_visited.tesh
examples/msg/mc/bugged1_liveness_visited_sparse.tesh
src/mc/mc_checkpoint.c
src/mc/mc_comm_determinism.c
src/mc/mc_forward.h
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_private.h
src/mc/mc_safety.c
src/mc/mc_visited.c
src/simix/smx_global.c
src/smpi/smpi_bench.c