Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7eef6ff) | patch
Improve independence detection of transitions (more reduction of state space)
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 May 2010 09:05:26 +0000 (09:05 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 May 2010 09:05:26 +0000 (09:05 +0000)
commit61c27c5a694455d748f17989be2ecf0850610a90
tree79832328e1e7c2ff4b9e949566733ec737c9cec0tree | snapshot
parent7eef6ff4f8ba36e883886a74151b8edef45189e2commit | diff
Improve independence detection of transitions (more reduction of state space)

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