Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
add a short proof of corectness. should work too
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 14 May 2012 13:46:53 +0000 (15:46 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 14 May 2012 13:46:53 +0000 (15:46 +0200)
commitaae7a703c6ceea5834b33c55eea5076bf87a988b
tree3d3eb2cb615b11ef32795a6803563d00c367adc7
parent6ea7c6220ef3aea972da1ce8fff827e0209f7052
add a short proof of corectness. should work too
src/simix/smx_global.c