nestedsignal.strl (110B)
1 module nestedsignal: 2 input S; 3 output T; 4 signal T1 in 5 signal T2 in 6 emit T; emit T1; emit T2 7 end 8 end 9 end module
kesterel2lustrecompile Kernel Esterel to Lustre | |
git clone https://a3nm.net/git/kesterel2lustre/ | |
Log | Files | Refs | README |