kesterel2lustre

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

suspendnothing.strl (76B)

      1 module suspendnothing:
      2 input S;
      3 output T;
      4 suspend nothing when S
      5 end module