src/kernel_internals/parsing/logic_lexer.mll

src/kernel_internals/parsing/logic_parser.mly

src/kernel_services/analysis/interpreted_automata.ml

src/kernel_services/ast_data/annotations.ml

src/kernel_services/ast_data/annotations.mli

src/kernel_services/ast_data/cil_types.mli

src/kernel_services/ast_data/property.ml

src/kernel_services/ast_data/statuses_by_call.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/cil_types_debug.ml

src/kernel_services/ast_printing/description.ml

src/kernel_services/ast_printing/logic_print.ml

src/kernel_services/ast_queries/cil_datatype.ml

src/kernel_services/ast_queries/logic_const.ml

src/kernel_services/ast_queries/logic_const.mli

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/parsetree/logic_ptree.mli

src/plugins/aorai/aorai_utils.ml