.Makefile.lint

src/kernel_internals/typing/asm_contracts.ml

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/ast_data/alarms.ml

src/kernel_services/ast_data/statuses_by_call.ml

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_queries/logic_utils.ml

src/kernel_services/ast_queries/logic_utils.mli

src/kernel_services/ast_transformations/inline.ml

src/plugins/aorai/aorai_dataflow.ml

src/plugins/aorai/aorai_utils.ml

src/plugins/instantiate/basic_blocks.ml

src/plugins/occurrence/register_gui.ml

src/plugins/studia/studia_gui.ml

src/plugins/value/domains/traces_domain.ml

src/plugins/wp/LogicSemantics.ml

tests/spec/expr_to_term.ml