AND Public Git Repository - simgrid.git/commit

author	Gabriel Corona <gabriel.corona@loria.fr>
	Fri, 17 Apr 2015 10:32:33 +0000 (12:32 +0200)
committer	Gabriel Corona <gabriel.corona@loria.fr>
	Fri, 17 Apr 2015 10:32:33 +0000 (12:32 +0200)
commit	d97d6e19cb366fd112e63d56a9f411d968ee8670
tree	66ac08cbad1ec6ee979f9ae14eb5aa074ef68e84	tree \| snapshot
parent	8139a23d31f0561dc2119001779692c3e0487b52	commit \| diff

[mc] Remove standalone mode and remove MC_do_the_modelcheck_for_real()

27 files changed:

buildtools/Cmake/DefinePackages.cmake		diff \| blob \| history
examples/msg/chord/chord.c		diff \| blob \| history
examples/smpi/mc/only_send_deterministic.tesh		diff \| blob \| history
include/simgrid/modelchecker.h		diff \| blob \| history
src/include/mc/mc.h		diff \| blob \| history
src/mc/mc_base.cpp		diff \| blob \| history
src/mc/mc_client_api.cpp		diff \| blob \| history
src/mc/mc_comm_determinism.cpp		diff \| blob \| history
src/mc/mc_config.cpp		diff \| blob \| history
src/mc/mc_global.cpp		diff \| blob \| history
src/mc/mc_liveness.cpp		diff \| blob \| history
src/mc/mc_model_checker.cpp		diff \| blob \| history
src/mc/mc_protocol.cpp		diff \| blob \| history
src/mc/mc_protocol.h		diff \| blob \| history
src/mc/mc_replay.h	[new file with mode: 0644]	blob
src/mc/mc_safety.cpp		diff \| blob \| history
src/mc/simgrid_mc.cpp		diff \| blob \| history
src/msg/msg_global.c		diff \| blob \| history
src/simgrid/sg_config.c		diff \| blob \| history
src/simix/libsmx.c		diff \| blob \| history
src/simix/smx_global.c		diff \| blob \| history
src/simix/smx_host.c		diff \| blob \| history
src/simix/smx_network.c		diff \| blob \| history
src/simix/smx_process.c		diff \| blob \| history
src/smpi/smpi_base.c		diff \| blob \| history
src/smpi/smpi_bench.c		diff \| blob \| history
src/smpi/smpi_global.c		diff \| blob \| history

Clone of SimGrid repository with local patches