kesterel2lustre

compile Kernel Esterel to Lustre
git clone https://a3nm.net/git/kesterel2lustre/
Log | Files | Refs | README

nestedsuspend.strl (210B)

      1 module nestedsuspend:
      2 input S;
      3 output T1, Ta, Tb, Tc;
      4 pause;
      5 loop emit T1; pause; pause end || suspend
      6   suspend
      7     loop
      8       emit Ta; pause; emit Tb; pause; emit Tc; pause
      9     end when T1
     10 when T1
     11 end module