Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix comm_determinism to work in split MCer/MCed
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 13 Apr 2015 09:48:49 +0000 (11:48 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 14 Apr 2015 10:54:59 +0000 (12:54 +0200)
commitda7ddf47cca7f83884a15a05778d3909fd0e4cfd
treec683a2468b74a125e6f6dc782d5f7195b395df7f
parent6385f8047016115eac6b22e850d468f34a178aa0
[mc] Fix comm_determinism to work in split MCer/MCed
examples/smpi/mc/only_send_deterministic.tesh
src/mc/mc_comm_determinism.c
src/mc/mc_comm_pattern.c
src/mc/mc_comm_pattern.h
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_safety.c