parallelpause.strl (143B)
1 module parallelpause: 2 input I; 3 output O; 4 [pause || pause ; pause]; 5 [pause; pause || pause ; pause]; 6 [pause; pause || pause]; 7 emit O 8 end module
kesterel2lustrecompile Kernel Esterel to Lustre | |
git clone https://a3nm.net/git/kesterel2lustre/ | |
Log | Files | Refs | README |