kesterel2lustre

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

simplesuspend2.strl (186B)

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