supression of TCoerce, TCoerceE, PLcoercion and PLCoercionE
Showing
- src/kernel_internals/parsing/logic_parser.mly 0 additions, 4 deletionssrc/kernel_internals/parsing/logic_parser.mly
- src/kernel_services/analysis/logic_interp.ml 3 additions, 3 deletionssrc/kernel_services/analysis/logic_interp.ml
- src/kernel_services/ast_data/cil_types.mli 0 additions, 2 deletionssrc/kernel_services/ast_data/cil_types.mli
- src/kernel_services/ast_printing/cil_printer.ml 0 additions, 8 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_printing/cil_types_debug.ml 0 additions, 4 deletionssrc/kernel_services/ast_printing/cil_types_debug.ml
- src/kernel_services/ast_printing/logic_print.ml 0 additions, 5 deletionssrc/kernel_services/ast_printing/logic_print.ml
- src/kernel_services/ast_queries/cil.ml 1 addition, 11 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil_datatype.ml 1 addition, 15 deletionssrc/kernel_services/ast_queries/cil_datatype.ml
- src/kernel_services/ast_queries/logic_typing.ml 4 additions, 17 deletionssrc/kernel_services/ast_queries/logic_typing.ml
- src/kernel_services/ast_queries/logic_utils.ml 5 additions, 27 deletionssrc/kernel_services/ast_queries/logic_utils.ml
- src/kernel_services/parsetree/logic_ptree.mli 0 additions, 4 deletionssrc/kernel_services/parsetree/logic_ptree.mli
- src/plugins/value/legacy/eval_terms.ml 0 additions, 1 deletionsrc/plugins/value/legacy/eval_terms.ml
- src/plugins/wp/LogicSemantics.ml 0 additions, 4 deletionssrc/plugins/wp/LogicSemantics.ml
- src/plugins/wp/RefUsage.ml 0 additions, 4 deletionssrc/plugins/wp/RefUsage.ml
Loading
Please register or sign in to comment