kesterel2lustre

compile Kernel Esterel to Lustre
git clone https://a3nm.net/git/kesterel2lustre/
Log | Files | Refs | README

isolation.strl (71B)


      1 module isolation:
      2 input S;
      3 output T;
      4 signal T in emit T end
      5 end module