inputsuspend5.strl (105B)
1 module inputsuspend5: 2 input S; 3 output T; 4 suspend 5 pause; emit T; pause; pause; emit T 6 when S 7 end module
kesterel2lustrecompile Kernel Esterel to Lustre | |
git clone https://a3nm.net/git/kesterel2lustre/ | |
Log | Files | Refs | README |