kesterel2lustre

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

othertraps.strl (100B)

      1 module othertraps:
      2 input I;
      3 output O;
      4 trap T in
      5   loop emit O; pause end
      6   || exit T
      7 end
      8 end module