kesterel2lustre

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

booleanf.strl (239B)

      1 module booleanf:
      2 input I1, I2;
      3 output A, O;
      4 loop
      5   present I1 then
      6     present I2 then
      7       emit A; emit O
      8     else
      9       emit O
     10     end
     11   else
     12     present I2 then
     13       emit O
     14     else
     15       nothing
     16     end
     17   end;
     18   pause
     19 end
     20 end module