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