Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63d512c) | patch
Add MC support for processes with multiple enabled transitions per state
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 26 May 2010 13:18:13 +0000 (13:18 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 26 May 2010 13:18:13 +0000 (13:18 +0000)
commitb44d5e73c4bbb6c3e5619892e6be4d4e971bf736
tree2b735a9b10ff1ee14c30d2587018d11010bc6b09tree | snapshot
parent63d512caa53162dfc50dd06538e36593bbf2e78ecommit | diff
Add MC support for processes with multiple enabled transitions per state

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