Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Transform random transitions into multiple // transitions one for each value in the...
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 26 May 2010 15:09:44 +0000 (15:09 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 26 May 2010 15:09:44 +0000 (15:09 +0000)
commitd18b8e9f99926675bc2ae15d0b0ee1adf504633c
tree4f6922d7991d683b12f345ae2ef2fef935fbe4d4
parentcfd550f11b062b4bbb199ef922198f0f378fc543
Transform random transitions into multiple // transitions one for each value in the rage of the random. This avoids having special cases in the dpor algorithm.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7800 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_transition.c
src/mc/private.h