Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove independance between iSend/iRecv and Wait
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Dec 2012 13:40:53 +0000 (14:40 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Dec 2012 13:42:24 +0000 (14:42 +0100)
commit675f9e130e59269e4bd0cb5dcb61ea2ae4284d78
treee34c25225a995f2de8cdbd0d13d3d3609b4d29b8
parentac2a2796d269a829faa7c4f45699e6f10751fa71
model-checker : remove independance between iSend/iRecv and Wait
src/mc/mc_request.c