[cil_types] acsl_extension from tuple to record
Showing
- src/kernel_internals/typing/mergecil.ml 8 additions, 10 deletionssrc/kernel_internals/typing/mergecil.ml
- src/kernel_services/ast_data/cil_types.mli 7 additions, 1 deletionsrc/kernel_services/ast_data/cil_types.mli
- src/kernel_services/ast_data/property.ml 18 additions, 16 deletionssrc/kernel_services/ast_data/property.ml
- src/kernel_services/ast_printing/cil_printer.ml 3 additions, 3 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_printing/cil_types_debug.ml 5 additions, 1 deletionsrc/kernel_services/ast_printing/cil_types_debug.ml
- src/kernel_services/ast_printing/description.ml 9 additions, 9 deletionssrc/kernel_services/ast_printing/description.ml
- src/kernel_services/ast_queries/cil.ml 6 additions, 5 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil_datatype.ml 3 additions, 3 deletionssrc/kernel_services/ast_queries/cil_datatype.ml
- src/kernel_services/ast_queries/file.ml 2 additions, 2 deletionssrc/kernel_services/ast_queries/file.ml
- src/kernel_services/ast_queries/filecheck.ml 5 additions, 5 deletionssrc/kernel_services/ast_queries/filecheck.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_utils.ml 4 additions, 4 deletionssrc/kernel_services/ast_queries/logic_utils.ml
- src/plugins/gui/design.ml 2 additions, 3 deletionssrc/plugins/gui/design.ml
- src/plugins/gui/filetree.ml 1 addition, 1 deletionsrc/plugins/gui/filetree.ml
- src/plugins/metrics/metrics_cilast.ml 1 addition, 1 deletionsrc/plugins/metrics/metrics_cilast.ml
- src/plugins/value/utils/partitioning_annots.ml 2 additions, 2 deletionssrc/plugins/value/utils/partitioning_annots.ml
- src/plugins/value/utils/widen_hints_ext.ml 1 addition, 1 deletionsrc/plugins/value/utils/widen_hints_ext.ml
- src/plugins/wp/dyncall.ml 43 additions, 42 deletionssrc/plugins/wp/dyncall.ml
- src/plugins/wp/wpPropId.ml 3 additions, 3 deletionssrc/plugins/wp/wpPropId.ml
Loading
Please register or sign in to comment