Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove restriction of DPOR if several requests for same process
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 17 Dec 2012 09:13:29 +0000 (10:13 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 20 Dec 2012 22:18:34 +0000 (23:18 +0100)
commitcf799d4b83e1fda76b512c50bb781eca63d283da
tree72523dca27d46e38756ea2d5657ae3e09e207666
parent794073d439f1b936db4444949cfbe0cf30de5df0
model-checker : remove restriction of DPOR if several requests for same process
src/mc/mc_dpor.c