AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

projects / simgrid.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 448f6dc) | patch

author	cristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
	Wed, 26 Jan 2011 13:53:55 +0000 (13:53 +0000)
committer	cristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
	Wed, 26 Jan 2011 13:53:55 +0000 (13:53 +0000)
commit	030a05a00b073b9a464a4f508d0991cf983ea0df
tree	bc2ee2065c3ebe920932ba0b0adb40c3dde4e09d	tree \| snapshot
parent	448f6dc9acd8c69e31ba8a74fb315712dbffc427	commit \| diff

Improve independence detection and request pretty printing.

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

src/mc/mc_dpor.c		diff \| blob \| history
src/mc/mc_global.c		diff \| blob \| history
src/mc/mc_request.c		diff \| blob \| history
src/mc/mc_state.c		diff \| blob \| history
src/mc/private.h		diff \| blob \| history

Clone of SimGrid repository with local patches