Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
better handling of blocking simcalls in the generated popping
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 2 Nov 2014 17:57:44 +0000 (18:57 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 2 Nov 2014 17:57:48 +0000 (18:57 +0100)
commitd84e29a724c9f6a2470db8a48cd7f97c3c02c9e0
tree6050d34569c29b14a30b02821b5faebebe7028bf
parentc3a1dd1ac6428590f64b513c07ce61c8181aeb79
better handling of blocking simcalls in the generated popping

Blocking simcalls were marked as simcalls returning void. Being
explicit helps in that obscure part of the code.
doc/doxygen/inside_extending.doc
src/simix/simcalls.in
src/simix/simcalls.py