- work in progress for automata...

src/access.ml

src/automata.ml

src/backends/C/c_backend_common.ml

src/backends/C/c_backend_header.ml

src/causality.ml

src/clock_calculus.ml

src/corelang.ml

src/corelang.mli

src/inliner.ml

src/lustreSpec.ml

src/machine_code.ml

src/normalization.ml

src/optimize_prog.ml

src/parser_lustre.mly

src/printers.ml

src/stateless.ml

src/typing.ml