kesterel2lustre

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

id2.strl (168B)

      1 module id2:
      2 input x1, x2;
      3 output y1, y2;
      4 loop
      5   [present x1 then emit y1 else nothing end; pause] ||
      6   [present x2 then emit y2 else nothing end; pause]
      7 end
      8 end module