Use Option functions instead of Extlib for !2992
Showing
- src/kernel_internals/typing/cabs2cil.ml 12 additions, 8 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_internals/typing/mergecil.ml 25 additions, 25 deletionssrc/kernel_internals/typing/mergecil.ml
- src/kernel_internals/typing/rmtmps.ml 1 addition, 1 deletionsrc/kernel_internals/typing/rmtmps.ml
- src/kernel_services/analysis/bit_utils.ml 3 additions, 3 deletionssrc/kernel_services/analysis/bit_utils.ml
- src/kernel_services/analysis/exn_flow.ml 2 additions, 2 deletionssrc/kernel_services/analysis/exn_flow.ml
- src/kernel_services/ast_printing/cil_printer.ml 1 addition, 1 deletionsrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_queries/cil.ml 16 additions, 14 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil_const.ml 2 additions, 2 deletionssrc/kernel_services/ast_queries/cil_const.ml
- src/kernel_services/ast_queries/filecheck.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/filecheck.ml
- src/kernel_services/ast_queries/logic_typing.ml 3 additions, 1 deletionsrc/kernel_services/ast_queries/logic_typing.ml
- src/kernel_services/visitors/visitor_behavior.ml 2 additions, 2 deletionssrc/kernel_services/visitors/visitor_behavior.ml
- src/plugins/aorai/utils_parser.ml 1 addition, 1 deletionsrc/plugins/aorai/utils_parser.ml
- src/plugins/instantiate/basic_blocks.ml 2 additions, 2 deletionssrc/plugins/instantiate/basic_blocks.ml
- src/plugins/instantiate/stdlib/basic_alloc.ml 1 addition, 1 deletionsrc/plugins/instantiate/stdlib/basic_alloc.ml
- src/plugins/rte/rte.ml 1 addition, 1 deletionsrc/plugins/rte/rte.ml
- src/plugins/sparecode/globs.ml 1 addition, 1 deletionsrc/plugins/sparecode/globs.ml
- src/plugins/value/domains/cvalue/builtins_memory.ml 2 additions, 2 deletionssrc/plugins/value/domains/cvalue/builtins_memory.ml
- src/plugins/value/domains/cvalue/cvalue_init.ml 2 additions, 1 deletionsrc/plugins/value/domains/cvalue/cvalue_init.ml
- src/plugins/value_types/cvalue.ml 1 addition, 1 deletionsrc/plugins/value_types/cvalue.ml
- src/plugins/wp/CodeSemantics.ml 5 additions, 4 deletionssrc/plugins/wp/CodeSemantics.ml
Loading
Please register or sign in to comment