inputsuspend.strl (139B)
1 module inputsuspend: 2 input S; 3 output Ta, Tb, Tc; 4 suspend 5 loop 6 emit Ta; pause; emit Tb; pause; emit Tc; pause 7 end when S 8 end module
kesterel2lustrecompile Kernel Esterel to Lustre | |
git clone https://a3nm.net/git/kesterel2lustre/ | |
Log | Files | Refs | README |