.ocamlformat

src/automata.ml

src/backends/Ada/misc_lustre_function.ml

src/backends/C/c_backend.ml

src/backends/C/c_backend_common.ml

src/backends/C/c_backend_common.mli

src/backends/C/c_backend_header.ml

src/backends/C/c_backend_header.mli

src/backends/C/c_backend_spec.ml

src/backends/C/c_backend_src.ml

src/backends/C/c_backend_src.mli

src/machine_code.ml

src/machine_code_common.ml

src/spec_common.ml

src/spec_types.ml

src/spec_types.mli

src/tools/tiny/tiny_verifier.ml

strategy.ml