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)
getting sg_instr_AS_end through a signal structure

1  2 
src/surf/xml/platf_private.hpp

Simple merge