src/ast2lic.ml

src/compile.ml

src/evalClock.ml

src/evalType.ml

src/l2lAliasType.ml

src/l2lCheckLoops.ml

src/l2lCheckOutputs.ml

src/l2lExpandArrays.ml

src/l2lExpandMetaOp.ml

src/l2lExpandNodes.ml

src/l2lRmPoly.ml

src/l2lSplit.ml

src/lic.ml

src/licDump.ml

src/licPrg.mli

src/licTab.ml

src/unifyClock.ml

src/unifyType.ml

test/lus2lic.sum

test/lus2lic.time