kesterel2lustre

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

id2.in (88B)

      1 True True
      2 True True
      3 True False
      4 True False
      5 False False
      6 False True
      7 False True
      8 False False