AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

author	thiery <thiery@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
	Thu, 2 Dec 2010 17:18:59 +0000 (17:18 +0000)
committer	thiery <thiery@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
	Thu, 2 Dec 2010 17:18:59 +0000 (17:18 +0000)
commit	a6c262a93734a964f6aaaddf59d933398db660ff
tree	f68796f99b77e7f14d2be57060eefaca888cae73	tree \| snapshot
parent	20d5d4cbcb5580189461745935712009a7afbce5	commit \| diff

Cleaner detection of using model-checking.
libgras no longer needs to define _surf_do_model_check.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8912 48e7efb5-ca39-0410-a469-dd3cf9ba447f

src/include/mc/mc.h		diff \| blob \| history
src/mc/mc_global.c		diff \| blob \| history
src/msg/global.c		diff \| blob \| history
src/simix/private.h		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_global.c		diff \| blob \| history
src/surf/surf.c		diff \| blob \| history
src/xbt/mallocator.c		diff \| blob \| history
src/xbt/xbt_rl_time.c		diff \| blob \| history

Clone of SimGrid repository with local patches

RSS Atom