src/backends/Ada/ada_backend_adb.ml

src/backends/Ada/misc_lustre_function.ml

src/corelang.ml

src/corelang.mli

src/dune

src/machine_code.ml

src/machine_code_common.ml

src/machine_code_common.mli

src/machine_code_types.ml

src/optimize_machine.ml

src/plugins/scopes/scopes.ml

src/spec_types.ml

src/utils/utils.ml