kesterel2lustre

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

priority.strl (134B)

      1 module priority:
      2 input I;
      3 output O;
      4 signal S in
      5 pause; emit S; pause || pause ; present S then emit O else nothing end
      6 end
      7 end module