kesterel2lustre

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

asuspend.strl (124B)

      1 module asuspend:
      2 input T2;
      3 output T1;
      4 signal S in [pause ; emit S || suspend pause ; pause when S
      5 ]; emit T1 end
      6 end module