Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'mc++' into mc-merge
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 28 Feb 2014 08:33:45 +0000 (09:33 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 28 Feb 2014 08:33:45 +0000 (09:33 +0100)
commit6de03ecc4e630732984a0673512a5d15fd75e270
tree7ebb06f93a2adab9331d1c5156cb6874806529c3
parent45c3f1cfee86fb48c96d53f8267f99b6db6e3d7a
parentf5e7be54257e7ba0ea181f0990656a2d63693d00
Merge branch 'mc++' into mc-merge
13 files changed:
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/bugged1_liveness_visited.tesh
src/include/mc/datatypes.h
src/include/mc/mc.h
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_private.h
src/mc/mc_request.c
src/simgrid/sg_config.c
src/smpi/smpi_base.c
src/xbt/mmalloc/mm_diff.c