Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f18ab28) | patch
Add dead-lock detection to MC
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 May 2010 14:29:52 +0000 (14:29 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 May 2010 14:29:52 +0000 (14:29 +0000)
commit660f48f5f0bae09b01f06a40d44d81a8f1a1a153
tree45e8f3c5d6a702e00ccf368bbcc05183b5e5f27ctree | snapshot
parentf18ab288219690177e48123c64ba809bd421f02acommit | diff
Add dead-lock detection to MC

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7752 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/mc/mc_dpor.c diff | blob | history
Clone of SimGrid repository with local patches