kesterel2lustre

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

simplesuspend.strl (185B)

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