Merge branch 'hackaton-tcast' into 'master'
Merged TCastE and TLogic_coerce with a boolean Closes #549 See merge request frama-c/frama-c!4458
Showing
- src/kernel_internals/typing/asm_contracts.ml 1 addition, 1 deletionsrc/kernel_internals/typing/asm_contracts.ml
- src/kernel_services/ast_data/alarms.ml 1 addition, 1 deletionsrc/kernel_services/ast_data/alarms.ml
- src/kernel_services/ast_data/cil_types.ml 8 additions, 6 deletionssrc/kernel_services/ast_data/cil_types.ml
- src/kernel_services/ast_printing/cil_printer.ml 8 additions, 6 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_printing/cil_types_debug.ml 1 addition, 3 deletionssrc/kernel_services/ast_printing/cil_types_debug.ml
- src/kernel_services/ast_queries/ast_diff.ml 4 additions, 6 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 11 additions, 11 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil_datatype.ml 13 additions, 14 deletionssrc/kernel_services/ast_queries/cil_datatype.ml
- src/kernel_services/ast_queries/logic_const.ml 2 additions, 2 deletionssrc/kernel_services/ast_queries/logic_const.ml
- src/kernel_services/ast_queries/logic_to_c.ml 10 additions, 11 deletionssrc/kernel_services/ast_queries/logic_to_c.ml
- src/kernel_services/ast_queries/logic_typing.ml 25 additions, 26 deletionssrc/kernel_services/ast_queries/logic_typing.ml
- src/kernel_services/ast_queries/logic_utils.ml 34 additions, 37 deletionssrc/kernel_services/ast_queries/logic_utils.ml
- src/plugins/aorai/aorai_utils.ml 10 additions, 10 deletionssrc/plugins/aorai/aorai_utils.ml
- src/plugins/e-acsl/src/analyses/bound_variables.ml 2 additions, 2 deletionssrc/plugins/e-acsl/src/analyses/bound_variables.ml
- src/plugins/e-acsl/src/analyses/interval.ml 3 additions, 2 deletionssrc/plugins/e-acsl/src/analyses/interval.ml
- src/plugins/e-acsl/src/analyses/labels.ml 2 additions, 2 deletionssrc/plugins/e-acsl/src/analyses/labels.ml
- src/plugins/e-acsl/src/analyses/memory_tracking.ml 3 additions, 4 deletionssrc/plugins/e-acsl/src/analyses/memory_tracking.ml
- src/plugins/e-acsl/src/analyses/typing.ml 12 additions, 9 deletionssrc/plugins/e-acsl/src/analyses/typing.ml
- src/plugins/e-acsl/src/code_generator/translate_terms.ml 4 additions, 4 deletionssrc/plugins/e-acsl/src/code_generator/translate_terms.ml
Loading
Please register or sign in to comment