AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

author	Gabriel Corona <gabriel.corona@loria.fr>
	Tue, 1 Sep 2015 11:44:07 +0000 (13:44 +0200)
committer	Gabriel Corona <gabriel.corona@loria.fr>
	Tue, 1 Sep 2015 11:44:07 +0000 (13:44 +0200)
commit	ba5400c9278f4f61cf8319210a5edda78e0c5bd8
tree	9d3641e2823aa6e75d9dd89ef5f2b08e42dba31e	tree \| snapshot
parent	081d9a7934fdb03eb4f4c1bc10a33463f739e295	commit \| diff

[mc] Remove the --cfg=model-check:1 flag

It is not useless: model-checking is enabled when we use the simgrid-mc wrapper.

44 files changed:

doc/doxygen/options.doc		diff \| blob \| history
examples/msg/mc/bugged1.tesh		diff \| blob \| history
examples/msg/mc/bugged1_liveness.tesh		diff \| blob \| history
examples/msg/mc/bugged1_liveness_sparse.tesh		diff \| blob \| history
examples/msg/mc/bugged1_liveness_stack_cleaner		diff \| blob \| history
examples/msg/mc/bugged1_liveness_visited.tesh		diff \| blob \| history
examples/msg/mc/bugged1_liveness_visited_sparse.tesh		diff \| blob \| history
examples/msg/mc/bugged2.tesh		diff \| blob \| history
examples/msg/mc/centralized.tesh		diff \| blob \| history
examples/smpi/mc/bugged1_liveness.c		diff \| blob \| history
examples/smpi/mc/non_deterministic.tesh		diff \| blob \| history
examples/smpi/mc/only_send_deterministic.c		diff \| blob \| history
examples/smpi/mc/only_send_deterministic.tesh		diff \| blob \| history
src/mc/mc_config.cpp		diff \| blob \| history
src/mc/simgrid_mc.cpp		diff \| blob \| history
src/simgrid/sg_config.c		diff \| blob \| history
src/simix/smx_global.c		diff \| blob \| history
teshsuite/mc/mutex_handling.tesh		diff \| blob \| history
teshsuite/mc/no_mutex_handling.tesh		diff \| blob \| history
teshsuite/mc/replay/random_bug.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/any_src-can-deadlock10.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/any_src-can-deadlock4.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/any_src-can-deadlock5.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/any_src-can-deadlock6.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/any_src-wait-deadlock.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/any_src-waitall-deadlock2.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/any_src-waitall-deadlock3.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/any_src-waitany-deadlock.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/any_src-waitany-deadlock2.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/basic-deadlock-comm_create.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/basic-deadlock-comm_dup.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/basic-deadlock-comm_split.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/basic-deadlock.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/bcast-deadlock.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/collective-misorder-allreduce.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/collective-misorder.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/complex-deadlock.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/deadlock-config.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/finalize-deadlock.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/irecv-deadlock.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/no-error.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/no-error2.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/no-error3-any_src.tesh		diff \| blob \| history
teshsuite/smpi/isp/umpire/no-error3.tesh		diff \| blob \| history

Clone of SimGrid repository with local patches

RSS Atom