src/licPrg.ml

test/lus2lic.log.ref

test/lus2lic.sum

test/lus2lic.time

test/should_fail/bug3.lus

test/should_fail/car.lus

test/should_fail/semantics/parametric_node4.lus

test/should_fail/semantics/patrick.lus

test/should_fail/semantics/sargs.lus

test/should_fail/semantics/t.lus

test/should_fail/type/Gyro-2.lus

test/should_work/ELMU.lus

test/should_work/bad_call03.lus

test/should_work/broken/bad_call01.lus

test/should_work/broken/bad_call02.lus

test/should_work/broken/bad_id.lus

test/should_work/broken/car-orig.lus

test/should_work/broken/clock.lus

test/should_work/broken/clock2.lus

test/should_work/broken/cond01.lus