kesterel2lustre

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

communication.strl (121B)

      1 module communication:
      2 input S;
      3 output T;
      4 signal E in
      5   emit E ||
      6   present E then emit T else nothing end
      7 end
      8 end module