Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : restore independence between iSend/iRecv and Wait requests
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 1 Apr 2013 16:31:24 +0000 (18:31 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 1 Apr 2013 16:31:24 +0000 (18:31 +0200)
commit6ec8e9d992b54560a1873c1d19f397b5b5d6a219
treef6ccd0987de28980bf70f274adcd4cad450de8cc
parentd1881aa45492b97948d3eff7b8c5357571e2142d
model-checker : restore independence between iSend/iRecv and Wait requests
src/mc/mc_request.c