kesterel2lustre

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

traps.strl (146B)

      1 module traps:
      2 input I;
      3 output O;
      4 trap T in
      5   loop
      6     present I then
      7       emit O;
      8       pause
      9     else
     10       exit T
     11     end
     12   end
     13 end
     14 end module