kesterel2lustre

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

communication2.strl (105B)

      1 module communication2:
      2 input S;
      3 output T, E;
      4 emit E ||
      5 present E then emit T else nothing end
      6 end module