first draft with translated cocospec

dune-project

lustrec.opam

src/backends/Ada/ada_backend.ml

src/backends/C/c_backend_spec.ml

src/backends/EMF/EMF_backend.ml

src/causality.ml

src/compiler_common.ml

src/corelang.ml

src/lustre_types.ml

src/lustre_types.mli

src/machine_code.ml

src/machine_code_common.ml

src/machine_code_types.mli

src/printers.ml