kesterel2lustre

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

multipar.strl (340B)

      1 module multipar:
      2 input S;
      3 output S1, S2, S3, S4, S9, T;
      4 present S1 then emit S2 else nothing end ||
      5   present S2 then emit S3 else nothing end ||
      6   present S9 then nothing else emit S4 end ||
      7   present S then
      8     present S4 then
      9       present S3 then
     10         emit T
     11       else nothing end
     12     else nothing end
     13   else nothing end
     14 end module