Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : interleave all enabled processes for each state and apply DPOR only...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 16 Dec 2012 17:31:45 +0000 (18:31 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 16 Dec 2012 17:34:16 +0000 (18:34 +0100)
commit464f89a9c5bd6322317dd01fc1edfec57cf48db7
tree594949b08268f78c8dfc2c642db10a735767c0f0
parent3c12edcf1badf7307f105b2afcd7b4223af493bb
model-checker : interleave all enabled processes for each state and apply DPOR only once per process
src/mc/mc_dpor.c