src/kernel_internals/parsing/clexer.mll

src/kernel_internals/parsing/cparser.mly

src/kernel_internals/parsing/logic_lexer.mll

src/kernel_internals/parsing/logic_parser.mly

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/ghost_cfg.ml

src/kernel_internals/typing/mergecil.ml

src/kernel_internals/typing/rmtmps.ml

src/kernel_internals/typing/translate_lightweight.ml

src/kernel_services/ast_building/cil_builder.ml

src/kernel_services/ast_data/cil_types.ml

src/kernel_services/ast_printing/cabs_debug.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/cil_types_debug.ml

src/kernel_services/ast_printing/cprint.ml

src/kernel_services/ast_printing/printer_tag.ml

src/kernel_services/ast_queries/ast_attributes.ml

src/kernel_services/ast_queries/ast_attributes.mli

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil_builtins.ml