[kernel] introduce boolen logic types
- now, its a single constructor - also adds a boolean logic constant
Showing
- src/kernel_internals/parsing/logic_parser.mly 1 addition, 1 deletionsrc/kernel_internals/parsing/logic_parser.mly
- src/kernel_internals/typing/logic_builtin.ml 3 additions, 8 deletionssrc/kernel_internals/typing/logic_builtin.ml
- src/kernel_internals/typing/mergecil.ml 1 addition, 1 deletionsrc/kernel_internals/typing/mergecil.ml
- src/kernel_services/ast_data/cil_types.ml 2 additions, 0 deletionssrc/kernel_services/ast_data/cil_types.ml
- src/kernel_services/ast_printing/cil_printer.ml 7 additions, 5 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_printing/cil_types_debug.ml 3 additions, 0 deletionssrc/kernel_services/ast_printing/cil_types_debug.ml
- src/kernel_services/ast_printing/logic_print.ml 4 additions, 0 deletionssrc/kernel_services/ast_printing/logic_print.ml
- src/kernel_services/ast_queries/ast_diff.ml 4 additions, 2 deletionssrc/kernel_services/ast_queries/ast_diff.ml
- src/kernel_services/ast_queries/ast_info.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/ast_info.ml
- src/kernel_services/ast_queries/cil.ml 17 additions, 12 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil_const.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/cil_const.ml
- src/kernel_services/ast_queries/cil_const.mli 4 additions, 0 deletionssrc/kernel_services/ast_queries/cil_const.mli
- src/kernel_services/ast_queries/cil_datatype.ml 16 additions, 10 deletionssrc/kernel_services/ast_queries/cil_datatype.ml
- src/kernel_services/ast_queries/logic_const.ml 7 additions, 6 deletionssrc/kernel_services/ast_queries/logic_const.ml
- src/kernel_services/ast_queries/logic_const.mli 3 additions, 3 deletionssrc/kernel_services/ast_queries/logic_const.mli
- src/kernel_services/ast_queries/logic_to_c.ml 1 addition, 2 deletionssrc/kernel_services/ast_queries/logic_to_c.ml
- src/kernel_services/ast_queries/logic_typing.ml 41 additions, 47 deletionssrc/kernel_services/ast_queries/logic_typing.ml
- src/kernel_services/ast_queries/logic_utils.ml 14 additions, 12 deletionssrc/kernel_services/ast_queries/logic_utils.ml
- src/kernel_services/parsetree/logic_ptree.ml 1 addition, 0 deletionssrc/kernel_services/parsetree/logic_ptree.ml
- src/plugins/e-acsl/src/analyses/bound_variables.ml 1 addition, 2 deletionssrc/plugins/e-acsl/src/analyses/bound_variables.ml
Loading
Please register or sign in to comment