Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #184 from Takishipp/signals
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 8 Jun 2017 15:29:00 +0000 (17:29 +0200)
committerGitHub <noreply@github.com>
Thu, 8 Jun 2017 15:29:00 +0000 (17:29 +0200)
commita93caab924a2f8bfe4102d6442013ec12087bed0
tree10a8cd3df320564e44eca61f7e7e75937f60fcff
parent58eba10aaac5f6e03cb6ddbe696c388703ba2fe4
parent6865db1b80d2d06c80ff82e7246821958b56e2d2
Merge pull request #184 from Takishipp/signals

getting sg_instr_AS_end through a signal structure
src/surf/xml/platf_private.hpp