AND Public Git Repository - simgrid.git/commit

author	Gabriel Corona <gabriel.corona@loria.fr>
	Mon, 23 Feb 2015 12:40:14 +0000 (13:40 +0100)
committer	Gabriel Corona <gabriel.corona@loria.fr>
	Thu, 26 Mar 2015 15:02:49 +0000 (16:02 +0100)
commit	e7c2b72c7328c4aade5049a3cc21603a9d27842c
tree	ec8ca5ba71727a414aa6b466ffbca26c941dfcfe	tree \| snapshot
parent	53eb716f62b13f2c4efeb77f137589483bf941ee	commit \| diff

[mc] Cross-process MC/safety implementation

29 files changed:

examples/msg/mc/bugged1.tesh		diff \| blob \| history
examples/msg/mc/bugged2.tesh		diff \| blob \| history
src/mc/mc_base.c		diff \| blob \| history
src/mc/mc_checkpoint.c		diff \| blob \| history
src/mc/mc_client.c		diff \| blob \| history
src/mc/mc_client.h		diff \| blob \| history
src/mc/mc_client_api.c		diff \| blob \| history
src/mc/mc_comm_determinism.c		diff \| blob \| history
src/mc/mc_global.c		diff \| blob \| history
src/mc/mc_ignore.c		diff \| blob \| history
src/mc/mc_liveness.c		diff \| blob \| history
src/mc/mc_model_checker.c		diff \| blob \| history
src/mc/mc_model_checker.h		diff \| blob \| history
src/mc/mc_private.h		diff \| blob \| history
src/mc/mc_process.c		diff \| blob \| history
src/mc/mc_protocol.c		diff \| blob \| history
src/mc/mc_protocol.h		diff \| blob \| history
src/mc/mc_request.c		diff \| blob \| history
src/mc/mc_request.h		diff \| blob \| history
src/mc/mc_safety.c		diff \| blob \| history
src/mc/mc_safety.h		diff \| blob \| history
src/mc/mc_server.cpp		diff \| blob \| history
src/mc/mc_server.h		diff \| blob \| history
src/mc/mc_snapshot.h		diff \| blob \| history
src/mc/mc_state.c		diff \| blob \| history
src/mc/simgrid_mc.cpp		diff \| blob \| history
src/simix/smx_global.c		diff \| blob \| history
teshsuite/mc/replay/random_bug.c		diff \| blob \| history
teshsuite/mc/replay/random_bug.tesh		diff \| blob \| history

Clone of SimGrid repository with local patches