kesterel2lustre

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

booleanf.in (44B)

      1 False False
      2 False True
      3 True False
      4 True True