Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move liveness in MCer process
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 7 Apr 2015 10:59:10 +0000 (12:59 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 9 Apr 2015 11:04:49 +0000 (13:04 +0200)
commit152ae176ced6c0cf415a15a491476488389ce2ab
tree34bf1f120333c32ff282ce67a30916b6789600fe
parentc3ac58f9e63770cca194ec50390ac8ccc8e499e8
[mc] Move liveness in MCer process
15 files changed:
examples/msg/mc/bugged1_liveness.c
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
examples/msg/mc/bugged2_liveness.c
include/xbt/ex.h
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_liveness.h
src/mc/mc_server.cpp
src/mc/mc_server.h
src/mc/mc_visited.c
src/mc/simgrid_mc.cpp
src/msg/msg_mailbox.c