src/kernel_internals/typing/ghost_accesses.ml

src/kernel_internals/typing/populate_spec.mli

src/kernel_internals/typing/translate_lightweight.ml

src/kernel_services/ast_data/annotations.ml

src/kernel_services/ast_data/annotations.mli

src/kernel_services/ast_data/statuses_by_call.ml

src/kernel_services/ast_printing/printer.ml

src/kernel_services/ast_queries/file.ml

src/kernel_services/ast_queries/filecheck.ml

src/kernel_services/ast_queries/logic_parse_string.ml

src/kernel_services/ast_transformations/clone.ml

src/kernel_services/ast_transformations/filter.ml

src/kernel_services/ast_transformations/inline.ml

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/kernel.mli

src/kernel_services/visitors/visitor.ml

src/plugins/aorai/aorai_visitors.ml

src/plugins/aorai/data_for_aorai.ml

src/plugins/e-acsl/src/analyses/e_acsl_visitor.ml

src/plugins/e-acsl/src/code_generator/injector.ml