Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efbda81) | patch
Bugfix: deadlock detection was wrong. Reimplemented.
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 16 Dec 2010 16:16:11 +0000 (16:16 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 16 Dec 2010 16:16:11 +0000 (16:16 +0000)
commit1d4060280e644ae033b653472cb0de76eb079455
tree13a2a0be458bfb6e522cb338bee9e51ab4dad364tree | snapshot
parentefbda81c4d794ef571a347d2f9e1fc22529929f8commit | diff
Bugfix: deadlock detection was wrong. Reimplemented.

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